Mercurial > urweb

diff src/source.sml @ 8:a455a9f85cc3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Parsing basic expressions
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 17:10:26 -0500
parents 5c3cc348e9e6
children d89477f07c1e
line wrap: on
line diff
--- a/src/source.sml	Sat Jan 26 16:51:39 2008 -0500
+++ b/src/source.sml	Sat Jan 26 17:10:26 2008 -0500
@@ -50,7 +50,7 @@
 
        | CVar of string
        | CApp of con * con
-       | CAbs of explicitness * string * kind * con
+       | CAbs of string * kind * con
 
        | CName of string
 
@@ -59,8 +59,20 @@
 
 withtype con = con' located
 
+datatype exp' =
+         EAnnot of exp * con
+
+       | EVar of string
+       | EApp of exp * exp
+       | EAbs of string * con option * exp
+       | ECApp of exp * con
+       | ECAbs of explicitness * string * kind * exp
+
+withtype exp = exp' located
+
 datatype decl' =
          DCon of string * kind option * con
+       | DVal of string * con option * exp
 
 withtype decl = decl' located