diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_run/TcRun025_B.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_run/TcRun025_B.hs | 58 |
1 files changed, 29 insertions, 29 deletions
diff --git a/testsuite/tests/typecheck/should_run/TcRun025_B.hs b/testsuite/tests/typecheck/should_run/TcRun025_B.hs index ae48117661..bc5eb0c6de 100644 --- a/testsuite/tests/typecheck/should_run/TcRun025_B.hs +++ b/testsuite/tests/typecheck/should_run/TcRun025_B.hs @@ -4,35 +4,35 @@ module TcRun025_B where - import Data.List( sort ) - - -- This class has no tyvars in its class op context - -- One uses a newtype, the other a data type - class C1 a where - fc1 :: (?p :: String) => a; - class C2 a where - fc2 :: (?p :: String) => a; - opc :: a - - instance C1 String where - fc1 = ?p; - instance C2 String where - fc2 = ?p; - opc = "x" - - -- This class constrains no new type variables in - -- its class op context - class D1 a where - fd1 :: (Ord a) => [a] -> [a] - class D2 a where - fd2 :: (Ord a) => [a] -> [a] - opd :: a - - instance D1 (Maybe a) where - fd1 xs = sort xs - instance D2 (Maybe a) where - fd2 xs = sort xs - opd = Nothing + import Data.List( sort ) + + -- This class has no tyvars in its class op context + -- One uses a newtype, the other a data type + class C1 a where + fc1 :: (?p :: String) => a; + class C2 a where + fc2 :: (?p :: String) => a; + opc :: a + + instance C1 String where + fc1 = ?p; + instance C2 String where + fc2 = ?p; + opc = "x" + + -- This class constrains no new type variables in + -- its class op context + class D1 a where + fd1 :: (Ord a) => [a] -> [a] + class D2 a where + fd2 :: (Ord a) => [a] -> [a] + opd :: a + + instance D1 (Maybe a) where + fd1 xs = sort xs + instance D2 (Maybe a) where + fd2 xs = sort xs + opd = Nothing |