From 6d5157dbd4b4da6abae0952ac0443a5e07d6231a Mon Sep 17 00:00:00 2001 From: Greg Shuflin Date: Sat, 30 Oct 2021 23:20:57 -0700 Subject: [PATCH] Add TODO entry --- TODO.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/TODO.md b/TODO.md index 0ef3f02..88ee17b 100644 --- a/TODO.md +++ b/TODO.md @@ -45,6 +45,8 @@ ## Language Syntax +* a type like `type Klewos = Klewos { }` (i.e. a type with exactly one record-like variant) should be writeable as + `type Klewos = { }` as a shorthand, and should not require explicit matching. * the `type` declaration should have some kind of GADT-like syntax * use `let` sigil to indicate a variable in a pattern explicitly: