Reorganisation of the source tree

[ghc-hetmet.git] / compiler / ilxGen / tests / test14.hs

diff --git a/compiler/ilxGen/tests/test14.hs b/compiler/ilxGen/tests/test14.hs
new file mode 100644 (file)
index 0000000..86b5d1c
--- /dev/null
+++ b/compiler/ilxGen/tests/test14.hs
@@ -0,0 +1,11 @@
+class  EMonad m  where
+    aaaaa       :: m a -> (a -> m b) -> m b
+    bbbbb        :: m a -> m b -> m b
+
+    bbbbb m k      =  aaaaa m (\_ -> k)
+                  -- = \M \A \B -> \m:(M A) -> \k:(M B) -> aaaaa M A B m (\_:A -> k: M B)
+                  --   Free types must include "A"!!!
+
+main = putStr "hello world\n"
+
+