summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-03-29 09:55:04 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-03-29 09:55:04 -0400
commitc0e9784e1cfc3f377e1144833597e4dcd5472e84 (patch)
treec681bccc3c5734fd488af8fc816900fe39ff91fd /tests
parenta613f7d9361f504290757c686d87f56dc1e7b088 (diff)
Fix defunctorization of modules containing datatype definitions
Diffstat (limited to 'tests')
-rw-r--r--tests/dtfunctor.ur9
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/dtfunctor.ur b/tests/dtfunctor.ur
new file mode 100644
index 00000000..84257479
--- /dev/null
+++ b/tests/dtfunctor.ur
@@ -0,0 +1,9 @@
+functor Make(M : sig end) = struct
+ datatype t = A | B
+end
+
+structure A = Make(struct end)
+structure B = Make(struct end)
+
+fun main (x : A.t) (y : B.t) : transaction page =
+ return <xml/>