add unit tests for constructed types

2398ae0f · Pietro Abate · af780bcc · 2398ae0f · 2398ae0f · 2398ae0f
Commit 2398ae0f authored Sep 19, 2014 by Pietro Abate
Showing with 11 additions and 0 deletions

tests/_tests/poly/polyfuns.cdi tests/_tests/poly/polyfuns.cdi +4 -0

tests/_tests/poly/polysyntax.cdi tests/_tests/poly/polysyntax.cdi +0 -0

tests/test.list tests/test.list +7 -0

No files found.
--- a/tests/_tests/poly/polyfuns.cdi
+++ b/tests/_tests/poly/polyfuns.cdi
+val aux : [ 'A* ] -> Int
+val f : T('A) -> Int
+val a : Int
+val b : Int
--- a/tests/_tests/poly/polysyntax.cdi
+++ b/tests/_tests/poly/polysyntax.cdi
--- a/tests/test.list
+++ b/tests/test.list
@@ -24,3 +24,10 @@ Name: cql
 Group: cql
 Input: cql/TREE/*.cd cql/XMP/*.cd
 Cmd: ../cduce -c --verbose -I cql/TREE -I cql/XMP
+
+Name: poly
+Group: poly
+Input: poly/polyfuns.cd poly/polysyntax.cd
+Cmd: ../cduce -c --verbose -I poly
+
+