Mercurial > urweb

comparison src/expl.sml @ 45:3c1ce1b4eb3d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explifying functors
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 17:11:24 -0400
parents d16ef24de78b
children 0a5c312de09a
comparison
equal deleted inserted replaced
44:a9f3ce2d1b9b 45:3c1ce1b4eb3d
77 | SgiStr of string * int * sgn 77 | SgiStr of string * int * sgn
78 78
79 and sgn' = 79 and sgn' =
80 SgnConst of sgn_item list 80 SgnConst of sgn_item list
81 | SgnVar of int 81 | SgnVar of int
82 | SgnFun of string * int * sgn * sgn
83 | SgnWhere of sgn * string * con
82 84
83 withtype sgn_item = sgn_item' located 85 withtype sgn_item = sgn_item' located
84 and sgn = sgn' located 86 and sgn = sgn' located
85 87
86 datatype decl' = 88 datatype decl' =
91 93
92 and str' = 94 and str' =
93 StrConst of decl list 95 StrConst of decl list
94 | StrVar of int 96 | StrVar of int
95 | StrProj of str * string 97 | StrProj of str * string
98 | StrFun of string * int * sgn * sgn * str
99 | StrApp of str * str
96 100
97 withtype decl = decl' located 101 withtype decl = decl' located
98 and str = str' located 102 and str = str' located
99 103
100 type file = decl list 104 type file = decl list