Mercurial > urweb
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 |