Mercurial > urweb
comparison src/explify.sml @ 1797:bb942416bf1c
Remove 'class' declaration; now use 'con' instead
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 29 Jul 2012 12:27:13 -0400 |
parents | 6c00d8af6239 |
children | 1aa9629e3a4c |
comparison
equal
deleted
inserted
replaced
1796:0de0daab5fbb | 1797:bb942416bf1c |
---|---|
190 explifyExp pe, explifyCon pc, | 190 explifyExp pe, explifyCon pc, |
191 explifyExp ce, explifyCon cc), loc) | 191 explifyExp ce, explifyCon cc), loc) |
192 | L.DView (nt, x, n, e, c) => | 192 | L.DView (nt, x, n, e, c) => |
193 SOME (L'.DView (nt, x, n, explifyExp e, explifyCon c), loc) | 193 SOME (L'.DView (nt, x, n, explifyExp e, explifyCon c), loc) |
194 | L.DSequence (nt, x, n) => SOME (L'.DSequence (nt, x, n), loc) | 194 | L.DSequence (nt, x, n) => SOME (L'.DSequence (nt, x, n), loc) |
195 | L.DClass (x, n, k, c) => SOME (L'.DCon (x, n, | |
196 (L'.KArrow (explifyKind k, (L'.KType, loc)), loc), explifyCon c), loc) | |
197 | L.DDatabase s => SOME (L'.DDatabase s, loc) | 195 | L.DDatabase s => SOME (L'.DDatabase s, loc) |
198 | L.DCookie (nt, x, n, c) => SOME (L'.DCookie (nt, x, n, explifyCon c), loc) | 196 | L.DCookie (nt, x, n, c) => SOME (L'.DCookie (nt, x, n, explifyCon c), loc) |
199 | L.DStyle (nt, x, n) => SOME (L'.DStyle (nt, x, n), loc) | 197 | L.DStyle (nt, x, n) => SOME (L'.DStyle (nt, x, n), loc) |
200 | L.DTask (e1, e2) => SOME (L'.DTask (explifyExp e1, explifyExp e2), loc) | 198 | L.DTask (e1, e2) => SOME (L'.DTask (explifyExp e1, explifyExp e2), loc) |
201 | L.DPolicy e1 => SOME (L'.DPolicy (explifyExp e1), loc) | 199 | L.DPolicy e1 => SOME (L'.DPolicy (explifyExp e1), loc) |