X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FilxGen%2Ftests%2Ftest13.hs;fp=ghc%2Fcompiler%2FilxGen%2Ftests%2Ftest13.hs;h=0000000000000000000000000000000000000000;hb=0065d5ab628975892cea1ec7303f968c3338cbe1;hp=559c8674fa56df2ee738e82bf0b8ee455868bdd3;hpb=28a464a75e14cece5db40f2765a29348273ff2d2;p=ghc-hetmet.git diff --git a/ghc/compiler/ilxGen/tests/test13.hs b/ghc/compiler/ilxGen/tests/test13.hs deleted file mode 100644 index 559c867..0000000 --- a/ghc/compiler/ilxGen/tests/test13.hs +++ /dev/null @@ -1,20 +0,0 @@ -class NewFunctor f where - inj :: a -> f a - surj :: f a -> a - -data N a = Z a - -ninj x = (Z x) -nsurj (Z x) = x - -instance NewFunctor N where - inj = ninj - surj = nsurj - -twice :: NewFunctor f => a -> f (f a) -twice x = inj(inj x) - -undo :: NewFunctor f => f (f a) -> a -undo x = surj(surj x) - -main = putStr (undo (Z (Z "hello world\n")))