Mercurial > urweb

comparison src/flat.sml @ 101:717b6f8d8505

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First executable generated
author Adam Chlipala <adamc@hcoop.net>
date Thu, 10 Jul 2008 11:13:49 -0400
parents 198172560b73
children 5f04adf47f48
comparison
equal deleted inserted replaced
100:f0f59e918cac 101:717b6f8d8505
56 withtype exp = exp' located 56 withtype exp = exp' located
57 57
58 datatype decl' = 58 datatype decl' =
59 DVal of string * int * typ * exp 59 DVal of string * int * typ * exp
60 | DFun of int * string * typ * typ * exp 60 | DFun of int * string * typ * typ * exp
61 | DPage of (string * typ) list * exp
61 62
62 withtype decl = decl' located 63 withtype decl = decl' located
63 64
64 type file = decl list 65 type file = decl list
65 66