Mercurial > urweb

comparison src/elab.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 a9f3ce2d1b9b
children abb2b32c19fb
comparison
equal deleted inserted replaced
47:ac4c0b4111ba 48:0a5c312de09a
101 datatype decl' = 101 datatype decl' =
102 DCon of string * int * kind * con 102 DCon of string * int * kind * con
103 | DVal of string * int * con * exp 103 | DVal of string * int * con * exp
104 | DSgn of string * int * sgn 104 | DSgn of string * int * sgn
105 | DStr of string * int * sgn * str 105 | DStr of string * int * sgn * str
106 | DFfiStr of string * int * sgn
106 107
107 and str' = 108 and str' =
108 StrConst of decl list 109 StrConst of decl list
109 | StrVar of int 110 | StrVar of int
110 | StrProj of str * string 111 | StrProj of str * string