Mercurial > urweb
comparison src/elab.sml @ 42:b3fbbc6cb1e5
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 |