diff options
Diffstat (limited to 'frontend/syntax.dcl')
| -rw-r--r-- | frontend/syntax.dcl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontend/syntax.dcl b/frontend/syntax.dcl index 21374fa..e4ffdd9 100644 --- a/frontend/syntax.dcl +++ b/frontend/syntax.dcl @@ -818,6 +818,8 @@ cNonRecursiveAppl :== False :: Type = TA !TypeSymbIdent ![AType] | (-->) infixr 9 !AType !AType + | TArrow /* (->) */ + | TArrow1 !AType /* ((->) a) */ | (:@:) infixl 9 !ConsVariable ![AType] | TB !BasicType |