Mercurial > urweb

comparison src/explify.sml @ 754:8688e01ae469

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents acb8537f58f0
children e2780d2f4afc
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
180 | L.DExport (en, sgn, str) => SOME (L'.DExport (en, explifySgn sgn, explifyStr str), loc) 180 | L.DExport (en, sgn, str) => SOME (L'.DExport (en, explifySgn sgn, explifyStr str), loc)
181 | L.DTable (nt, x, n, c, pe, pc, ce, cc) => 181 | L.DTable (nt, x, n, c, pe, pc, ce, cc) =>
182 SOME (L'.DTable (nt, x, n, explifyCon c, 182 SOME (L'.DTable (nt, x, n, explifyCon c,
183 explifyExp pe, explifyCon pc, 183 explifyExp pe, explifyCon pc,
184 explifyExp ce, explifyCon cc), loc) 184 explifyExp ce, explifyCon cc), loc)
185 | L.DView (nt, x, n, e, c) =>
186 SOME (L'.DView (nt, x, n, explifyExp e, explifyCon c), loc)
185 | L.DSequence (nt, x, n) => SOME (L'.DSequence (nt, x, n), loc) 187 | L.DSequence (nt, x, n) => SOME (L'.DSequence (nt, x, n), loc)
186 | L.DClass (x, n, k, c) => SOME (L'.DCon (x, n, 188 | L.DClass (x, n, k, c) => SOME (L'.DCon (x, n,
187 (L'.KArrow (explifyKind k, (L'.KType, loc)), loc), explifyCon c), loc) 189 (L'.KArrow (explifyKind k, (L'.KType, loc)), loc), explifyCon c), loc)
188 | L.DDatabase s => SOME (L'.DDatabase s, loc) 190 | L.DDatabase s => SOME (L'.DDatabase s, loc)
189 | L.DCookie (nt, x, n, c) => SOME (L'.DCookie (nt, x, n, explifyCon c), loc) 191 | L.DCookie (nt, x, n, c) => SOME (L'.DCookie (nt, x, n, explifyCon c), loc)