diff options
Diffstat (limited to 'compiler/ilxGen/tests/test14.hs')
| -rw-r--r-- | compiler/ilxGen/tests/test14.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/compiler/ilxGen/tests/test14.hs b/compiler/ilxGen/tests/test14.hs new file mode 100644 index 0000000000..86b5d1c821 --- /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" + + |