summaryrefslogtreecommitdiff
path: root/src/corify.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-08-31 09:00:28 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-08-31 09:00:28 -0400
commit652ca797f5c9de9adc198df0c0e8a706807328a6 (patch)
treed169fb294b36335dbe40525678328c7b0dc21c13 /src/corify.sml
parent773cc619b71ad10b8f21f6941d67947bac86885f (diff)
Corify tables
Diffstat (limited to 'src/corify.sml')
-rw-r--r--src/corify.sml8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml
index 6e893da2..b20a1136 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -806,7 +806,13 @@ structure St : sig
end
| _ => raise Fail "Non-const signature for 'export'")
- | L.DTable _ => raise Fail "Corify DTable"
+ | L.DTable (_, x, n, c) =>
+ let
+ val (st, n) = St.bindVal st x n
+ val s = x
+ in
+ ([(L'.DTable (x, n, corifyCon st c, s), loc)], st)
+ end
and corifyStr ((str, _), st) =
case str of