comparison src/source.sml @ 48:0a5c312de09a

Start of FFI
author Adam Chlipala <adamc@hcoop.net>
date Sun, 22 Jun 2008 09:27:29 -0400
parents a9f3ce2d1b9b
children fd8a81ecd598
comparison
equal deleted inserted replaced
47:ac4c0b4111ba 48:0a5c312de09a
95 datatype decl' = 95 datatype decl' =
96 DCon of string * kind option * con 96 DCon of string * kind option * con
97 | DVal of string * con option * exp 97 | DVal of string * con option * exp
98 | DSgn of string * sgn 98 | DSgn of string * sgn
99 | DStr of string * sgn option * str 99 | DStr of string * sgn option * str
100 | DFfiStr of string * sgn
100 101
101 and str' = 102 and str' =
102 StrConst of decl list 103 StrConst of decl list
103 | StrVar of string 104 | StrVar of string
104 | StrProj of str * string 105 | StrProj of str * string