X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=polymorph-eadt%2Fmain.dcl;fp=polymorph-eadt%2Fmain.dcl;h=3984958adcfd76f7495f194bb641248af84fe274;hb=b2a4b7c5c620e9d85bda8afa1c5e804ee98ffd89;hp=0000000000000000000000000000000000000000;hpb=acf65f233c22c3eb03ff43805d8065f5ad5a5b53;p=clean-tests.git

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