temporary constructor syntax

2023-12-06 10:29:20 -07:00
parent 22a27dca3b
commit 3a17eb473f
2 changed files with 8 additions and 0 deletions
--- a/src/Core/Lex.x
+++ b/src/Core/Lex.x
@@ -76,6 +76,7 @@ rlp :-
    "module"                { constTok TokenModule }
    "in"                    { constTok TokenIn }
    "where"                 { constTok TokenWhere }
+    "Pack"                  { constTok TokenPack } -- temp

    "\\"                    { constTok TokenLambda }
    "λ"                     { constTok TokenLambda }
@@ -106,6 +107,7 @@ data CoreToken = TokenLet
               | TokenModule
               | TokenWhere
               | TokenComma
+               | TokenPack -- temp
               | TokenCase
               | TokenOf
               | TokenLambda