Added derived form for datatypes

1ml-prime · Dec 31, 2019 · 72a32ca · 72a32ca
1 parent 0743fdc
commit 72a32ca
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/lexer.mll b/lexer.mll
@@ -70,6 +70,7 @@ rule token = parse
   | "_" { HOLE }
   | "and" { AND }
   | "as" { AS }
+  | "data" { DATA }
   | "do" { DO }
   | "else" { ELSE }
   | "end" { END }

diff --git a/parser.mly b/parser.mly
@@ -34,6 +34,7 @@ let parse_error s = raise (Source.Error (Source.nowhere_region, s))
 %token LBRACE RBRACE
 %token DOT AT TICK
 %token COMMA SEMI
+%token DATA
 
 %token EOF
 
@@ -321,6 +322,8 @@ annexp :
 exp :
   | annexp
     { $1 }
+  | DATA name typparamlist COLON typ SEAL LBRACE dec RBRACE
+    { StrE(EmptyB@@at())@@at() }
   | FUN param paramlist DARROW exp
     { funE($2::$3, $5)@@at() }
   | IF exp THEN exp ELSE infexp COLON typ