1 files changed, 17 insertions, 0 deletions
diff --git a/src/testsuite/compiler/ctor-mapping.spad b/src/testsuite/compiler/ctor-mapping.spad
new file mode 100644
index 00000000..4f7a58d2
--- /dev/null
+++ b/src/testsuite/compiler/ctor-mapping.spad
@@ -0,0 +1,17 @@
+++ Contributed by Gabriel Dos Reis; November 2011.
+++ Test conversion of constructors to function objects and
+++ elaboration of domain producting function parameters.
+
+)abbrev package BAR Bar
+Bar(F: Type -> Type): Public == Private where
+  Public == Type with
+     bar: () -> Type
+  Private == add
+    bar() == F Integer
+
+    
+)abbrev package FOO Foo
+Foo(): Type with
+     foo: () -> Type
+  == add
+     foo() == bar()$Bar(List)