Mercurial > urweb

comparison src/corify.sml @ 31:1c91c5e6840f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Simple signature matching
author Adam Chlipala <adamc@hcoop.net>
date Thu, 12 Jun 2008 17:16:20 -0400
parents 537db4ee89f4
children 44b5405e74c7
comparison
equal deleted inserted replaced
30:e6ccf961d8a3 31:1c91c5e6840f
81 fun corifyDecl (d, loc : EM.span) = 81 fun corifyDecl (d, loc : EM.span) =
82 case d of 82 case d of
83 L.DCon (x, n, k, c) => (L'.DCon (x, n, corifyKind k, corifyCon c), loc) 83 L.DCon (x, n, k, c) => (L'.DCon (x, n, corifyKind k, corifyCon c), loc)
84 | L.DVal (x, n, t, e) => (L'.DVal (x, n, corifyCon t, corifyExp e), loc) 84 | L.DVal (x, n, t, e) => (L'.DVal (x, n, corifyCon t, corifyExp e), loc)
85 85
86 | L.DSgn _ => raise Fail "Not ready to corify signature"
87 | L.DStr _ => raise Fail "Not ready to corify structure"
88
86 val corify = map corifyDecl 89 val corify = map corifyDecl
87 90
88 end 91 end