comparison src/cjr.sml @ 144:f0d3402184d1

Simple forms work
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 15:12:20 -0400
parents 78d59cf0a0cc
children e52dfb1e6b19
comparison
equal deleted inserted replaced
143:4b9c2bd6157c 144:f0d3402184d1
60 | DFun of string * int * (string * typ) list * typ * exp 60 | DFun of string * int * (string * typ) list * typ * exp
61 | DFunRec of (string * int * (string * typ) list * typ * exp) list 61 | DFunRec of (string * int * (string * typ) list * typ * exp) list
62 62
63 withtype decl = decl' located 63 withtype decl = decl' located
64 64
65 type file = decl list * (string * int * typ list) list 65 type file = decl list * (Core.export_kind * string * int * typ list) list
66 66
67 end 67 end