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

Add TODO entry

Browse Source
This commit is contained in:
Greg Shuflin 2021-10-30 23:20:57 -07:00
parent de741448e0
commit 8db9176fce
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
TODO.md
View File

@ -45,6 +45,8 @@
## 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:
@ -104,6 +106,8 @@ type enum {
* inclusive/exclusive range syntax like .. vs ..= * inclusive/exclusive range syntax like .. vs ..=
* Nameable patterns/ pattern synonyms cf. https://gitlab.haskell.org/ghc/ghc/-/wikis/pattern-synonyms
## Typechecking ## Typechecking