summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/typecheck/should_run/tcrun003.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghc-regress/typecheck/should_run/tcrun003.hs')
-rw-r--r--testsuite/tests/ghc-regress/typecheck/should_run/tcrun003.hs27
1 files changed, 0 insertions, 27 deletions
diff --git a/testsuite/tests/ghc-regress/typecheck/should_run/tcrun003.hs b/testsuite/tests/ghc-regress/typecheck/should_run/tcrun003.hs
deleted file mode 100644
index 67b9771d5f..0000000000
--- a/testsuite/tests/ghc-regress/typecheck/should_run/tcrun003.hs
+++ /dev/null
@@ -1,27 +0,0 @@
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
--- !!! One method class from Sergey Mechveliani
--- showed up problematic newtype dict rep.
-module Main where
-import Data.Ratio
-
-class MBConvertible a b where cm :: a -> b -> Maybe b
-
-c :: MBConvertible a b => a -> b -> b
-c a b = case cm a b
- of
- Just b' -> b'
- _ -> error "c a b failed"
-
-
-instance MBConvertible Int Int where cm a _ = Just a
-
-instance (MBConvertible a b,Integral b) => MBConvertible a (Ratio b)
- where
- cm a f = case cm a (numerator f) of Just a' -> Just (a'%1)
- _ -> Nothing
-
-main = let f = 1%1 :: Ratio Int
- n2 = 2::Int
- g = (c n2 f) + f
- in
- putStr (shows g "\n")