bork

[clean-tests.git] / polymorph-eadt / main.dcl

diff --git a/polymorph-eadt/main.dcl b/polymorph-eadt/main.dcl
new file mode 100644 (file)
index 0000000..3984958
--- /dev/null
+++ b/polymorph-eadt/main.dcl
@@ -0,0 +1,3 @@
+definition module main
+
+:: Poly a = Poly a | ..