Mercurial > urweb

comparison src/expl.sml @ 246:3aa010e97db9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Explify tables
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 08:46:22 -0400
parents 0343557355fc
children 42dfb0d61cf0
comparison
equal deleted inserted replaced
245:1e24a3e6d614 246:3aa010e97db9
105 | SgiDatatype of string * int * string list * (string * int * con option) list 105 | SgiDatatype of string * int * string list * (string * int * con option) list
106 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list 106 | SgiDatatypeImp of string * int * int * string list * string * string list * (string * int * con option) list
107 | SgiVal of string * int * con 107 | SgiVal of string * int * con
108 | SgiSgn of string * int * sgn 108 | SgiSgn of string * int * sgn
109 | SgiStr of string * int * sgn 109 | SgiStr of string * int * sgn
110 | SgiTable of int * string * int * con
110 111
111 and sgn' = 112 and sgn' =
112 SgnConst of sgn_item list 113 SgnConst of sgn_item list
113 | SgnVar of int 114 | SgnVar of int
114 | SgnFun of string * int * sgn * sgn 115 | SgnFun of string * int * sgn * sgn
126 | DValRec of (string * int * con * exp) list 127 | DValRec of (string * int * con * exp) list
127 | DSgn of string * int * sgn 128 | DSgn of string * int * sgn
128 | DStr of string * int * sgn * str 129 | DStr of string * int * sgn * str
129 | DFfiStr of string * int * sgn 130 | DFfiStr of string * int * sgn
130 | DExport of int * sgn * str 131 | DExport of int * sgn * str
132 | DTable of int * string * int * con
131 133
132 and str' = 134 and str' =
133 StrConst of decl list 135 StrConst of decl list
134 | StrVar of int 136 | StrVar of int
135 | StrProj of str * string 137 | StrProj of str * string