Mercurial > urweb
comparison src/expl.sml @ 109:813e5a52063d
Remove closure conversion in favor of zany fun with modules, which also replaces 'page'
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 13 Jul 2008 10:17:06 -0400 |
parents | f0f59e918cac |
children | 541282b81454 |
comparison
equal
deleted
inserted
replaced
108:f59553dc1b6a | 109:813e5a52063d |
---|---|
71 | 71 |
72 | ERecord of (con * exp * con) list | 72 | ERecord of (con * exp * con) list |
73 | EField of exp * con * { field : con, rest : con } | 73 | EField of exp * con * { field : con, rest : con } |
74 | EFold of kind | 74 | EFold of kind |
75 | 75 |
76 | EWrite of exp | |
77 | |
76 withtype exp = exp' located | 78 withtype exp = exp' located |
77 | 79 |
78 datatype sgn_item' = | 80 datatype sgn_item' = |
79 SgiConAbs of string * int * kind | 81 SgiConAbs of string * int * kind |
80 | SgiCon of string * int * kind * con | 82 | SgiCon of string * int * kind * con |
96 DCon of string * int * kind * con | 98 DCon of string * int * kind * con |
97 | DVal of string * int * con * exp | 99 | DVal of string * int * con * exp |
98 | DSgn of string * int * sgn | 100 | DSgn of string * int * sgn |
99 | DStr of string * int * sgn * str | 101 | DStr of string * int * sgn * str |
100 | DFfiStr of string * int * sgn | 102 | DFfiStr of string * int * sgn |
101 | DPage of con * exp | 103 | DExport of int * sgn * str |
102 | 104 |
103 and str' = | 105 and str' = |
104 StrConst of decl list | 106 StrConst of decl list |
105 | StrVar of int | 107 | StrVar of int |
106 | StrProj of str * string | 108 | StrProj of str * string |