Mercurial > urweb
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 |