Mercurial > urweb
comparison src/source.sml @ 40:e3d3c2791105
Functor parsing
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 19 Jun 2008 15:15:00 -0400 |
parents | 44b5405e74c7 |
children | b3fbbc6cb1e5 |
comparison
equal
deleted
inserted
replaced
39:02f42e9a1825 | 40:e3d3c2791105 |
---|---|
69 | SgiStr of string * sgn | 69 | SgiStr of string * sgn |
70 | 70 |
71 and sgn' = | 71 and sgn' = |
72 SgnConst of sgn_item list | 72 SgnConst of sgn_item list |
73 | SgnVar of string | 73 | SgnVar of string |
74 | SgnFun of string * sgn * sgn | |
74 | 75 |
75 withtype sgn_item = sgn_item' located | 76 withtype sgn_item = sgn_item' located |
76 and sgn = sgn' located | 77 and sgn = sgn' located |
77 | 78 |
78 datatype exp' = | 79 datatype exp' = |
98 | 99 |
99 and str' = | 100 and str' = |
100 StrConst of decl list | 101 StrConst of decl list |
101 | StrVar of string | 102 | StrVar of string |
102 | StrProj of str * string | 103 | StrProj of str * string |
104 | StrFun of string * sgn * sgn option * str | |
103 | 105 |
104 withtype decl = decl' located | 106 withtype decl = decl' located |
105 and str = str' located | 107 and str = str' located |
106 | 108 |
107 type file = decl list | 109 type file = decl list |