Add tests and fix variables.

1 files changed, 6 insertions, 1 deletions

diff --git a/parser.sml b/parser.sml
index af3dfd7..6efc4aa 100644
--- a/parser.sml
+++ b/parser.sml
@@ -447,7 +447,12 @@ struct
       const (Syntax.ELambda (p, e)))))
   <|> raiseExpr) st
   and expr : Syntax.expr parser = fn st => fnExpr st
-  and dec : Syntax.dec parser = fn st => (reserved "val" >> reserved "_" >> reserved "=" >> Syntax.DVal <$> expr) st
+  and dec : Syntax.dec parser = fn st =>
+    (reserved "val" >>
+    bind pat (fn p =>
+    reserved "=" >>
+    bind expr (fn e =>
+    const (Syntax.DVal (p, e))))) st
 
   val program : Syntax.expr parser = (fn decs => Syntax.ELet (decs, Syntax.EInt 0)) <$> many dec
   fun parse (f : string) : (string, Syntax.expr) Result.either = runParser program f