Mercurial > urweb

comparison src/explify.sml @ 87:275aaeb73f1f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Push KUnit and CUnit through the phases
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 13:23:46 -0400
parents 1f85890c9846
children 7bab29834cd6
comparison
equal deleted inserted replaced
86:7f9bcc8bfa1e 87:275aaeb73f1f
36 L.KType => (L'.KType, loc) 36 L.KType => (L'.KType, loc)
37 | L.KArrow (k1, k2) => (L'.KArrow (explifyKind k1, explifyKind k2), loc) 37 | L.KArrow (k1, k2) => (L'.KArrow (explifyKind k1, explifyKind k2), loc)
38 | L.KName => (L'.KName, loc) 38 | L.KName => (L'.KName, loc)
39 | L.KRecord k => (L'.KRecord (explifyKind k), loc) 39 | L.KRecord k => (L'.KRecord (explifyKind k), loc)
40 40
41 | L.KUnit => raise Fail "Explify KUnit" 41 | L.KUnit => (L'.KUnit, loc)
42 42
43 | L.KError => raise Fail ("explifyKind: KError at " ^ EM.spanToString loc) 43 | L.KError => raise Fail ("explifyKind: KError at " ^ EM.spanToString loc)
44 | L.KUnif (_, _, ref (SOME k)) => explifyKind k 44 | L.KUnif (_, _, ref (SOME k)) => explifyKind k
45 | L.KUnif _ => raise Fail ("explifyKind: KUnif at " ^ EM.spanToString loc) 45 | L.KUnif _ => raise Fail ("explifyKind: KUnif at " ^ EM.spanToString loc)
46 46
63 63
64 | L.CRecord (k, xcs) => (L'.CRecord (explifyKind k, map (fn (c1, c2) => (explifyCon c1, explifyCon c2)) xcs), loc) 64 | L.CRecord (k, xcs) => (L'.CRecord (explifyKind k, map (fn (c1, c2) => (explifyCon c1, explifyCon c2)) xcs), loc)
65 | L.CConcat (c1, c2) => (L'.CConcat (explifyCon c1, explifyCon c2), loc) 65 | L.CConcat (c1, c2) => (L'.CConcat (explifyCon c1, explifyCon c2), loc)
66 | L.CFold (dom, ran) => (L'.CFold (explifyKind dom, explifyKind ran), loc) 66 | L.CFold (dom, ran) => (L'.CFold (explifyKind dom, explifyKind ran), loc)
67 67
68 | L.CUnit => raise Fail "Explify CUnit" 68 | L.CUnit => (L'.CUnit, loc)
69 69
70 | L.CError => raise Fail ("explifyCon: CError at " ^ EM.spanToString loc) 70 | L.CError => raise Fail ("explifyCon: CError at " ^ EM.spanToString loc)
71 | L.CUnif (_, _, _, ref (SOME c)) => explifyCon c 71 | L.CUnif (_, _, _, ref (SOME c)) => explifyCon c
72 | L.CUnif _ => raise Fail ("explifyCon: CUnif at " ^ EM.spanToString loc) 72 | L.CUnif _ => raise Fail ("explifyCon: CUnif at " ^ EM.spanToString loc)
73 73