Mercurial > urweb

comparison src/elab.sml @ 42:b3fbbc6cb1e5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating 'where'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 19 Jun 2008 16:35:40 -0400
parents 1405d8c26790
children a9f3ce2d1b9b
comparison
equal deleted inserted replaced
41:1405d8c26790 42:b3fbbc6cb1e5
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 | SgnFun of string * int * sgn * sgn
95 | SgnWhere of sgn * string * con
95 | SgnError 96 | SgnError
96 97
97 withtype sgn_item = sgn_item' located 98 withtype sgn_item = sgn_item' located
98 and sgn = sgn' located 99 and sgn = sgn' located
99 100