Mercurial > urweb
comparison src/expl.sml @ 100:f0f59e918cac
page declaration, up through monoize
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 10 Jul 2008 10:11:35 -0400 |
parents | 275aaeb73f1f |
children | 813e5a52063d |
comparison
equal
deleted
inserted
replaced
99:5182f0c80d2e | 100:f0f59e918cac |
---|---|
96 DCon of string * int * kind * con | 96 DCon of string * int * kind * con |
97 | DVal of string * int * con * exp | 97 | DVal of string * int * con * exp |
98 | DSgn of string * int * sgn | 98 | DSgn of string * int * sgn |
99 | DStr of string * int * sgn * str | 99 | DStr of string * int * sgn * str |
100 | DFfiStr of string * int * sgn | 100 | DFfiStr of string * int * sgn |
101 | DPage of con * exp | |
101 | 102 |
102 and str' = | 103 and str' = |
103 StrConst of decl list | 104 StrConst of decl list |
104 | StrVar of int | 105 | StrVar of int |
105 | StrProj of str * string | 106 | StrProj of str * string |