Mercurial > urweb
comparison src/corify.sml @ 31:1c91c5e6840f
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 |