Mercurial > urweb

diff src/cjr.sml @ 109:813e5a52063d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 10:17:06 -0400
parents d101cb1efe55
children ff13d390ec60
line wrap: on
line diff
--- a/src/cjr.sml	Thu Jul 10 16:05:14 2008 -0400
+++ b/src/cjr.sml	Sun Jul 13 10:17:06 2008 -0400
@@ -31,8 +31,7 @@
 
 datatype typ' =
          TTop
-       | TFun
-       | TCode of typ * typ
+       | TFun of typ * typ
        | TRecord of int
        | TNamed of int
        | TFfi of string * string
@@ -45,14 +44,11 @@
        | ENamed of int
        | EFfi of string * string
        | EFfiApp of string * string * exp list
-       | ECode of int
        | EApp of exp * exp
 
        | ERecord of int * (string * exp) list
        | EField of exp * string
 
-       | ELet of (string * typ * exp) list * exp
-
        | EWrite of exp
        | ESeq of exp * exp
 
@@ -61,10 +57,10 @@
 datatype decl' =
          DStruct of int * (string * typ) list
        | DVal of string * int * typ * exp
-       | DFun of int * string * typ * typ * exp
+       | DFun of string * int * string * typ * typ * exp
 
 withtype decl = decl' located
 
-type file = decl list * ((string * typ) list * exp) list
+type file = decl list * int list
 
 end