Mercurial > urweb

comparison src/explify.sml @ 334:9601c717d2f3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
queryX
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 19:49:53 -0400
parents 42dfb0d61cf0
children e976b187d73a
comparison
equal deleted inserted replaced
333:c655eddc3795 334:9601c717d2f3
47 47
48 fun explifyCon (c, loc) = 48 fun explifyCon (c, loc) =
49 case c of 49 case c of
50 L.TFun (t1, t2) => (L'.TFun (explifyCon t1, explifyCon t2), loc) 50 L.TFun (t1, t2) => (L'.TFun (explifyCon t1, explifyCon t2), loc)
51 | L.TCFun (_, x, k, t) => (L'.TCFun (x, explifyKind k, explifyCon t), loc) 51 | L.TCFun (_, x, k, t) => (L'.TCFun (x, explifyKind k, explifyCon t), loc)
52 | L.TDisjoint (_, _, c) => explifyCon c 52 | L.TDisjoint (_, _, _, c) => explifyCon c
53 | L.TRecord c => (L'.TRecord (explifyCon c), loc) 53 | L.TRecord c => (L'.TRecord (explifyCon c), loc)
54 54
55 | L.CRel n => (L'.CRel n, loc) 55 | L.CRel n => (L'.CRel n, loc)
56 | L.CNamed n => (L'.CNamed n, loc) 56 | L.CNamed n => (L'.CNamed n, loc)
57 | L.CModProj (m, ms, x) => (L'.CModProj (m, ms, x), loc) 57 | L.CModProj (m, ms, x) => (L'.CModProj (m, ms, x), loc)