X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=eadt%2Fexport%2FB.icl;fp=eadt%2Fexport%2FB.icl;h=4884d2a53dece1b1b6fed7e3096514e123436ec1;hb=b2a4b7c5c620e9d85bda8afa1c5e804ee98ffd89;hp=0000000000000000000000000000000000000000;hpb=acf65f233c22c3eb03ff43805d8065f5ad5a5b53;p=clean-tests.git

diff --git a/eadt/export/B.icl b/eadt/export/B.icl
new file mode 100644
index 0000000..4884d2a
--- /dev/null
+++ b/eadt/export/B.icl
@@ -0,0 +1,12 @@
+implementation module B
+
+import main
+
+:: T | E
+
+B :: T
+B = E
+
+isB :: T -> Bool
+isB E = True
+isB _ = False