Mercurial > urweb
comparison src/source.sml @ 61:48b6d2c3df46
open
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Jun 2008 19:34:35 -0400 |
parents | abb2b32c19fb |
children | 9f89f0b00b84 |
comparison
equal
deleted
inserted
replaced
60:8bce148070a7 | 61:48b6d2c3df46 |
---|---|
99 DCon of string * kind option * con | 99 DCon of string * kind option * con |
100 | DVal of string * con option * exp | 100 | DVal of string * con option * exp |
101 | DSgn of string * sgn | 101 | DSgn of string * sgn |
102 | DStr of string * sgn option * str | 102 | DStr of string * sgn option * str |
103 | DFfiStr of string * sgn | 103 | DFfiStr of string * sgn |
104 | DOpen of string * string list | |
104 | 105 |
105 and str' = | 106 and str' = |
106 StrConst of decl list | 107 StrConst of decl list |
107 | StrVar of string | 108 | StrVar of string |
108 | StrProj of str * string | 109 | StrProj of str * string |