diff options
author | Ian Lynagh <igloo@earth.li> | 2008-05-06 10:44:56 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2008-05-06 10:44:56 +0000 |
commit | f5edc6b0871a0debbc9a64f4cdb95c0dc35e5b16 (patch) | |
tree | b3bee0766764bcf078b2cbfbd305e4477e99ad79 /compiler/ilxGen/tests/test12.hs | |
parent | 911e7de13ab1c0e5426c7f234e0c8dd29185a2ba (diff) | |
download | haskell-f5edc6b0871a0debbc9a64f4cdb95c0dc35e5b16.tar.gz |
Remove ilxGen; part of trac #2243
Diffstat (limited to 'compiler/ilxGen/tests/test12.hs')
-rw-r--r-- | compiler/ilxGen/tests/test12.hs | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/compiler/ilxGen/tests/test12.hs b/compiler/ilxGen/tests/test12.hs deleted file mode 100644 index 216c792f32..0000000000 --- a/compiler/ilxGen/tests/test12.hs +++ /dev/null @@ -1,44 +0,0 @@ -class NewFunctor f where - new_fmap :: (a -> b) -> f a -> f b - -data N a = Z a | S (N a) - -nmap f (Z x) = Z (f x) -nmap f (S n) = S (nmap f n) - -tag (Z x) = x -tag (S n) = tag n - -instance NewFunctor N where - new_fmap = nmap - ---class Strange f where --- zero :: a -> f a --- suc :: f a -> f a --- tag :: f a -> a - - ---class FMonad m where --- (>>=) :: m a -> (a -> m b) -> m b --- (>>) :: m a -> m b -> m b --- return :: a -> m a --- fail :: String -> m a --- --- m >> k = m >>= \_ -> k --- fail s = error s - - - - ---instance Strange N --- where --- zero x = Z x --- suc y = S y --- tag n = gettag n - -twice :: NewFunctor f => (a -> a) -> f a -> f a -twice f x = new_fmap f (new_fmap f x) - -main = putStr (tag (nmap (\x -> x) (Z "hello world\n"))) ---main = putStr (tag (nmap (\x -> x) (Z "hello world\n"))) --- main = putStr (tag {- (twice (\x -> x) -} (Z "hello world\n")) |