Mercurial > urweb

comparison src/elab.sml @ 41:1405d8c26790

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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