From d80d0d0904edec2fd040d8c98131e0f192e15bfd Mon Sep 17 00:00:00 2001 From: greg Date: Sun, 26 May 2019 00:23:54 -0700 Subject: [PATCH] Add some notes --- TODO.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/TODO.md b/TODO.md index e94ed13..e61fb34 100644 --- a/TODO.md +++ b/TODO.md @@ -15,6 +15,10 @@ print the generated type variable for every subexpression in an expression ## Schala-lang syntax +-idea: the `type` declaration should have some kind of GADT-like syntax + +-idea: I should make the BNF grammar part of the documentation... + - Idea: if you have a pattern-match where one variant has a variable and the other lacks it instead of treating this as a type error, promote the bound variable to an option type