summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run/TcRun025_B.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_run/TcRun025_B.hs')
-rw-r--r--testsuite/tests/typecheck/should_run/TcRun025_B.hs58
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