X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FilxGen%2Ftests%2Ftest14.hs;fp=ghc%2Fcompiler%2FilxGen%2Ftests%2Ftest14.hs;h=86b5d1c821cfacbfaa30453e624af1da1332b2ab;hb=81027250abf0099f1dbaef1ddb8534547268ad41;hp=0000000000000000000000000000000000000000;hpb=44637383d831bd3ca8f3aa3cf80e6a0c90986b41;p=ghc-hetmet.git

diff --git a/ghc/compiler/ilxGen/tests/test14.hs b/ghc/compiler/ilxGen/tests/test14.hs
new file mode 100644
index 0000000..86b5d1c
--- /dev/null
+++ b/ghc/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"
+
+