Mercurial > urweb

comparison src/expl.sml @ 48:0a5c312de09a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Start of FFI
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 09:27:29 -0400
parents 3c1ce1b4eb3d
children d609820c5834
comparison
equal deleted inserted replaced
47:ac4c0b4111ba 48:0a5c312de09a
88 datatype decl' = 88 datatype decl' =
89 DCon of string * int * kind * con 89 DCon of string * int * kind * con
90 | DVal of string * int * con * exp 90 | DVal of string * int * con * exp
91 | DSgn of string * int * sgn 91 | DSgn of string * int * sgn
92 | DStr of string * int * sgn * str 92 | DStr of string * int * sgn * str
93 | DFfiStr of string * int * sgn
93 94
94 and str' = 95 and str' =
95 StrConst of decl list 96 StrConst of decl list
96 | StrVar of int 97 | StrVar of int
97 | StrProj of str * string 98 | StrProj of str * string