X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc051.hs;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc051.hs;h=0000000000000000000000000000000000000000;hb=e3b67289ad773d37576e763704baaca6b83d74db;hp=7f14282fb8d53c9dfcff5e18f7b8a5407435027d;hpb=29b46083beaa048af4b4a68e8f96909ac98a639f;p=ghc-hetmet.git diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc051.hs b/ghc/compiler/tests/typecheck/should_succeed/tc051.hs deleted file mode 100644 index 7f14282..0000000 --- a/ghc/compiler/tests/typecheck/should_succeed/tc051.hs +++ /dev/null @@ -1,30 +0,0 @@ -module ShouldSucceed where - -class Eq' a where - doubleeq :: a -> a -> Bool - -class (Eq' a) => Ord' a where - lt :: a -> a -> Bool - -instance Eq' Int where - doubleeq x y = True - -instance (Eq' a) => Eq' [a] where - doubleeq x y = True - -instance Ord' Int where - lt x y = True - -{- -class (Ord a) => Ix a where - range :: (a,a) -> [a] - -instance Ix Int where - range (x,y) = [x,y] --} - - - - - -