diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 928c2d5..b3dc90d 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -507,10 +507,15 @@ cIsALocalVar :== False { cc_size ::!Int , cc_args ::![ConsClass] , cc_linear_bits ::![Bool] + , cc_producer ::!ProdClass } :: ConsClass :== Int +:: ProdClass :== Bool + +pIsSafe :== True + :: OptionalVariable :== Optional (Bind Ident VarInfoPtr) :: AuxiliaryPattern @@ -639,7 +644,7 @@ cNonRecursiveAppl :== False :: Producer = PR_Empty | PR_Function !SymbIdent !Index | PR_Class !App ![(BoundVar, Type)] !Type -// | PR_Constructor !SymbIdent ![Expression] + | PR_Constructor !SymbIdent ![Expression] | PR_GeneratedFunction !SymbIdent !Index | PR_Curried !SymbIdent |