comparison src/core.sml @ 450:07f6576aeb0a

Wrapping works in Blog
author Adam Chlipala <adamc@hcoop.net>
date Sat, 01 Nov 2008 16:46:16 -0400
parents dfc8c991abd0
children 5c9606deacb6
comparison
equal deleted inserted replaced
449:89f766f19d5b 450:07f6576aeb0a
101 101
102 | EWrite of exp 102 | EWrite of exp
103 103
104 | EClosure of int * exp list 104 | EClosure of int * exp list
105 105
106 | ELet of string * con * exp * exp
107
106 withtype exp = exp' located 108 withtype exp = exp' located
107 109
108 datatype export_kind = 110 datatype export_kind =
109 Link 111 Link
110 | Action 112 | Action