greg/schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update TODO

Browse Source
This commit is contained in:
Greg Shuflin 2021-11-14 04:46:19 -08:00
parent f4029fe31a
commit ff1d4ef7bb
1 changed files with 0 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
TODO.md
View File

@ -23,9 +23,6 @@
2. Once FQSNs are aware of function parameters, most of the Rc<String> things in eval.rs can go away 2. Once FQSNs are aware of function parameters, most of the Rc<String> 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 ## Typechecking
* make a type to represent types rather than relying on string comparisons * make a type to represent types rather than relying on string comparisons
@ -44,8 +41,6 @@
## Language Syntax ## Language Syntax
* a type like `type Klewos = Klewos { <fields> }` (i.e. a type with exactly one record-like variant) should be writeable as
`type Klewos = { <fields> }` as a shorthand, and should not require explicit matching.
* the `type` declaration should have some kind of GADT-like syntax * the `type` declaration should have some kind of GADT-like syntax
* use `let` sigil to indicate a variable in a pattern explicitly: * use `let` sigil to indicate a variable in a pattern explicitly: