diff options
| author | Camil Staps | 2023-11-29 11:26:28 +0100 |
|---|---|---|
| committer | Camil Staps | 2023-11-29 11:26:28 +0100 |
| commit | 4ce6adb6f5dc6623b903853322be726a9f95a3b8 (patch) | |
| tree | 927447752dcf46f491be81eabbd68a5d5e06ffa8 /snug-clean/src/Snug/Syntax.dcl | |
| parent | WIP on code generation for case expressions (diff) | |
Continue with cases WIP: todo is matching code for basic values and adding locals for constructor arguments in a patterncases
Diffstat (limited to 'snug-clean/src/Snug/Syntax.dcl')
| -rw-r--r-- | snug-clean/src/Snug/Syntax.dcl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/snug-clean/src/Snug/Syntax.dcl b/snug-clean/src/Snug/Syntax.dcl index f6ff0f2..88fefde 100644 --- a/snug-clean/src/Snug/Syntax.dcl +++ b/snug-clean/src/Snug/Syntax.dcl @@ -11,6 +11,9 @@ from Data.Set import :: Set = Type !TypeIdent | TyVar !TypeVarIdent | TyApp !Type !Type + | TyFun !Type !Type + + | .. :: ConstructorDef = ConstructorDef !ConstructorIdent ![Type] |