From ff1d4ef7bb9cff7bd897b84df19f0f5dd3ae7a68 Mon Sep 17 00:00:00 2001 From: Greg Shuflin Date: Sun, 14 Nov 2021 04:46:19 -0800 Subject: [PATCH] Update TODO --- TODO.md | 5 ----- 1 file changed, 5 deletions(-) diff --git a/TODO.md b/TODO.md index 9b3ecf7..7048d6b 100644 --- a/TODO.md +++ b/TODO.md @@ -23,9 +23,6 @@ 2. Once FQSNs are aware of function parameters, most of the Rc things in eval.rs can go away -## Parser -* I think I can restructure the parser to get rid of most instances of expect!, at least at the beginning of a rule - ## Typechecking * make a type to represent types rather than relying on string comparisons @@ -44,8 +41,6 @@ ## 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: