Mercurial > urweb
comparison src/cjr.sml @ 101:717b6f8d8505
First executable generated
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 11:13:49 -0400 |
parents | 4f641f8fddaa |
children | 5f04adf47f48 |
comparison
equal
deleted
inserted
replaced
100:f0f59e918cac | 101:717b6f8d8505 |
---|---|
60 | DVal of string * int * typ * exp | 60 | DVal of string * int * typ * exp |
61 | DFun of int * string * typ * typ * exp | 61 | DFun of int * string * typ * typ * exp |
62 | 62 |
63 withtype decl = decl' located | 63 withtype decl = decl' located |
64 | 64 |
65 type file = decl list | 65 type file = decl list * ((string * typ) list * exp) list |
66 | 66 |
67 end | 67 end |