Mercurial > urweb
comparison src/elab.sml @ 59:abb2b32c19fb
Subsignatures
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 22 Jun 2008 19:10:38 -0400 |
parents | 0a5c312de09a |
children | 9f89f0b00b84 |
comparison
equal
deleted
inserted
replaced
58:fd8a81ecd598 | 59:abb2b32c19fb |
---|---|
85 datatype sgn_item' = | 85 datatype sgn_item' = |
86 SgiConAbs of string * int * kind | 86 SgiConAbs of string * int * kind |
87 | SgiCon of string * int * kind * con | 87 | SgiCon of string * int * kind * con |
88 | SgiVal of string * int * con | 88 | SgiVal of string * int * con |
89 | SgiStr of string * int * sgn | 89 | SgiStr of string * int * sgn |
90 | SgiSgn of string * int * sgn | |
90 | 91 |
91 and sgn' = | 92 and sgn' = |
92 SgnConst of sgn_item list | 93 SgnConst of sgn_item list |
93 | SgnVar of int | 94 | SgnVar of int |
94 | SgnFun of string * int * sgn * sgn | 95 | SgnFun of string * int * sgn * sgn |
95 | SgnWhere of sgn * string * con | 96 | SgnWhere of sgn * string * con |
97 | SgnProj of int * string list * string | |
96 | SgnError | 98 | SgnError |
97 | 99 |
98 withtype sgn_item = sgn_item' located | 100 withtype sgn_item = sgn_item' located |
99 and sgn = sgn' located | 101 and sgn = sgn' located |
100 | 102 |