Mercurial > urweb
comparison src/elab.sml @ 41:1405d8c26790
Beginning of functor elaboration
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 19 Jun 2008 16:04:28 -0400 |
parents | 44b5405e74c7 |
children | b3fbbc6cb1e5 |
comparison
equal
deleted
inserted
replaced
40:e3d3c2791105 | 41:1405d8c26790 |
---|---|
89 | SgiStr of string * int * sgn | 89 | SgiStr of string * int * sgn |
90 | 90 |
91 and sgn' = | 91 and sgn' = |
92 SgnConst of sgn_item list | 92 SgnConst of sgn_item list |
93 | SgnVar of int | 93 | SgnVar of int |
94 | SgnFun of string * int * sgn * sgn | |
94 | SgnError | 95 | SgnError |
95 | 96 |
96 withtype sgn_item = sgn_item' located | 97 withtype sgn_item = sgn_item' located |
97 and sgn = sgn' located | 98 and sgn = sgn' located |
98 | 99 |
104 | 105 |
105 and str' = | 106 and str' = |
106 StrConst of decl list | 107 StrConst of decl list |
107 | StrVar of int | 108 | StrVar of int |
108 | StrProj of str * string | 109 | StrProj of str * string |
110 | StrFun of string * int * sgn * sgn * str | |
109 | StrError | 111 | StrError |
110 | 112 |
111 withtype decl = decl' located | 113 withtype decl = decl' located |
112 and str = str' located | 114 and str = str' located |
113 | 115 |