Update test suite.
* PrimIO ==> IO
* change to type of _ccall_
* update the stdout/stderr files where necessary.
* make module names consistent: should_compile modules are called
ShouldSucceed (don't know why, most of them were already),
should_fail modules are called ShouldFail, and should_run
modules are called Main (for obvious reasons).
Not all done yet.
* Some tests had bitrot. Especially some should_fail tests
were failing for different reasons than they were originally
intended to.
codeGen \
deSugar \
deriving \
- io \
printing \
reader \
rename \
stranal \
typecheck
-#programs
+# io \
+# programs
include $(TOP)/mk/target.mk
--!!! cc001 -- ccall with standard boxed arguments and results
-module Test where
-
-import GlaExts
+module ShouldCompile where
-- simple functions
-a :: PrimIO Int
+a :: IO Int
a = _ccall_ a
-b :: Int -> PrimIO Int
+b :: Int -> IO Int
b x = _ccall_ b x
-c :: Int -> Char -> Float -> Double -> PrimIO Float
+c :: Int -> Char -> Float -> Double -> IO Float
c x1 x2 x3 x4 = _ccall_ c x1 x2 x3 x4
-- simple monadic code
-d = a `thenPrimIO` \ x ->
- b x `thenPrimIO` \ y ->
+d = a >>= \ x ->
+ b x >>= \ y ->
c y 'f' 1.0 2.0
--!!! cc003 -- ccall with unresolved polymorphism (should fail)
--!!! not anymore (as of 0.29, result type will default to ())
-module Test where
+module ShouldCompile where
-import GlaExts
-
-fubar :: PrimIO Int
-fubar = _ccall_ f `seqPrimIO` _ccall_ b
+fubar :: IO Int
+fubar = _ccall_ f >>_ccall_ b
--^ result type of f "lost" (never gets generalised)
module Test where
-import GlaExts
import Foreign
+import CCall
-- Test returning results
-a :: PrimIO Int
+a :: IO Int
a = _ccall_ a
-b :: PrimIO (StablePtr Int)
+b :: IO (StablePtr Int)
b = _ccall_ b
-- Test taking arguments
-c :: ForeignObj -> PrimIO Int
+c :: ForeignObj -> IO Int
c x = _ccall_ c x
-d :: StablePtr Int -> PrimIO Int
+d :: StablePtr Int -> IO Int
d x = _ccall_ d x
module Test where
-import GlaExts
import Foreign
-- Test returning results
-a :: PrimIO ForeignObj
+a :: IO ForeignObj
a = _ccall_ a
-b :: PrimIO (StablePtr Double)
+b :: IO (StablePtr Double)
b = _ccall_ b
-- Test taking arguments
-c :: ForeignObj -> PrimIO Int
+c :: ForeignObj -> IO Int
c x = _ccall_ c x
-d :: StablePtr Int -> PrimIO Int
+d :: StablePtr Int -> IO Int
d x = _ccall_ d x
-cc002.hs:11: No instance for: `Foreign.CReturnable Foreign.ForeignObj'
- arising from the result of the _ccall_ to a at cc002.hs:11
+cc002.hs:10: No instance for: `CReturnable ForeignObj'
+ arising from the result of the _ccall_ to a at cc002.hs:10
When checking signature(s) for: `a'
Compilation had errors
--!!! cc004 -- ccall with synonyms, polymorphic type variables and user type variables.
module Test where
-import GlaExts
-
-- Since I messed up the handling of polymorphism originally, I'll
-- explicitly test code with UserSysTyVar (ie an explicit polymorphic
-- signature)
-foo = _ccall_ f `thenADR` \ a -> returnPrimIO (a + 1)
+foo = _ccall_ f `thenADR` \ a -> return (a + 1)
where
- thenADR :: PrimIO a -> (a -> PrimIO b) -> PrimIO b
- thenADR = thenPrimIO
+ thenADR :: IO a -> (a -> IO b) -> IO b
+ thenADR = (>>=)
-- and with a PolySysTyVar (ie no explicit signature)
-bar = _ccall_ f `thenADR` \ a -> returnPrimIO (a + 1)
+bar = _ccall_ f `thenADR` \ a -> return (a + 1)
where
- -- thenADR :: PrimIO a -> (a -> PrimIO b) -> PrimIO b
- thenADR = thenPrimIO
+ -- thenADR :: IO a -> (a -> IO b) -> IO b
+ thenADR = (>>=)
-- and with a type synonym
type INT = Int
-barfu :: PrimIO INT
+barfu :: IO INT
barfu = _ccall_ b
-
cc004.hs:2: Cannot generalise these overloadings (in a _ccall_):
- `Foreign.CReturnable taWY'
+ `CReturnable taLM'
cc004.hs:2: Cannot generalise these overloadings (in a _ccall_):
- `Foreign.CReturnable taXF'
+ `CReturnable taMJ'
Compilation had errors
-ds002.hs:13:
- Warning: Possibly incomplete patterns
- in the definition of function `g'
-ds002.hs:8:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `f'
-ds002.hs:9:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `f'
-ds004.hs:6:
- Warning: Possibly incomplete patterns
- in the definition of function `nodups'
-ds005.hs:13:
- Warning: Possibly incomplete patterns
- in the definition of function `mappairs''
-ds015.hs:9:
- Warning: Possibly incomplete patterns
- in a lambda abstraction: `(x PrelBase.: xs) -> ...'
-ds018.hs:39:
- Warning: Possibly incomplete patterns
- in the definition of function `fa'
-ds018.hs:41:
- Warning: Possibly incomplete patterns
- in the definition of function `fb'
-ds019.hs:7:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `f'
-ds019.hs:8:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `f'
-ds020.hs:6:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `a'
-ds020.hs:9:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `b'
-ds020.hs:16:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `d'
-ds020.hs:17:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `d'
-ds020.hs:20:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `f'
NOTE: Simplifier still going after 4 iterations; bailing out.
-ds021.hs:8:
- Warning: Possibly incomplete patterns
- in the definition of function `f'
-ds022.hs:5:
- Warning: Possibly incomplete patterns
- in the definition of function `f'
-ds022.hs:10:
- Warning: Possibly incomplete patterns
- in the definition of function `g'
-ds022.hs:15:
- Warning: Possibly incomplete patterns
- in the definition of function `h'
-ds022.hs:22:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `i'
-ds022.hs:23:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `i'
-ds022.hs:20:
- Warning: Possibly incomplete patterns
- in the definition of function `i'
-ds025.hs:6:
- Warning: Possibly incomplete patterns
- in the definition of function `ehead'
-ds027.hs:9:
- Warning: Possibly incomplete patterns
- in the definition of function `/='
-ds027.hs:8:
- Warning: Possibly incomplete patterns
- in the definition of function `=='
-ds031.hs:4:
- Warning: Possibly incomplete patterns
- in the definition of function `foldPair'
-ds032.hs:12:
- Warning: Possibly incomplete patterns
- in the definition of function `flatten'
-import GlaExts
+module ShouldCompile where
+
+import GHC
data CList = CNil | CCons Int# CList
-ds036.hs:22:
- Warning: Possibly incomplete patterns
- in the definition of function `brack''
-ds036.hs:44:
- Warning: Possibly incomplete patterns
- in the definition of function `kh'
-
-NOTE: Simplifier still going after 4 iterations; bailing out.
-ds038.hs:7:
- Warning: Possibly incomplete patterns
- in the definition of function `takeList'
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d15 1 $d16 1 $d2 1 $d22 1 $d23 1 $d24 1 $d25 1 $d27 1 $d28 1 $d3 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d15 1 $d16 1 $d2 1 $d22 1 $d23 1 $d24 1 $d25 1 $d27 1 $d28 1 $d3 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
-drv003.hs:15: No explicit method nor default method for `PrelBase.=='
- in an instance declaration for `PrelBase.Eq'
+drv003.hs:15: Warning: no explicit method nor default method for `=='
+ in an instance declaration for `Eq'
-drv003.hs:12: No explicit method nor default method for `PrelBase.=='
- in an instance declaration for `PrelBase.Eq'
+drv003.hs:12: Warning: no explicit method nor default method for `=='
+ in an instance declaration for `Eq'
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d16 1 $d2 1 $d33 1 $d38 1 $d40 1 $d42 1 $d47 1 $d8 1 $m/= 1 && 1 not 1 Eq 1 Eval 1;
PrelNum 1 :: $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d15 1 $d16 1 $d2 1 $d27 1 $d28 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d40 1 $d42 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 . 1 not 1 Eq 1 Eval 1 Ord 1 Ordering 1 String 1;
PrelNum 1 :: $d17 1 $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d14 1 $d2 1 $d26 1 $d31 1 $d38 1 $d40 1 $d42 1 $d45 1 $d47 1 $d6 1 $menumFromThenTo 1 $menumFromTo 1 Enum 1 Eval 1 Functor 1;
PrelNum 1 :: $d8 1;
-
-NOTE: Simplifier still going after 4 iterations; bailing out.
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
Ix 1 :: $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Ordering 1 Show 1 ShowS 1 String 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
Ix 1 :: $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Ordering 1 Show 1 ShowS 1 String 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
Ix 1 :: $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Ordering 1 Show 1 ShowS 1 String 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d14 1 $d2 1 $d26 1 $d31 1 $d38 1 $d40 1 $d42 1 $d45 1 $d47 1 $d6 1 $menumFromThenTo 1 $menumFromTo 1 Enum 1 Eval 1 Functor 1;
PrelNum 1 :: $d8 1;
-drvfail004.hs:5: No instance for: `PrelBase.Eq (Foo taDR taDS)'
+drvfail004.hs:5: No instance for: `Eq (Foo taGu taGv)'
arising from an instance declaration at drvfail004.hs:5
When checking superclass constraints of an instance declaration
-drvfail007.hs:2: No instance for: `PrelBase.Eq (PrelBase.Int
- -> PrelBase.Int)'
+drvfail007.hs:2: No instance for: `Eq (Int -> Int)'
When deriving classes for `Foo'
-drvfail007.hs:2: No instance for: `PrelBase.Eq (PrelBase.Int
- -> PrelBase.Int)'
+drvfail007.hs:2: No instance for: `Eq (Int -> Int)'
When deriving classes for `Foo'
Compilation had errors
main =
getEnv "TERM" >>= \ term ->
- putStr term >>
+ putStr "Got $TERM" >>
putChar '\n' >>
getEnv "One fish, two fish, red fish, blue fish" >>= \ fish ->
putStr fish >>
putChar '\n'
-
-
-
-
import IO -- 1.3
import Directory
-import GlaExts (trace)
+import IOExts (trace)
main =
createDirectory "foo" >>
==================== Typechecked ====================
-BarNil{-r8,x-}{i} = _/\_ a_tr4F -> BarNil{-r8,x-}{i} {_@_ a_tr4F}
+BarNil{-r8,x-}{i} = _/\_ a_tr4J -> BarNil{-r8,x-}{i} {_@_ a_tr4J}
BarCon{-r7,x-}{i} =
- _/\_ a_tr4F -> \ tpl_B1 tpl_B2 ->
- BarCon{-r7,x-}{i} {_@_ a_tr4F tpl_B1 tpl_B2}
-MkFoo{-r4M,x-}{i} =
- _/\_ d_tr4H e_tr4I f_tr4J -> \ tpl_B1 tpl_B2 tpl_B3 ->
- MkFoo{-r4M,x-}{i}
- {_@_ d_tr4H _@_ e_tr4I _@_ f_tr4J tpl_B1 tpl_B2 tpl_B3}
-AbsBinds [taYm, taYn] [] [([taYn, taYm], g{-r4w,x-}, g_aYj)]
- g_aYj x_r4D = lit_aZz
+ _/\_ a_tr4J -> \ tpl_B1 tpl_B2 ->
+ BarCon{-r7,x-}{i} {_@_ a_tr4J tpl_B1 tpl_B2}
+MkFoo{-r4Q,x-}{i} =
+ _/\_ d_tr4L e_tr4M f_tr4N -> \ tpl_B1 tpl_B2 tpl_B3 ->
+ MkFoo{-r4Q,x-}{i}
+ {_@_ d_tr4L _@_ e_tr4M _@_ f_tr4N tpl_B1 tpl_B2 tpl_B3}
+AbsBinds [ta118, ta119] [] [([ta119, ta118], g{-r4A,x-}, g_a12b)]
+ g_a12b x_r4H = lit_a12j
AbsBinds
-[taYB, taYC, taYD]
-[d.Eq_aYF, d.Ord_aYG, d.Ix_aYH]
-[([taYB, taYC, taYD], f2{-r4v,x-}, f2_aYy)]
- f2_aYy x_r4B = x_r4B
+[ta11m, ta11n, ta11o]
+[d.Eq_a11q, d.Ord_a11r, d.Ix_a11s]
+[([ta11m, ta11n, ta11o], f2{-r4z,x-}, f2_a12k)]
+ f2_a12k x_r4F = x_r4F
AbsBinds
-[taYS, taYT, taYU]
-[d.Eq_aYW]
-[([taYS, taYT, taYU], f{-r4u,x-}, f_aYP)]
- f_aYP x_r4z = x_r4z
+[ta11C, ta11D, ta11E]
+[d.Eq_a11G]
+[([ta11C, ta11D, ta11E], f{-r4y,x-}, f_a12l)]
+ f_a12l x_r4D = x_r4D
AbsBinds
-[taZ2, taZ4, taZ6]
+[ta11L, ta11N, ta11P]
[]
-[([taZ2, taZ4, taZ6], mkFoo{-r4x,x-}, mkFoo_aYY)]
- mkFoo_aYY = MkFoo{-r4M,x-}{i} [taZ2, taZ4, taZ6]
-AbsBinds [taZo] [] [([taZo], $d1{-rZv,x-}, d.Eval_aZc)]
- d.Eval_aZc = ({-dict-} [] [])
+[([ta11L, ta11N, ta11P], mkFoo{-r4B,x-}, mkFoo_a12m)]
+ mkFoo_a12m = MkFoo{-r4Q,x-}{i} [ta11L, ta11N, ta11P]
+AbsBinds [ta127] [] [([ta127], $d1{-r12f,x-}, d.Eval_a11V)]
+ d.Eval_a11V = ({-dict-} [] [])
AbsBinds
-[taZp, taZq, taZr]
+[ta128, ta129, ta12a]
[]
-[([taZp, taZq, taZr], $d2{-rZx,x-}, d.Eval_aZk)]
- d.Eval_aZk = ({-dict-} [] [])
-d.Fractional_aZn = PrelNum.$d23{-rES,p-}
-fromRational_aZy =
- PrelNum.fromRational{-8T,p-} PrelBase.Float{-3c,W-}
- d.Fractional_aZn
-lit_aZz = fromRational_aZy 2.0000000000000000
+[([ta128, ta129, ta12a], $d2{-r12h,x-}, d.Eval_a123)]
+ d.Eval_a123 = ({-dict-} [] [])
+d.Fractional_a126 = PrelNum.$d23{-rFn,p-}
+fromRational_a12i =
+ PrelNum.fromRational{-8U,p-} PrelBase.Float{-3c,W-}
+ d.Fractional_a126
+lit_a12j = fromRational_a12i 2.0000000000000000
ghc: module version changed to 1; reason: no old .hi file
_interface_ Print001 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
Ix 1 :: $d3 1 $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d41 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Enum 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
:***{-ro,x-}{i} =
_/\_ a_tr4k b_tr4l c_tr4m -> \ tpl_B1 tpl_B2 ->
:***{-ro,x-}{i} {_@_ a_tr4k _@_ b_tr4l _@_ c_tr4m tpl_B1 tpl_B2}
-AbsBinds [taFT] [d.Bar_aFW] [([taFT], f3d{-r4o,x-}, f3d_aFD)]
- /////_aRB = /////{-r4C,x-} taFT d.Bar_aFW
- f3d_aFD x_r48 y_r49 = x_r48 /////_aRB y_r49
-AbsBinds [taGe] [d.Bar_aGh] [([taGe], f3c{-r4p,x-}, f3c_aFY)]
- /////_aRG = /////{-r4C,x-} taGe d.Bar_aGh
- f3c_aFY x_r45 y_r46 = /////_aRG x_r45 y_r46
-AbsBinds [taGz] [d.Bar_aGC] [([taGz], f3b{-r4q,x-}, f3b_aGj)]
- meth1_aRH = meth1{-r4B,x-} taGz d.Bar_aGC
- f3b_aGj x_r42 y_r43 = x_r42 meth1_aRH y_r43
-AbsBinds [taGU] [d.Bar_aGX] [([taGU], f3a{-r4r,x-}, f3a_aGE)]
- meth1_aRI = meth1{-r4B,x-} taGU d.Bar_aGX
- f3a_aGE x_r3Z y_r40 = meth1_aRI x_r3Z y_r40
+AbsBinds [taIx] [d.Bar_aIA] [([taIx], f3d{-r4o,x-}, f3d_aTU)]
+ /////_aTV = /////{-r4C,x-} taIx d.Bar_aIA
+ f3d_aTU x_r48 y_r49 = x_r48 /////_aTV y_r49
+AbsBinds [taIR] [d.Bar_aIU] [([taIR], f3c{-r4p,x-}, f3c_aU0)]
+ /////_aU1 = /////{-r4C,x-} taIR d.Bar_aIU
+ f3c_aU0 x_r45 y_r46 = /////_aU1 x_r45 y_r46
+AbsBinds [taJb] [d.Bar_aJe] [([taJb], f3b{-r4q,x-}, f3b_aU2)]
+ meth1_aU3 = meth1{-r4B,x-} taJb d.Bar_aJe
+ f3b_aU2 x_r42 y_r43 = x_r42 meth1_aU3 y_r43
+AbsBinds [taJv] [d.Bar_aJy] [([taJv], f3a{-r4r,x-}, f3a_aU4)]
+ meth1_aU5 = meth1{-r4B,x-} taJv d.Bar_aJy
+ f3a_aU4 x_r3Z y_r40 = meth1_aU5 x_r3Z y_r40
AbsBinds
-[taHp, taHr, taHt]
+[taJZ, taK1, taK3]
[]
-[([taHp, taHr, taHt], <<<<{-r4s,x-}, <<<<_aGZ)]
- <<<<_aGZ x_r3T y_r3U
- = :***{-ro,x-}{i} [taHp, taHr, taHt] x_r3T y_r3U
- <<<<_aGZ x_r3W y_r3X
- = :***{-ro,x-}{i} [taHp, taHr, taHt] x_r3W y_r3X
+[([taJZ, taK1, taK3], <<<<{-r4s,x-}, <<<<_aU6)]
+ <<<<_aU6 x_r3T y_r3U
+ = :***{-ro,x-}{i} [taJZ, taK1, taK3] x_r3T y_r3U
+ <<<<_aU6 x_r3W y_r3X
+ = :***{-ro,x-}{i} [taJZ, taK1, taK3] x_r3W y_r3X
AbsBinds
-[taHL, taHN, taHP]
+[taKk, taKm, taKo]
[]
-[([taHL, taHN, taHP], .....{-r4t,x-}, ....._aHv)]
- ....._aHv x_r3Q y_r3R
- = MkFoo3{-rm,x-}{i} [taHL, taHN, taHP] x_r3Q y_r3R
+[([taKk, taKm, taKo], .....{-r4t,x-}, ....._aU7)]
+ ....._aU7 x_r3Q y_r3R
+ = MkFoo3{-rm,x-}{i} [taKk, taKm, taKo] x_r3Q y_r3R
AbsBinds
-[taI7, taI9, taIb]
+[taKF, taKH, taKJ]
[]
-[([taI7, taI9, taIb], ....{-r4u,x-}, ...._aHR)]
- ...._aHR x_r3N y_r3O
- = MkFoo3{-rm,x-}{i} [taI7, taI9, taIb] x_r3N y_r3O
+[([taKF, taKH, taKJ], ....{-r4u,x-}, ...._aU8)]
+ ...._aU8 x_r3N y_r3O
+ = MkFoo3{-rm,x-}{i} [taKF, taKH, taKJ] x_r3N y_r3O
AbsBinds
-[taIt, taIv, taIx]
+[taL0, taL2, taL4]
[]
-[([taIt, taIv, taIx], f2a{-r4v,x-}, f2a_aId)]
- f2a_aId x_r3K y_r3L = :##{-rj,x-}{i} [taIt, taIv, taIx] x_r3K y_r3L
+[([taL0, taL2, taL4], f2a{-r4v,x-}, f2a_aU9)]
+ f2a_aU9 x_r3K y_r3L = :##{-rj,x-}{i} [taL0, taL2, taL4] x_r3K y_r3L
AbsBinds
-[taIP, taIR, taIT]
+[taLl, taLn, taLp]
[]
-[([taIP, taIR, taIT], f2{-r4w,x-}, f2_aIz)]
- f2_aIz x_r3H y_r3I = :##{-rj,x-}{i} [taIP, taIR, taIT] x_r3H y_r3I
+[([taLl, taLn, taLp], f2{-r4w,x-}, f2_aUa)]
+ f2_aUa x_r3H y_r3I = :##{-rj,x-}{i} [taLl, taLn, taLp] x_r3H y_r3I
AbsBinds
-[taJb, taJd, taJf]
+[taLG, taLI, taLK]
[]
-[([taJb, taJd, taJf], f1a{-r4x,x-}, f1a_aIV)]
- f1a_aIV x_r3E y_r3F
- = MkFoo1{-rk,x-}{i} [taJb, taJd, taJf] x_r3E y_r3F
+[([taLG, taLI, taLK], f1a{-r4x,x-}, f1a_aUb)]
+ f1a_aUb x_r3E y_r3F
+ = MkFoo1{-rk,x-}{i} [taLG, taLI, taLK] x_r3E y_r3F
AbsBinds
-[taJx, taJz, taJB]
+[taM1, taM3, taM5]
[]
-[([taJx, taJz, taJB], f1{-r4y,x-}, f1_aJh)]
- f1_aJh x_r3B y_r3C
- = MkFoo1{-rk,x-}{i} [taJx, taJz, taJB] x_r3B y_r3C
+[([taM1, taM3, taM5], f1{-r4y,x-}, f1_aUc)]
+ f1_aUc x_r3B y_r3C
+ = MkFoo1{-rk,x-}{i} [taM1, taM3, taM5] x_r3B y_r3C
AbsBinds
-[taKj, taKm, taKn]
+[taMM, taMP, taMQ]
[]
-[([taKj, taKm, taKn], con2tag_Foo#_rD5, con2tag_Foo#_aJD)]
- con2tag_Foo#_aJD (MkFoo1{-rk,x-}{i} _ _) = 0#
- con2tag_Foo#_aJD (:##{-rj,x-}{i} _ _) = 1#
- con2tag_Foo#_aJD (MkFoo3{-rm,x-}{i} _ _) = 2#
- con2tag_Foo#_aJD (:***{-ro,x-}{i} _ _) = 3#
+[([taMM, taMP, taMQ], con2tag_Foo#_rFK, con2tag_Foo#_aUd)]
+ con2tag_Foo#_aUd (MkFoo1{-rk,x-}{i} _ _) = 0#
+ con2tag_Foo#_aUd (:##{-rj,x-}{i} _ _) = 1#
+ con2tag_Foo#_aUd (MkFoo3{-rm,x-}{i} _ _) = 2#
+ con2tag_Foo#_aUd (:***{-ro,x-}{i} _ _) = 3#
AbsBinds
-[taKG, taKJ, taKM]
-[d.Eq_aMy, d.Eq_aMz, d.Eq_aMA]
-[([taKG, taKJ, taKM], $d1{-rRC,x-}, d.Eq_aKv)]
- d.Eq_aME = d.Eq_aMy
- ==_aRJ = PrelBase.=={-8Y,p-} taKG d.Eq_aME
- d.Eq_aMG = d.Eq_aMz
- ==_aRK = PrelBase.=={-8Y,p-} taKJ d.Eq_aMG
- d.Eq_aMI = d.Eq_aMA
- ==_aRL = PrelBase.=={-8Y,p-} taKM d.Eq_aMI
- ==_aRM = ==_aRN
- AbsBinds [] [] [([], ==_aRN, ==_aKz)]
- ==_aRP = ==_aRJ
- ==_aRQ = ==_aRK
- ==_aRR = ==_aRK
- ==_aRS = ==_aRL
- ==_aRT = ==_aRL
- ==_aKz (MkFoo1{-rk,x-}{i} a1_rDe a2_rDf)
- (MkFoo1{-rk,x-}{i} b1_rDg b2_rDh)
- = (a1_rDe ==_aRJ b1_rDg)
- PrelBase.&&{-rgs,p-} (a2_rDf ==_aRP b2_rDh)
- ==_aKz (:##{-rj,x-}{i} a1_rDj a2_rDk)
- (:##{-rj,x-}{i} b1_rDl b2_rDm)
- = (a1_rDj ==_aRK b1_rDl)
- PrelBase.&&{-rgs,p-} (a2_rDk ==_aRL b2_rDm)
- ==_aKz (MkFoo3{-rm,x-}{i} a1_rDo a2_rDp)
- (MkFoo3{-rm,x-}{i} b1_rDq b2_rDr)
- = (a1_rDo ==_aRQ b1_rDq)
- PrelBase.&&{-rgs,p-} (a2_rDp ==_aRR b2_rDr)
- ==_aKz (:***{-ro,x-}{i} a1_rDt a2_rDu)
- (:***{-ro,x-}{i} b1_rDv b2_rDw)
- = (a1_rDt ==_aRS b1_rDv)
- PrelBase.&&{-rgs,p-} (a2_rDu ==_aRT b2_rDw)
- ==_aKz a_rDy b_rDz = PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], /=_aRO, /=_aMr)]
- /=_aMr a_rDD b_rDE = PrelBase.not{-rhq,p-} ==_aRM a_rDD b_rDE
- d.Eq_aKv = ({-dict-} [] [==_aRN, /=_aRO])
+[taN8, taNb, taNe]
+[d.Eq_aOZ, d.Eq_aP0, d.Eq_aP1]
+[([taN8, taNb, taNe], $d1{-rTW,x-}, d.Eq_aMY)]
+ d.Eq_aP5 = d.Eq_aOZ
+ ==_aUe = PrelBase.=={-8Z,p-} taN8 d.Eq_aP5
+ d.Eq_aP7 = d.Eq_aP0
+ ==_aUf = PrelBase.=={-8Z,p-} taNb d.Eq_aP7
+ d.Eq_aP9 = d.Eq_aP1
+ ==_aUg = PrelBase.=={-8Z,p-} taNe d.Eq_aP9
+ ==_aUh = ==_aUi
+ AbsBinds [] [] [([], ==_aUi, ==_aUk)]
+ ==_aUl = ==_aUe
+ ==_aUm = ==_aUf
+ ==_aUn = ==_aUf
+ ==_aUo = ==_aUg
+ ==_aUp = ==_aUg
+ ==_aUk (MkFoo1{-rk,x-}{i} a1_rFT a2_rFU)
+ (MkFoo1{-rk,x-}{i} b1_rFV b2_rFW)
+ = (a1_rFT ==_aUe b1_rFV)
+ PrelBase.&&{-rgw,p-} (a2_rFU ==_aUl b2_rFW)
+ ==_aUk (:##{-rj,x-}{i} a1_rFY a2_rFZ)
+ (:##{-rj,x-}{i} b1_rG0 b2_rG1)
+ = (a1_rFY ==_aUf b1_rG0)
+ PrelBase.&&{-rgw,p-} (a2_rFZ ==_aUg b2_rG1)
+ ==_aUk (MkFoo3{-rm,x-}{i} a1_rG3 a2_rG4)
+ (MkFoo3{-rm,x-}{i} b1_rG5 b2_rG6)
+ = (a1_rG3 ==_aUm b1_rG5)
+ PrelBase.&&{-rgw,p-} (a2_rG4 ==_aUn b2_rG6)
+ ==_aUk (:***{-ro,x-}{i} a1_rG8 a2_rG9)
+ (:***{-ro,x-}{i} b1_rGa b2_rGb)
+ = (a1_rG8 ==_aUo b1_rGa)
+ PrelBase.&&{-rgw,p-} (a2_rG9 ==_aUp b2_rGb)
+ ==_aUk a_rGd b_rGe = PrelBase.False{-58,w-}{i}
+ AbsBinds [] [] [([], /=_aUj, /=_aUq)]
+ /=_aUq a_rGi b_rGj = PrelBase.not{-rhu,p-} ==_aUh a_rGi b_rGj
+ d.Eq_aMY = ({-dict-} [] [==_aUi, /=_aUj])
AbsBinds
-[taRw, taRx, taRy]
+[taTP, taTQ, taTR]
[]
-[([taRw, taRx, taRy], $d2{-rRD,x-}, d.Eval_aMT)]
- d.Eval_aMT = ({-dict-} [] [])
+[([taTP, taTQ, taTR], $d2{-rTX,x-}, d.Eval_aPk)]
+ d.Eval_aPk = ({-dict-} [] [])
AbsBinds
-[taN8, taN9, taNa]
-[d.Ord_aRa, d.Ord_aRb, d.Ord_aRc, d.Eq_aRd]
-[([taN8, taN9, taNa], $d3{-rRE,x-}, d.Ord_aN1)]
- d.Eq_aR9 = d.Eq_aRd
- d.Ord_aPR = d.Ord_aRa
- d.Ord_aPS = d.Ord_aRb
- d.Ord_aPT = d.Ord_aRc
- compare_aRU = compare_aS0
- compare_aRV = compare_aS0
- compare_aRW = compare_aS0
- compare_aRX = compare_aS0
- compare_aRY = compare_aS0
- compare_aRZ = compare_aS0
- AbsBinds [] [] [([], compare_aS0, compare_aN5)]
- compare_aN5 a_rEw b_rEx
- = case con2tag_Foo#_rD5 [taNa, taN8, taN9] a_rEw of
- a#_rFk
- -> case con2tag_Foo#_rD5 [taNa, taN8, taN9] b_rEx of
- b#_rFm
- -> if a#_rFk GHC.==#{-79,w-}{I} b#_rFm then
- case cmp_eq_aS7 a_rEw b_rEx of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.LT{-rb5,p-}{i}
+[taPy, taPz, taPA]
+[d.Ord_aTt, d.Ord_aTu, d.Ord_aTv, d.Eq_aTw]
+[([taPy, taPz, taPA], $d3{-rTY,x-}, d.Ord_aPs)]
+ d.Eq_aTs = d.Eq_aTw
+ d.Ord_aSg = d.Ord_aTt
+ d.Ord_aSh = d.Ord_aTu
+ d.Ord_aSi = d.Ord_aTv
+ compare_aUr = compare_aUx
+ compare_aUs = compare_aUx
+ compare_aUt = compare_aUx
+ compare_aUu = compare_aUx
+ compare_aUv = compare_aUx
+ compare_aUw = compare_aUx
+ AbsBinds [] [] [([], compare_aUx, compare_aUE)]
+ compare_aUE a_rHb b_rHc
+ = case con2tag_Foo#_rFK [taPA, taPy, taPz] a_rHb of
+ a#_rHZ
+ -> case con2tag_Foo#_rFK [taPA, taPy, taPz] b_rHc of
+ b#_rI1
+ -> if a#_rHZ GHC.==#{-79,w-}{I} b#_rI1 then
+ case cmp_eq_aUF a_rHb b_rHc of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.GT{-rb6,p-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
else
- if a#_rFk GHC.<#{-7b,w-}{I} b#_rFm then
- PrelBase.LT{-rb5,p-}{i}
+ if a#_rHZ GHC.<#{-7b,w-}{I} b#_rI1 then
+ PrelBase.LT{-rb7,p-}{i}
else
- PrelBase.GT{-rb6,p-}{i}
+ PrelBase.GT{-rb8,p-}{i}
where
{- nonrec -}
AbsBinds
- [taP3, taP4, taPb]
- [d.Ord_aPj, d.Ord_aPl, d.Ord_aPn]
- [([taP3, taP4, taPb], cmp_eq_rEz, cmp_eq_aNe)]
- compare_aS8 = PrelBase.compare{-rgH,p-} taP3 d.Ord_aPj
- compare_aS9 = compare_aS8
- compare_aSa = PrelBase.compare{-rgH,p-} taP4 d.Ord_aPl
- compare_aSb = PrelBase.compare{-rgH,p-} taPb d.Ord_aPn
- compare_aSc = compare_aSa
- compare_aSd = compare_aSa
- compare_aSe = compare_aSb
- compare_aSf = compare_aSb
- cmp_eq_aNe (MkFoo1{-rk,x-}{i} a1_rEB a2_rEC)
- (MkFoo1{-rk,x-}{i} b1_rED b2_rEE)
- = case compare_aS8 a1_rEB b1_rED of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.LT{-rb5,p-}{i}
+ [taRs, taRt, taRA]
+ [d.Ord_aRI, d.Ord_aRK, d.Ord_aRM]
+ [([taRs, taRt, taRA], cmp_eq_rHe, cmp_eq_aUG)]
+ compare_aUH = PrelBase.compare{-rgL,p-} taRs d.Ord_aRI
+ compare_aUI = compare_aUH
+ compare_aUJ = PrelBase.compare{-rgL,p-} taRt d.Ord_aRK
+ compare_aUK = PrelBase.compare{-rgL,p-} taRA d.Ord_aRM
+ compare_aUL = compare_aUJ
+ compare_aUM = compare_aUJ
+ compare_aUN = compare_aUK
+ compare_aUO = compare_aUK
+ cmp_eq_aUG (MkFoo1{-rk,x-}{i} a1_rHg a2_rHh)
+ (MkFoo1{-rk,x-}{i} b1_rHi b2_rHj)
+ = case compare_aUH a1_rHg b1_rHi of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.EQ{-r4n,p-}{i}
- -> case compare_aS9 a2_rEC b2_rEE of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.LT{-rb5,p-}{i}
+ -> case compare_aUI a2_rHh b2_rHj of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.GT{-rb6,p-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.GT{-rb6,p-}{i}
- cmp_eq_aNe (:##{-rj,x-}{i} a1_rEM a2_rEN)
- (:##{-rj,x-}{i} b1_rEO b2_rEP)
- = case compare_aSa a1_rEM b1_rEO of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.LT{-rb5,p-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
+ cmp_eq_aUG (:##{-rj,x-}{i} a1_rHr a2_rHs)
+ (:##{-rj,x-}{i} b1_rHt b2_rHu)
+ = case compare_aUJ a1_rHr b1_rHt of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.EQ{-r4n,p-}{i}
- -> case compare_aSb a2_rEN b2_rEP of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.LT{-rb5,p-}{i}
+ -> case compare_aUK a2_rHs b2_rHu of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.GT{-rb6,p-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.GT{-rb6,p-}{i}
- cmp_eq_aNe (MkFoo3{-rm,x-}{i} a1_rEX a2_rEY)
- (MkFoo3{-rm,x-}{i} b1_rEZ b2_rF0)
- = case compare_aSc a1_rEX b1_rEZ of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.LT{-rb5,p-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
+ cmp_eq_aUG (MkFoo3{-rm,x-}{i} a1_rHC a2_rHD)
+ (MkFoo3{-rm,x-}{i} b1_rHE b2_rHF)
+ = case compare_aUL a1_rHC b1_rHE of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.EQ{-r4n,p-}{i}
- -> case compare_aSd a2_rEY b2_rF0 of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.LT{-rb5,p-}{i}
+ -> case compare_aUM a2_rHD b2_rHF of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.GT{-rb6,p-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.GT{-rb6,p-}{i}
- cmp_eq_aNe (:***{-ro,x-}{i} a1_rF8 a2_rF9)
- (:***{-ro,x-}{i} b1_rFa b2_rFb)
- = case compare_aSe a1_rF8 b1_rFa of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.LT{-rb5,p-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
+ cmp_eq_aUG (:***{-ro,x-}{i} a1_rHN a2_rHO)
+ (:***{-ro,x-}{i} b1_rHP b2_rHQ)
+ = case compare_aUN a1_rHN b1_rHP of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.EQ{-r4n,p-}{i}
- -> case compare_aSf a2_rF9 b2_rFb of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.LT{-rb5,p-}{i}
+ -> case compare_aUO a2_rHO b2_rHQ of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.LT{-rb7,p-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.GT{-rb6,p-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.GT{-rb6,p-}{i}
- cmp_eq_aNe _ _
- = IOBase.error{-87,w-}
- PrelBase.Ordering{-3o,p-} "Urk! in TcGenDeriv"
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.GT{-rb8,p-}{i}
+ cmp_eq_aUG _ _
+ = Error.error{-87,w-}
+ PrelBase.Ordering{-3n,p-} "Urk! in TcGenDeriv"
{- nonrec -}
- cmp_eq_aS7 =
- cmp_eq_rEz [taN8, taN9, taNa] [d.Ord_aPR, d.Ord_aPS, d.Ord_aPT]
+ cmp_eq_aUF =
+ cmp_eq_rHe [taPy, taPz, taPA] [d.Ord_aSg, d.Ord_aSh, d.Ord_aSi]
{- nonrec -}
- AbsBinds [] [] [([], <_aS1, <_aPY)]
- <_aPY a_rDK b_rDL
- = case compare_aRU a_rDK b_rDL of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.True{-5E,w-}{i}
+ AbsBinds [] [] [([], <_aUy, <_aUP)]
+ <_aUP a_rGp b_rGq
+ = case compare_aUr a_rGp b_rGq of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.True{-5E,w-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.False{-58,w-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], <=_aS2, <=_aQb)]
- <=_aQb a_rDS b_rDT
- = case compare_aRV a_rDS b_rDT of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.True{-5E,w-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.False{-58,w-}{i}
+ AbsBinds [] [] [([], <=_aUz, <=_aUQ)]
+ <=_aUQ a_rGx b_rGy
+ = case compare_aUs a_rGx b_rGy of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.True{-5E,w-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.True{-5E,w-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.False{-58,w-}{i}
- AbsBinds [] [] [([], >=_aS3, >=_aQo)]
- >=_aQo a_rE0 b_rE1
- = case compare_aRW a_rE0 b_rE1 of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.False{-58,w-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.False{-58,w-}{i}
+ AbsBinds [] [] [([], >=_aUA, >=_aUR)]
+ >=_aUR a_rGF b_rGG
+ = case compare_aUt a_rGF b_rGG of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.False{-58,w-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.True{-5E,w-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.True{-5E,w-}{i}
- AbsBinds [] [] [([], >_aS4, >_aQB)]
- >_aQB a_rE8 b_rE9
- = case compare_aRX a_rE8 b_rE9 of
- PrelBase.LT{-rb5,p-}{i} -> PrelBase.False{-58,w-}{i}
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.True{-5E,w-}{i}
+ AbsBinds [] [] [([], >_aUB, >_aUS)]
+ >_aUS a_rGN b_rGO
+ = case compare_aUu a_rGN b_rGO of
+ PrelBase.LT{-rb7,p-}{i} -> PrelBase.False{-58,w-}{i}
PrelBase.EQ{-r4n,p-}{i} -> PrelBase.False{-58,w-}{i}
- PrelBase.GT{-rb6,p-}{i} -> PrelBase.True{-5E,w-}{i}
- AbsBinds [] [] [([], max_aS5, max_aQO)]
- max_aQO a_rEg b_rEh
- = case compare_aRY a_rEg b_rEh of
- PrelBase.LT{-rb5,p-}{i} -> b_rEh
- PrelBase.EQ{-r4n,p-}{i} -> a_rEg
- PrelBase.GT{-rb6,p-}{i} -> a_rEg
- AbsBinds [] [] [([], min_aS6, min_aR1)]
- min_aR1 a_rEo b_rEp
- = case compare_aRZ a_rEo b_rEp of
- PrelBase.LT{-rb5,p-}{i} -> a_rEo
- PrelBase.EQ{-r4n,p-}{i} -> b_rEp
- PrelBase.GT{-rb6,p-}{i} -> b_rEp
- d.Ord_aN1 =
+ PrelBase.GT{-rb8,p-}{i} -> PrelBase.True{-5E,w-}{i}
+ AbsBinds [] [] [([], max_aUC, max_aUT)]
+ max_aUT a_rGV b_rGW
+ = case compare_aUv a_rGV b_rGW of
+ PrelBase.LT{-rb7,p-}{i} -> b_rGW
+ PrelBase.EQ{-r4n,p-}{i} -> a_rGV
+ PrelBase.GT{-rb8,p-}{i} -> a_rGV
+ AbsBinds [] [] [([], min_aUD, min_aUU)]
+ min_aUU a_rH3 b_rH4
+ = case compare_aUw a_rH3 b_rH4 of
+ PrelBase.LT{-rb7,p-}{i} -> a_rH3
+ PrelBase.EQ{-r4n,p-}{i} -> b_rH4
+ PrelBase.GT{-rb8,p-}{i} -> b_rH4
+ d.Ord_aPs =
({-dict-}
- [d.Eq_aR9]
- [compare_aS0, <_aS1, <=_aS2, >=_aS3, >_aS4, max_aS5, min_aS6])
-scsel_Bar2Print002Bar{-aRF,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
-AbsBinds [taRz] [d.Bar2_aRs] []
+ [d.Eq_aTs]
+ [compare_aUx, <_aUy, <=_aUz, >=_aUA, >_aUB, max_aUC, min_aUD])
+scsel_Bar2Print002Bar{-aTZ,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
+AbsBinds [taTS] [d.Bar2_aTL] []
meth1{-r4B,x-} =
_/\_ t12 -> \ tpl_B1 ->
case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3 ->
_/\_ t12 -> \ tpl_B1 ->
case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3 ->
tpl_B3;}
-AbsBinds [taRA] [d.Bar_aRv] []
+AbsBinds [taTT] [d.Bar_aTO] []
-Print002.hs:35:
- Warning: Pattern match(es) completely overlapped
- in the definition of function `<<<<'
ghc: module version changed to 1; reason: no old .hi file
_interface_ Print002 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d15 1 $d16 1 $d2 1 $d33 1 $d35 1 $d38 1 $d40 1 $d42 1 $d46 1 $d47 1 $d50 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 . 1 not 1 Eq 1 Eval 1 Ord 1 Ordering 1;
PrelNum 1 :: $d17 1 $d18 1;
bitLsh{-r3i,x-} =
_/\_ t12 -> \ tpl_B1 ->
case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2 -> tpl_B2;}
-AbsBinds [takI] [d.Bits_akH] []
+AbsBinds [tamf] [d.Bits_ame] []
ghc: module version changed to 1; reason: no old .hi file
_interface_ Word 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
Word Bits(bitRsh bitLsh);
_fixities_
-Print004.hs:18: No explicit method nor default method for `PrelBase.showsPrec'
- in an instance declaration for `PrelBase.Show'
+Print004.hs:18: Warning: no explicit method nor default method for `showsPrec'
+ in an instance declaration for `Show'
==================== Typechecked ====================
Con{-r6u,l-}{i} =
_/\_ a_tr6C -> \ tpl_B1 -> Con{-r6u,l-}{i} {_@_ a_tr6C tpl_B1}
Junk11{-r4,l-}{i} = _/\_ a_tr6A -> Junk11{-r4,l-}{i} {_@_ a_tr6A}
Junk2{-r3,l-}{i} = _/\_ a_tr6A -> Junk2{-r3,l-}{i} {_@_ a_tr6A}
-AbsBinds [taFU] [] [([taFU], $d2{-rFW,x-}, d.Eval_aEz)]
- d.Eval_aEz = ({-dict-} [] [])
-AbsBinds [taFV] [] [([taFV], $d3{-rFX,x-}, d.Eval_aEF)]
- d.Eval_aEF = ({-dict-} [] [])
-AbsBinds [taEV] [d.Ord_aFg] [([taEV], $d4{-rFY,x-}, d.Show_aEL)]
- d.Ord_aFo = d.Ord_aFg
- d.Show_aFm = $d1{-rFZ,x-} taEV d.Ord_aFo
- showsPrec_aG2 =
- PrelBase.showsPrec{-r2c,p-} (FunnyInternalType{-r6v,l-} taEV)
- d.Show_aFm
- showsPrec_aG3 = showsPrec_aG4
- AbsBinds [] [] [([], showsPrec_aG4, showsPrec_aEP)]
- showsPrec_aEP a_rDS (Con{-r6u,l-}{i} b1_rDT)
- = PrelBase.showParen{-r16,p-} a_rDS >=_aG0 lit_aG1
+AbsBinds [taIv] [] [([taIv], $d2{-rIx,x-}, d.Eval_aHe)]
+ d.Eval_aHe = ({-dict-} [] [])
+AbsBinds [taIw] [] [([taIw], $d3{-rIy,x-}, d.Eval_aHk)]
+ d.Eval_aHk = ({-dict-} [] [])
+AbsBinds [taHz] [d.Ord_aHT] [([taHz], $d4{-rIz,x-}, d.Show_aHq)]
+ d.Ord_aI1 = d.Ord_aHT
+ d.Show_aHZ = $d1{-rIA,x-} taHz d.Ord_aI1
+ showsPrec_aID =
+ PrelBase.showsPrec{-r2c,p-} (FunnyInternalType{-r6v,l-} taHz)
+ d.Show_aHZ
+ showsPrec_aIE = showsPrec_aIF
+ AbsBinds [] [] [([], showsPrec_aIF, showsPrec_aIH)]
+ showsPrec_aIH a_rGx (Con{-r6u,l-}{i} b1_rGy)
+ = PrelBase.showParen{-r16,p-} a_rGx >=_aIB lit_aIC
PrelBase..{-rI,p-}
[PrelBase.String{-r2i,p-}, PrelBase.String{-r2i,p-}, PrelBase.String{-r2i,p-}] PrelBase.showString{-r18,p-} "Con "
- showsPrec_aG2 PrelBase.I#{-5b,w-}{i} 10#
- b1_rDT
- AbsBinds [] [] [([], showList_aG5, showList_aFb)]
- showList_aFb = PrelBase.showList__{-r6F,p-}
- (OpaqueType{-r6,x-} taEV) showsPrec_aG3 PrelBase.I#{-5b,w-}{i} 0#
- d.Show_aEL = ({-dict-} [] [showsPrec_aG4, showList_aG5])
-AbsBinds [taFD] [d.Ord_aFM] [([taFD], $d1{-rFZ,x-}, d.Show_aFv)]
- d.Show_aFQ = d.Show_aFv
- $mshowList_aG6 =
- PrelBase.$mshowList{-rif,p-} (FunnyInternalType{-r6v,l-} taFD)
- d.Show_aFQ
- AbsBinds [] [] [([], showsPrec_aG7, showsPrec_aFA)]
- showsPrec_aFA
+ showsPrec_aID PrelBase.I#{-5b,w-}{i} 10#
+ b1_rGy
+ AbsBinds [] [] [([], showList_aIG, showList_aII)]
+ showList_aII = PrelBase.showList__{-r6F,p-}
+ (OpaqueType{-r6,x-} taHz) showsPrec_aIE PrelBase.I#{-5b,w-}{i} 0#
+ d.Show_aHq = ({-dict-} [] [showsPrec_aIF, showList_aIG])
+AbsBinds [taIf] [d.Ord_aIn] [([taIf], $d1{-rIA,x-}, d.Show_aI8)]
+ d.Show_aIr = d.Show_aI8
+ $mshowList_aIJ =
+ PrelBase.$mshowList{-rii,p-} (FunnyInternalType{-r6v,l-} taIf)
+ d.Show_aIr
+ AbsBinds [] [] [([], showsPrec_aIK, showsPrec_aIM)]
+ showsPrec_aIM
= GHCerr.noDefaultMethodError{-8k,w-}
- (PrelBase.Int{-3g,W-}
- -> FunnyInternalType{-r6v,l-} taFD
+ (PrelBase.Int{-3f,W-}
+ -> FunnyInternalType{-r6v,l-} taIf
-> PrelBase.String{-r2i,p-}
- -> PrelBase.String{-r2i,p-}) "<NoSrcLoc>|PrelBase.showsPrec"
- AbsBinds [] [] [([], showList_aG8, showList_aFJ)]
- showList_aFJ = $mshowList_aG6
- d.Show_aFv = ({-dict-} [] [showsPrec_aG7, showList_aG8])
-d.Ord_aFT = PrelBase.$d7{-rdY,p-}
->=_aG0 = PrelBase.>={-8Z,p-} PrelBase.Int{-3g,W-} d.Ord_aFT
-lit_aG1 = PrelBase.I#{-5b,w-}{i} 10#
+ -> PrelBase.String{-r2i,p-}) "<NoSrcLoc>|showsPrec"
+ AbsBinds [] [] [([], showList_aIL, showList_aIN)]
+ showList_aIN = $mshowList_aIJ
+ d.Show_aI8 = ({-dict-} [] [showsPrec_aIK, showList_aIL])
+d.Ord_aIu = PrelBase.$d7{-re0,p-}
+>=_aIB = PrelBase.>={-810,p-} PrelBase.Int{-3f,W-} d.Ord_aIu
+lit_aIC = PrelBase.I#{-5b,w-}{i} 10#
ghc: module version changed to 1; reason: no old .hi file
_interface_ ExportOpaque 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d15 1 $d16 1 $d2 1 $d22 1 $d27 1 $d28 1 $d3 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
+ ((9 *)))
+ ((* 8)))
+ (case x of
- []
+ Prelude.[]
| null x -> 99
| otherwise -> 98
| True -> 97
read003.hs:8: Cannot construct the infinite type (occur check)
- `taGL' = `(taGL, taGO, taGR)'
- Expected: `taGL'
- Inferred: `(taGL, [taH0], taGR)'
+ `taIl' = `(taIl, taIo, taIr)'
+ Expected: `taIl'
+ Inferred: `(taIl, [taIz], taIr)'
In a pattern binding:
`~(a, b, c)
| nullity b = a
| nullity c = a
- | PrelBase.otherwise = a
+ | otherwise = a
where
- nullity = PrelList.null'
+ nullity = null'
Compilation had errors
-rn022.hs:9:
- Warning: Possibly incomplete patterns
- in the definition of function `f'
-rn022.hs:11:
- Warning: Possibly incomplete patterns
- in the definition of function `g'
-rnfail007.hs:3: Module Main must include a definition for `Main.main'
+rnfail007.hs:3: Module Main must include a definition for `main'
Compilation had errors
-rnfail008.hs:18: No explicit method nor default method for `op1'
+rnfail008.hs:18: Warning: no explicit method nor default method for `op1'
in an instance declaration for `K'
-rnfail008.hs:18: No explicit method nor default method for `op2'
+rnfail008.hs:18: Warning: no explicit method nor default method for `op2'
in an instance declaration for `K'
-rnfail008.hs:14: No explicit method nor default method for `op2'
+rnfail008.hs:14: Warning: no explicit method nor default method for `op2'
in an instance declaration for `K'
rnfail008.hs:18: Class `K' does not have a method `op3'
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed f;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m>> 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Monad 1 MonadZero 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed x;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed q;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed u;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed f;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m>> 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Monad 1 MonadZero 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed f;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed a f x;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed iD main;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed k main s;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed k main s;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed g;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed f g;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed f g h;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed H;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d45 1 $d47 1 Eval 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed G H;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 Eval 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d39 1 $d40 1 $d42 1 $d45 1 $d47 1 Eval 1;
PrelTup 1 :: $d13 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 Eval 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d23 1 $d24 1 $d25 1 $d38 1 $d39 1 $d40 1 $d42 1 $d45 1 $d47 1 $m>> 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1;
PrelTup 1 :: $d13 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d16 1 $d33 1 $d8 1 $m/= 1 Eq 1;
PrelNum 1 :: $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed Eq'(deq);
_instances_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d16 1 $d33 1 $d8 1 $m/= 1 Eq 1;
PrelNum 1 :: $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d16 1 $d28 1 $d33 1 $d8 1 $m/= 1 Eq 1;
PrelNum 1 :: $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed f H(op1);
_instances_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 Eval 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: otherwise 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed B(op2) C(op1);
_instances_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed B(op2) C(op1);
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed f mp sd OL;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d45 1 $d47 1 Eval 1;
PrelTup 1 :: $d13 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d15 1 $d16 1 $d2 1 $d22 1 $d27 1 $d28 1 $d3 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed Eq'(doubleeq) Ord'(lt);
_instances_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed A B C;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 otherwise 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed x y;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed Eq2(deq);
_instances_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed Eq1(deq);
_instances_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed f Eq1(deq);
_instances_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 Eval 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 Eval 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
List 1 :: partition 1;
PrelBase 1 :: $d15 1 $d16 1 $d2 1 $d23 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d33 1 $d35 1 $d38 1 $d40 1 $d42 1 $d45 1 $d46 1 $d47 1 $d50 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mmax 1 $mmin 1 otherwise 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadPlus 1 MonadZero 1 Ord 1 Ordering 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 $m>> 1 Eval 1 Monad 1 MonadZero 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed f;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d16 1 $d2 1 $d33 1 $d38 1 $d40 1 $d42 1 $d47 1 $d8 1 $m/= 1 not 1 Eq 1 Eval 1;
PrelNum 1 :: $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed x y ys;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 Eval 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed f;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d16 1 $d2 1 $d33 1 $d38 1 $d40 1 $d42 1 $d47 1 $d8 1 $m/= 1 not 1 Eq 1 Eval 1;
PrelNum 1 :: $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d24 1 $d25 1 $m>> 1 Monad 1 MonadZero 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
-tc078.hs:7: No explicit method nor default method for `PrelBase.=='
- in an instance declaration for `PrelBase.Eq'
+tc078.hs:7: Warning: no explicit method nor default method for `=='
+ in an instance declaration for `Eq'
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldFail 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d15 1 $d16 1 $d2 1 $d33 1 $d35 1 $d38 1 $d40 1 $d42 1 $d46 1 $d47 1 $d50 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 Eq 1 Eval 1 Ord 1 Ordering 1;
PrelNum 1 :: $d17 1 $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d15 1 $d16 1 $d27 1 $d28 1 $d33 1 $d35 1 $d50 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 Eq 1 Ord 1 Ordering 1;
PrelNum 1 :: $d17 1 $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d23 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 dropWhile 1 isDigit 1 isSpace 1 ord 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadPlus 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
PrelList 1 :: all 1 length 1 null 1 tail 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d15 1 $d16 1 $d2 1 $d22 1 $d27 1 $d28 1 $d3 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: id 1;
_exports_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
--!!! From a bug report from Satnam.
--!!! To do with re-exporting importees from PreludeGla* modules.
-module ShouldSucceed ( module GlaExts ) where
+module ShouldSucceed ( module IOExts, module GHC ) where
---OLD: import PreludeGlaIO
-import GlaExts
+--OLD: import GlaExts
+--OLDER: import PreludeGlaIO
+import IOExts
+import GHC
type FooType = Int
data FooData = FooData
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
-GlaExts 1 ::;
+GHC 2 ::;
+IOExts 1 ::;
PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 Eval 1;
_exports_
-ArrBase boundsOfArray boundsOfByteArray freezeAddrArray freezeArray freezeCharArray freezeDoubleArray freezeFloatArray freezeIntArray indexAddrArray indexAddrOffAddr indexCharArray indexCharOffAddr indexDoubleArray indexDoubleOffAddr indexFloatArray indexFloatOffAddr indexIntArray indexIntOffAddr newAddrArray newArray newCharArray newDoubleArray newFloatArray newIntArray readAddrArray readArray readCharArray readDoubleArray readFloatArray readIntArray thawArray unsafeFreezeArray unsafeFreezeByteArray writeAddrArray writeArray writeCharArray writeDoubleArray writeFloatArray writeIntArray ByteArray(ByteArray) MutableArray(MutableArray) MutableByteArray(MutableByteArray);
-Foreign Addr(A#) Word(W#);
-GHC *# *## **## +# +## -# -## /## /=# /=## <# <## <=# <=## ==# ==## ># >## >=# >=## acosDouble# acosFloat# addr2Int# and# asinDouble# asinFloat# atanDouble# atanFloat# chr# cmpInteger# cosDouble# cosFloat# coshDouble# coshFloat# deRefStablePtr# decodeDouble# decodeFloat# delay# divideFloat# double2Float# double2Int# encodeDouble# encodeFloat# eqAddr# eqChar# eqFloat# eqWord# errorIO# expDouble# expFloat# float2Double# float2Int# fork# geAddr# geChar# geFloat# geWord# gtAddr# gtChar# gtFloat# gtWord# iShiftL# iShiftRA# iShiftRL# indexAddrArray# indexAddrOffAddr# indexAddrOffForeignObj# indexArray# indexCharArray# indexCharOffAddr# indexCharOffForeignObj# indexDoubleArray# indexDoubleOffAddr# indexDoubleOffForeignObj# indexFloatArray# indexFloatOffAddr# indexFloatOffForeignObj# indexIntArray# indexIntOffAddr# indexIntOffForeignObj# int2Addr# int2Double# int2Float# int2Integer# int2Word# integer2Int# leAddr# leChar# leFloat# leWord# logDouble# logFloat# ltAddr# ltChar# ltFloat# ltWord# makeForeignObj# makeStablePtr# minusFloat# minusInteger# neAddr# neChar# neFloat# neWord# negateDouble# negateFloat# negateInt# negateInteger# newAddrArray# newArray# newCharArray# newDoubleArray# newFloatArray# newIntArray# newSynchVar# not# or# ord# par# parAt# parAtForNow# parGlobal# parLocal# plusFloat# plusInteger# powerFloat# putMVar# quotInt# quotRemInteger# readAddrArray# readArray# readCharArray# readDoubleArray# readFloatArray# readIntArray# realWorld# remInt# sameMutableArray# sameMutableByteArray# seq# shiftL# shiftRA# shiftRL# sinDouble# sinFloat# sinhDouble# sinhFloat# sqrtDouble# sqrtFloat# takeMVar# tanDouble# tanFloat# tanhDouble# tanhFloat# timesFloat# timesInteger# unsafeFreezeArray# unsafeFreezeByteArray# waitRead# waitWrite# word2Int# writeAddrArray# writeArray# writeCharArray# writeDoubleArray# writeFloatArray# writeForeignObj# writeIntArray# -> Addr# All Array# ByteArray# Char# Double# Float# ForeignObj# Int# MutableArray# MutableByteArray# RealWorld StablePtr# State# SynchVar# Void Word#;
-IOBase ioToPrimIO ioToST primIOToIO seqIO_Prim stToIO thenIO_Prim trace;
-Ix Ix;
-PrelBase Char(C#) Double(D#) Float(F#) Int(I#) Integer(J#) Lift(Lift);
-STBase fixPrimIO listPrimIO mapAndUnzipPrimIO mapPrimIO returnPrimIO seqPrimIO thenPrimIO PrimIO ST;
-UnsafeST unsafeInterleavePrimIO unsafePerformPrimIO;
-_fixities_
-infixr 1 seqIO_Prim;
-infixr 1 thenIO_Prim;
+GHC *# *## **## +# +## -# -## /## /=# /=## <# <## <=# <=## ==# ==## ># >## >=# >=## acosDouble# acosFloat# addr2Int# and# asinDouble# asinFloat# atanDouble# atanFloat# chr# cmpInteger# cosDouble# cosFloat# coshDouble# coshFloat# deRefStablePtr# decodeDouble# decodeFloat# delay# divideFloat# double2Float# double2Int# encodeDouble# encodeFloat# eqAddr# eqChar# eqFloat# eqWord# errorIO# expDouble# expFloat# float2Double# float2Int# fork# geAddr# geChar# geFloat# geWord# gtAddr# gtChar# gtFloat# gtWord# iShiftL# iShiftRA# iShiftRL# indexAddrArray# indexAddrOffAddr# indexAddrOffForeignObj# indexArray# indexCharArray# indexCharOffAddr# indexCharOffForeignObj# indexDoubleArray# indexDoubleOffAddr# indexDoubleOffForeignObj# indexFloatArray# indexFloatOffAddr# indexFloatOffForeignObj# indexIntArray# indexIntOffAddr# indexIntOffForeignObj# int2Addr# int2Double# int2Float# int2Integer# int2Word# integer2Int# leAddr# leChar# leFloat# leWord# logDouble# logFloat# ltAddr# ltChar# ltFloat# ltWord# makeForeignObj# makeStablePtr# minusFloat# minusInteger# neAddr# neChar# neFloat# neWord# negateDouble# negateFloat# negateInt# negateInteger# newAddrArray# newArray# newCharArray# newDoubleArray# newFloatArray# newIntArray# newSynchVar# not# or# ord# par# parAt# parAtAbs# parAtForNow# parAtRel# parGlobal# parLocal# plusFloat# plusInteger# powerFloat# putMVar# quotInt# quotRemInteger# readAddrArray# readArray# readCharArray# readDoubleArray# readFloatArray# readIntArray# realWorld# reallyUnsafePtrEquality# remInt# sameMutableArray# sameMutableByteArray# seq# shiftL# shiftRA# shiftRL# sinDouble# sinFloat# sinhDouble# sinhFloat# sqrtDouble# sqrtFloat# takeMVar# tanDouble# tanFloat# tanhDouble# tanhFloat# timesFloat# timesInteger# unsafeFreezeArray# unsafeFreezeByteArray# waitRead# waitWrite# word2Int# writeAddrArray# writeArray# writeCharArray# writeDoubleArray# writeFloatArray# writeForeignObj# writeIntArray# xor# -> Addr# All Array# ByteArray# Char# Double# Float# ForeignObj# Int# MutableArray# MutableByteArray# RealWorld StablePtr# State# SynchVar# Void Word#;
+IOBase fixIO performGC;
+IORef newIORef readIORef writeIORef IORef;
+Unsafe trace unsafeInterleaveIO unsafePerformIO;
_instances_
instance {PrelBase.Eval FooData} = $d1;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d55 1 $d56 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Ordering 1 Ordering 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
module ShouldSucceed where
-import GlaExts
-
data SeqView t a = Null
| Cons a (t a)
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
IOBase 1 :: $d2 1 $d3 1 $d7 1 IO 1;
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 otherwise 1 Enum 1 Eq 1 Eval 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum ShouldSucceed
+Addr ArrBase Foreign IO PrelNum ShouldSucceed
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d16 1 $d2 1 $d22 1 $d28 1 $d3 1 $d33 1 $d34 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d47 1 $d55 1 $d8 1 $d9 1 $m- 1 $m/= 1 $mfromInt 1 $mshowList 1 Eq 1 Eval 1 Num 1 Show 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d18 1 $d29 1 $d33 1 $d35 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_exports_
ShouldSucceed absAnd absIf bottom f f_rec f_rec0 f_rec1 f_rec2 fac fac_rec fac_rec0 fac_rec1 fac_rec2 fac_rec3 fac_rec4 g g_rec g_rec0 g_rec1 g_rec2 g_rec3 g_rec4 g_rec5 g_rec6 g_rec7 g_rec8 head one s_1_0 s_2_0 s_2_1 s_3_0 s_3_1 s_3_2;
_declarations_
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d15 1 $d16 1 $d33 1 $d35 1 $d50 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 Eq 1 Ord 1 Ordering 1;
PrelNum 1 :: $d17 1 $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 Enum 1 Eq 1 Eval 1 Num 1 Ord 1 Ordering 1 Show 1 String 1;
PrelList 1 :: length 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d15 1 $d16 1 $d2 1 $d27 1 $d28 1 $d33 1 $d35 1 $d38 1 $d40 1 $d42 1 $d45 1 $d46 1 $d47 1 $d50 1 $d52 1 $d7 1 $d8 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 Eq 1 Eval 1 Ord 1 Ordering 1;
PrelNum 1 :: $d17 1 $d18 1;
ghc: module version changed to 1; reason: no old .hi file
_interface_ ShouldSucceed 1
_instance_modules_
-ArrBase IO PrelNum
+Addr ArrBase Foreign IO PrelNum
_usages_
PrelBase 1 :: $d1 1 $d12 1 $d15 1 $d16 1 $d2 1 $d22 1 $d25 1 $d27 1 $d28 1 $d3 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Monad 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
Digraph.hs:19: A type signature is more polymorphic than the inferred type
- Can't for-all the type variable(s) `taW8'
- in the inferred type `[Edge taW8]'
+ Can't for-all the type variable(s) `taYK'
+ in the inferred type `[Edge taYK]'
When checking signature for `reversed_edges'
In an equation for function `stronglyConnComp':
`stronglyConnComp es vs
- = PrelTup.snd (span_tree (new_range reversed_edges)
- (PrelBase.[], (PrelBase.[]))
- (PrelTup.snd (dfs (new_range es)
- (PrelBase.[], (PrelBase.[]))
- vs)))
+ = snd (span_tree (new_range reversed_edges)
+ ([], ([]))
+ (snd (dfs (new_range es) ([], ([])) vs)))
where
- span_tree r (vs, ns) PrelBase.[] = (vs, (ns))
- span_tree r (vs, ns) (x PrelBase.: xs)
- | x PrelList.elem vs = span_tree r (vs, (ns)) xs
- | PrelBase.otherwise
- = span_tree r (vs', ((x PrelBase.: ns') PrelBase.: ns)) xs
+ span_tree r (vs, ns) [] = (vs, (ns))
+ span_tree r (vs, ns) (x : xs)
+ | x elem vs = span_tree r (vs, (ns)) xs
+ | otherwise = span_tree r (vs', ((x : ns') : ns)) xs
where
- (vs', ns')
- = dfs r (x PrelBase.: vs, (PrelBase.[])) (r x)
- new_range PrelBase.[] w = PrelBase.[]
- new_range ((x, y) PrelBase.: xys) w
- = if x PrelBase.== w then
- (y PrelBase.: (new_range xys w))
+ (vs', ns') = dfs r (x : vs, ([])) (r x)
+ new_range [] w = []
+ new_range ((x, y) : xys) w
+ = if x == w then
+ (y : (new_range xys w))
else
(new_range xys w)
swap (x, y) = (y, (x))
- reversed_edges :: _forall_ [v] (PrelBase.Eq v) => [Edge v]
- reversed_edges = PrelBase.map swap es'
+ reversed_edges :: _forall_ [v] (Eq v) => [Edge v]
+ reversed_edges = map swap es'
Compilation had errors
--!!! This should fail with a type error: the instance method
--!!! has a function type when it should have the type [a].
-module Test where
+module ShouldFail where
class A a where
op :: a
tcfail001.hs:9:warning:
Duplicated class assertion `A a' in context: `(A a, A a)'
-tcfail001.hs:9: Couldn't match the type
- `GHC.-> oakH' against `PrelBase.[]'
- Expected: `oakH -> oakI'
- Inferred: `[takF]'
- In an equation for function `op': `op PrelBase.[] = PrelBase.[]'
+tcfail001.hs:9: Couldn't match the type `-> oamd' against `[]'
+ Expected: `oamd -> oame'
+ Inferred: `[tamb]'
+ In an equation for function `op': `op [] = []'
Compilation had errors
tcfail002.hs:4: Cannot construct the infinite type (occur check)
- `takl' = `[takl]'
- Expected: `[takl]'
- Inferred: `takl'
+ `talR' = `[talR]'
+ Expected: `[talR]'
+ Inferred: `talR'
In an equation for function `c': `c z = z'
Compilation had errors
-tcfail003.hs:3: No instance for: `PrelBase.Num PrelBase.Char'
+tcfail003.hs:3: No instance for: `Num Char'
arising from the literal 1 at tcfail003.hs:3
Compilation had errors
-tcfail004.hs:3: Couldn't match the type
- `PrelTup.(,,) taSf' against `PrelTup.(,)'
- Expected: `(taSf, taSh, taSj)'
- Inferred: `(taS9, taSc)'
+tcfail004.hs:3: Couldn't match the type `(,,) taUT' against `(,)'
+ Expected: `(taUT, taUV, taUX)'
+ Inferred: `(taUN, taUQ)'
In a pattern binding: `(f, g) = (1, 2, 3)'
Compilation had errors
-tcfail005.hs:3: Couldn't match the type
- `PrelTup.(,) taRt' against `PrelBase.[]'
- Expected: `(taRt, taRv)'
- Inferred: `[taRp]'
- In a pattern binding: `(h PrelBase.: i) = (1, ('a'))'
+tcfail005.hs:3: Couldn't match the type `(,) taU7' against `[]'
+ Expected: `(taU7, taU9)'
+ Inferred: `[taU3]'
+ In a pattern binding: `(h : i) = (1, ('a'))'
Compilation had errors
-tcfail006.hs:4: No instance for: `PrelBase.Num PrelBase.Bool'
+tcfail006.hs:4: No instance for: `Num Bool'
arising from the literal 1 at tcfail006.hs:4
Compilation had errors
-tcfail007.hs:4: No instance for: `PrelBase.Num PrelBase.Bool'
- arising from use of `PrelBase.+' at tcfail007.hs:4
+tcfail007.hs:4: No instance for: `Num Bool'
+ arising from use of `+' at tcfail007.hs:4
Compilation had errors
-tcfail008.hs:3: No instance for: `PrelBase.Num [taBU]'
+tcfail008.hs:3: No instance for: `Num [taEy]'
arising from the literal 2 at tcfail008.hs:3
-tcfail008.hs:3: No instance for: `PrelBase.Num [taBU]'
+tcfail008.hs:3: No instance for: `Num [taEy]'
arising from the literal 2 at tcfail008.hs:3
-tcfail008.hs:3: No instance for: `PrelBase.Num [PrelBase.Int]'
+tcfail008.hs:3: No instance for: `Num [Int]'
arising from the literal 2 at tcfail008.hs:3
Compilation had errors
-tcfail009.hs:3: Couldn't match the type
- `PrelBase.Int' against `PrelBase.Integer'
- Expected: `PrelBase.Integer'
- Inferred: `PrelBase.Int'
- In an expression with a type signature: `2 :: PrelBase.Integer'
+tcfail009.hs:3: Couldn't match the type `Int' against `Integer'
+ Expected: `Integer'
+ Inferred: `Int'
+ In an expression with a type signature: `2 :: Integer'
Compilation had errors
-tcfail010.hs:3: No instance for: `PrelBase.Num [taC3]'
- arising from use of `PrelBase.+' at tcfail010.hs:3
+tcfail010.hs:3: No instance for: `Num [taEH]'
+ arising from use of `+' at tcfail010.hs:3
-tcfail010.hs:3: No instance for: `PrelBase.Num [taC3]'
- arising from use of `PrelBase.+' at tcfail010.hs:3
+tcfail010.hs:3: No instance for: `Num [taEH]'
+ arising from use of `+' at tcfail010.hs:3
Compilation had errors
-tcfail012.hs:3: Couldn't match the type
- `[tak5]' against `PrelBase.Bool'
- Expected: `[tak5]'
- Inferred: `PrelBase.Bool'
- In a pattern binding: `PrelBase.True = PrelBase.[]'
+tcfail012.hs:3: Couldn't match the type `[talB]' against `Bool'
+ Expected: `[talB]'
+ Inferred: `Bool'
+ In a pattern binding: `True = []'
Compilation had errors
-tcfail013.hs:4: Couldn't match the type
- `[taC0]' against `PrelBase.Bool'
- Expected: `PrelBase.Bool'
- Inferred: `[taC0]'
- In an equation for function `f': `f PrelBase.True = 2'
+tcfail013.hs:4: Couldn't match the type `[taEE]' against `Bool'
+ Expected: `Bool'
+ Inferred: `[taEE]'
+ In an equation for function `f': `f True = 2'
Compilation had errors
tcfail014.hs:5: Cannot construct the infinite type (occur check)
- `oaCu' = `oaCu -> oaCw'
- Expected: `oaCu -> oaCw'
- Inferred: `oaCu'
+ `oaF6' = `oaF6 -> oaF8'
+ Expected: `oaF6 -> oaF8'
+ Inferred: `oaF6'
+ In the first argument of `z', namely `z'
In an equation for function `h': `h z = z z'
In an equation for function `g':
`g y
- = h PrelBase.+ 2
+ = h + 2
where
h z = z z'
- In an equation for function `f':
- `f x
- = g PrelBase.+ 1
- where
- g y
- = h PrelBase.+ 2
- where
- h z = z z'
-tcfail014.hs:5: No instance for: `PrelBase.Num (taCQ -> taCS)'
- arising from use of `PrelBase.+' at tcfail014.hs:5
+tcfail014.hs:5: No instance for: `Num (taFs -> taFu)'
+ arising from use of `+' at tcfail014.hs:5
Compilation had errors
-tcfail015.hs:7: No instance for: `PrelBase.Num PrelBase.Bool'
+tcfail015.hs:7: No instance for: `Num Bool'
arising from the literal 2 at tcfail015.hs:7
Compilation had errors
-tcfail016.hs:9: Couldn't match the type
- `Expr' against `PrelTup.(,) taRG'
- Expected: `AnnExpr taRG'
- Inferred: `Expr taRG'
- In an equation for function `g':
- `g (App e1 e2) = (g e1) PrelBase.++ (g e2)'
+tcfail016.hs:9: Couldn't match the type `Expr' against `(,) taUk'
+ Expected: `AnnExpr taUk'
+ Inferred: `Expr taUk'
+ In the first argument of `g', namely `e1'
+ In the first argument of `++', namely `(g e1)'
+ In an equation for function `g': `g (App e1 e2) = (g e1) ++ (g e2)'
Compilation had errors
-tcfail017.hs:11: No instance for: `C [takL]'
+tcfail017.hs:11: No instance for: `C [tamh]'
arising from an instance declaration at tcfail017.hs:11
When checking superclass constraints of an instance declaration
-module ShouldSucc where
+module ShouldFail where
(a:[]) = 1
-tcfail018.hs:5: No instance for: `PrelBase.Num [taBW]'
+tcfail018.hs:5: No instance for: `Num [taEA]'
arising from the literal 1 at tcfail018.hs:5
-tcfail018.hs:5: No instance for: `PrelBase.Num [taBW]'
+tcfail018.hs:5: No instance for: `Num [taEA]'
arising from the literal 1 at tcfail018.hs:5
Compilation had errors
-
-module P where
+module ShouldFail where
class A a where
p1 :: a -> a
-tcfail019.hs:20: No instance for: `B [tali]'
- arising from an instance declaration at tcfail019.hs:20
+tcfail019.hs:19: No instance for: `B [tamO]'
+ arising from an instance declaration at tcfail019.hs:19
When checking methods of an instance declaration
-tcfail019.hs:20: No instance for: `C [tali]'
- arising from an instance declaration at tcfail019.hs:20
+tcfail019.hs:19: No instance for: `C [tamO]'
+ arising from an instance declaration at tcfail019.hs:19
When checking methods of an instance declaration
-tcfail019.hs:20: No instance for: `B [tali]'
- arising from an instance declaration at tcfail019.hs:20
+tcfail019.hs:19: No instance for: `B [tamO]'
+ arising from an instance declaration at tcfail019.hs:19
When checking superclass constraints of an instance declaration
-tcfail019.hs:20: No instance for: `C [tali]'
- arising from an instance declaration at tcfail019.hs:20
+tcfail019.hs:19: No instance for: `C [tamO]'
+ arising from an instance declaration at tcfail019.hs:19
When checking superclass constraints of an instance declaration
Compilation had errors
-
-module P where
+module ShouldFail where
class A a where
p1 :: a -> a
-tcfail020.hs:12: No instance for: `A [taBL]'
- arising from an instance declaration at tcfail020.hs:12
+tcfail020.hs:11: No instance for: `A [taEp]'
+ arising from an instance declaration at tcfail020.hs:11
When checking superclass constraints of an instance declaration
Compilation had errors
+module ShouldFail where
+
+--!!! Duplicate instances
data B = C
-tcfail023.hs:2: Duplicate or overlapping instance declarations
- for `A B' at tcfail023.hs:8 and tcfail023.hs:11
+tcfail023.hs:1: Duplicate or overlapping instance declarations
+ for `A B' at tcfail023.hs:11 and tcfail023.hs:14
-tcfail023.hs:2: Duplicate or overlapping instance declarations
- for `A B' at tcfail023.hs:8 and tcfail023.hs:11
+tcfail023.hs:1: Duplicate or overlapping instance declarations
+ for `A B' at tcfail023.hs:11 and tcfail023.hs:14
-tcfail023.hs:2: Duplicate or overlapping instance declarations
- for `A B' at tcfail023.hs:8 and tcfail023.hs:11
+tcfail023.hs:1: Duplicate or overlapping instance declarations
+ for `A B' at tcfail023.hs:11 and tcfail023.hs:14
-tcfail023.hs:11: Couldn't match the type
- `PrelBase.Bool' against `B'
- Expected: `PrelBase.Bool'
+tcfail023.hs:14: Couldn't match the type `Bool' against `B'
+ Expected: `Bool'
Inferred: `B'
- In an equation for function `op': `op C = PrelBase.True'
+ In an equation for function `op': `op C = True'
-tcfail023.hs:8: Couldn't match the type `PrelBase.Bool' against `B'
- Expected: `PrelBase.Bool'
+tcfail023.hs:11: Couldn't match the type `Bool' against `B'
+ Expected: `Bool'
Inferred: `B'
- In an equation for function `op': `op C = PrelBase.True'
-
-tcfail023.hs:2: Module Main must include a definition for `Main.main'
+ In an equation for function `op': `op C = True'
Compilation had errors
-tcfail028.hs:4: Couldn't match the kind `ka2559 -> *' against `*'
- When unifying two kinds `ka2559 -> *' and `*'
+tcfail028.hs:4: Couldn't match the kind `ka2689 -> *' against `*'
+ When unifying two kinds `ka2689 -> *' and `*'
In the data declaration for `A'
Compilation had errors
-tcfail029.hs:6: No instance for: `PrelBase.Ord Foo'
- arising from use of `PrelBase.>' at tcfail029.hs:6
+tcfail029.hs:6: No instance for: `Ord Foo'
+ arising from use of `>' at tcfail029.hs:6
Compilation had errors
-tcfail030.hs:0: Module Main must include a definition for `Main.main'
+tcfail030.hs:0: Module Main must include a definition for `main'
Compilation had errors
-tcfail031.hs:3: Couldn't match the type
- `PrelBase.Char' against `PrelBase.Bool'
- Expected: `PrelBase.Char'
- Inferred: `PrelBase.Bool'
+tcfail031.hs:3: Couldn't match the type `Char' against `Bool'
+ Expected: `Char'
+ Inferred: `Bool'
In the predicate expression `'a''
In an equation for function `f': `f x = if 'a' then 1 else 2'
becuase it is monomorphic, but the error message isn't very illuminating.
-}
-module TcSig where
+module ShouldFail where
f x = (x :: (Eq a) => a -> Int)
tcfail032.hs:14: A type signature is more polymorphic than the inferred type
- Can't for-all the type variable(s) `taAX'
- in the inferred type `taAX -> PrelBase.Int'
+ Can't for-all the type variable(s) `taDB'
+ in the inferred type `taDB -> Int'
In an expression with a type signature:
- `x :: _forall_ [a] (PrelBase.Eq a) => a -> PrelBase.Int'
+ `x :: _forall_ [a] (Eq a) => a -> Int'
Compilation had errors
tcfail033.hs:4: Cannot construct the infinite type (occur check)
- `taGE' = `(taGE, taGH)'
- Expected: `aaGJ taGE'
- Inferred: `aaGJ (taGE, taGH)'
+ `taIc' = `(taIc, taIf)'
+ Expected: `aaIh taIc'
+ Inferred: `aaIh (taIc, taIf)'
In a pattern binding: `buglet = [x | (x, y) <- buglet]'
Compilation had errors
incorrect type signature (the context is wrong). I can remember reading
in the source about this problem - I just thought I'd let you know anyway :-)
-}
-module ShouldSucceed where
+module ShouldFail where
test::(Num a, Eq a) => a -> Bool
-tcfail034.hs:13: Context `{PrelNum.Integral taU6}'
+tcfail034.hs:13: Context `{Integral taWK}'
required by inferred type, but missing on a type signature
- `PrelNum.Integral taU6' arising from use of `PrelNum.mod' at tcfail034.hs:17
+ `Integral taWK' arising from use of `mod' at tcfail034.hs:17
When checking signature(s) for: `test'
Compilation had errors
--!!! instances with empty where parts: duplicate
--
-module M where
+module ShouldFail where
data NUM = ONE | TWO
instance Num NUM
-tcfail035.hs:9: No explicit method nor default method for `PrelBase.showsPrec'
- in an instance declaration for `PrelBase.Show'
+tcfail035.hs:9: Warning: no explicit method nor default method for `showsPrec'
+ in an instance declaration for `Show'
-tcfail035.hs:8: No explicit method nor default method for `PrelBase.=='
- in an instance declaration for `PrelBase.Eq'
+tcfail035.hs:8: Warning: no explicit method nor default method for `=='
+ in an instance declaration for `Eq'
-tcfail035.hs:7: No explicit method nor default method for `PrelBase.+'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:7: Warning: no explicit method nor default method for `+'
+ in an instance declaration for `Num'
-tcfail035.hs:7: No explicit method nor default method for `PrelBase.*'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:7: Warning: no explicit method nor default method for `*'
+ in an instance declaration for `Num'
-tcfail035.hs:7: No explicit method nor default method for `PrelBase.negate'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:7: Warning: no explicit method nor default method for `negate'
+ in an instance declaration for `Num'
-tcfail035.hs:7: No explicit method nor default method for `PrelBase.abs'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:7: Warning: no explicit method nor default method for `abs'
+ in an instance declaration for `Num'
-tcfail035.hs:7: No explicit method nor default method for `PrelBase.signum'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:7: Warning: no explicit method nor default method for `signum'
+ in an instance declaration for `Num'
-tcfail035.hs:7: No explicit method nor default method for `PrelBase.fromInteger'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:7: Warning: no explicit method nor default method for `fromInteger'
+ in an instance declaration for `Num'
-tcfail035.hs:6: No explicit method nor default method for `PrelBase.+'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:6: Warning: no explicit method nor default method for `+'
+ in an instance declaration for `Num'
-tcfail035.hs:6: No explicit method nor default method for `PrelBase.*'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:6: Warning: no explicit method nor default method for `*'
+ in an instance declaration for `Num'
-tcfail035.hs:6: No explicit method nor default method for `PrelBase.negate'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:6: Warning: no explicit method nor default method for `negate'
+ in an instance declaration for `Num'
-tcfail035.hs:6: No explicit method nor default method for `PrelBase.abs'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:6: Warning: no explicit method nor default method for `abs'
+ in an instance declaration for `Num'
-tcfail035.hs:6: No explicit method nor default method for `PrelBase.signum'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:6: Warning: no explicit method nor default method for `signum'
+ in an instance declaration for `Num'
-tcfail035.hs:6: No explicit method nor default method for `PrelBase.fromInteger'
- in an instance declaration for `PrelBase.Num'
+tcfail035.hs:6: Warning: no explicit method nor default method for `fromInteger'
+ in an instance declaration for `Num'
tcfail035.hs:3: Duplicate or overlapping instance declarations
- for `PrelBase.Num NUM' at tcfail035.hs:6 and tcfail035.hs:7
+ for `Num NUM' at tcfail035.hs:6 and tcfail035.hs:7
tcfail035.hs:3: Duplicate or overlapping instance declarations
- for `PrelBase.Num NUM' at tcfail035.hs:6 and tcfail035.hs:7
+ for `Num NUM' at tcfail035.hs:6 and tcfail035.hs:7
tcfail035.hs:3: Duplicate or overlapping instance declarations
- for `PrelBase.Num NUM' at tcfail035.hs:6 and tcfail035.hs:7
+ for `Num NUM' at tcfail035.hs:6 and tcfail035.hs:7
-tcfail035.hs:7: No instance for: `PrelBase.Eval NUM'
+tcfail035.hs:7: No instance for: `Eval NUM'
arising from an instance declaration at tcfail035.hs:7
When checking methods of an instance declaration
-tcfail035.hs:7: No instance for: `PrelBase.Eval NUM'
+tcfail035.hs:7: No instance for: `Eval NUM'
arising from an instance declaration at tcfail035.hs:7
When checking superclass constraints of an instance declaration
-tcfail035.hs:6: No instance for: `PrelBase.Eval NUM'
+tcfail035.hs:6: No instance for: `Eval NUM'
arising from an instance declaration at tcfail035.hs:6
When checking methods of an instance declaration
-tcfail035.hs:6: No instance for: `PrelBase.Eval NUM'
+tcfail035.hs:6: No instance for: `Eval NUM'
arising from an instance declaration at tcfail035.hs:6
When checking superclass constraints of an instance declaration
--!!! prelude class name in an instance-tycon position
--
-module M where
+module ShouldFail where
data NUM = ONE | TWO
instance Num NUM
-tcfail036.hs:8: No explicit method nor default method for `PrelBase.+'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:8: Warning: no explicit method nor default method for `+'
+ in an instance declaration for `Num'
-tcfail036.hs:8: No explicit method nor default method for `PrelBase.*'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:8: Warning: no explicit method nor default method for `*'
+ in an instance declaration for `Num'
-tcfail036.hs:8: No explicit method nor default method for `PrelBase.negate'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:8: Warning: no explicit method nor default method for `negate'
+ in an instance declaration for `Num'
-tcfail036.hs:8: No explicit method nor default method for `PrelBase.abs'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:8: Warning: no explicit method nor default method for `abs'
+ in an instance declaration for `Num'
-tcfail036.hs:8: No explicit method nor default method for `PrelBase.signum'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:8: Warning: no explicit method nor default method for `signum'
+ in an instance declaration for `Num'
-tcfail036.hs:8: No explicit method nor default method for `PrelBase.fromInteger'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:8: Warning: no explicit method nor default method for `fromInteger'
+ in an instance declaration for `Num'
-tcfail036.hs:7: No explicit method nor default method for `PrelBase.*'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:7: Warning: no explicit method nor default method for `*'
+ in an instance declaration for `Num'
-tcfail036.hs:7: No explicit method nor default method for `PrelBase.negate'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:7: Warning: no explicit method nor default method for `negate'
+ in an instance declaration for `Num'
-tcfail036.hs:7: No explicit method nor default method for `PrelBase.abs'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:7: Warning: no explicit method nor default method for `abs'
+ in an instance declaration for `Num'
-tcfail036.hs:7: No explicit method nor default method for `PrelBase.signum'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:7: Warning: no explicit method nor default method for `signum'
+ in an instance declaration for `Num'
-tcfail036.hs:7: No explicit method nor default method for `PrelBase.fromInteger'
- in an instance declaration for `PrelBase.Num'
+tcfail036.hs:7: Warning: no explicit method nor default method for `fromInteger'
+ in an instance declaration for `Num'
-tcfail036.hs:9: Class used as a type constructor: `PrelBase.Num'
+tcfail036.hs:9: Class used as a type constructor: `Num'
tcfail036.hs:3: Duplicate or overlapping instance declarations
- for `PrelBase.Num NUM' at tcfail036.hs:7 and tcfail036.hs:8
+ for `Num NUM' at tcfail036.hs:7 and tcfail036.hs:8
tcfail036.hs:3: Duplicate or overlapping instance declarations
- for `PrelBase.Num NUM' at tcfail036.hs:7 and tcfail036.hs:8
+ for `Num NUM' at tcfail036.hs:7 and tcfail036.hs:8
tcfail036.hs:3: Duplicate or overlapping instance declarations
- for `PrelBase.Num NUM' at tcfail036.hs:7 and tcfail036.hs:8
+ for `Num NUM' at tcfail036.hs:7 and tcfail036.hs:8
-tcfail036.hs:8: No instance for: `PrelBase.Eq NUM'
+tcfail036.hs:8: No instance for: `Eq NUM'
arising from an instance declaration at tcfail036.hs:8
When checking methods of an instance declaration
-tcfail036.hs:8: No instance for: `PrelBase.Show NUM'
+tcfail036.hs:8: No instance for: `Show NUM'
arising from an instance declaration at tcfail036.hs:8
When checking methods of an instance declaration
-tcfail036.hs:8: No instance for: `PrelBase.Eval NUM'
+tcfail036.hs:8: No instance for: `Eval NUM'
arising from an instance declaration at tcfail036.hs:8
When checking methods of an instance declaration
-tcfail036.hs:8: No instance for: `PrelBase.Eq NUM'
+tcfail036.hs:8: No instance for: `Eq NUM'
arising from an instance declaration at tcfail036.hs:8
When checking superclass constraints of an instance declaration
-tcfail036.hs:8: No instance for: `PrelBase.Show NUM'
+tcfail036.hs:8: No instance for: `Show NUM'
arising from an instance declaration at tcfail036.hs:8
When checking superclass constraints of an instance declaration
-tcfail036.hs:8: No instance for: `PrelBase.Eval NUM'
+tcfail036.hs:8: No instance for: `Eval NUM'
arising from an instance declaration at tcfail036.hs:8
When checking superclass constraints of an instance declaration
-tcfail036.hs:7: No instance for: `PrelBase.Eq NUM'
+tcfail036.hs:7: No instance for: `Eq NUM'
arising from an instance declaration at tcfail036.hs:7
When checking methods of an instance declaration
-tcfail036.hs:7: No instance for: `PrelBase.Show NUM'
+tcfail036.hs:7: No instance for: `Show NUM'
arising from an instance declaration at tcfail036.hs:7
When checking methods of an instance declaration
-tcfail036.hs:7: No instance for: `PrelBase.Eval NUM'
+tcfail036.hs:7: No instance for: `Eval NUM'
arising from an instance declaration at tcfail036.hs:7
When checking methods of an instance declaration
-tcfail036.hs:7: No instance for: `PrelBase.Eq NUM'
+tcfail036.hs:7: No instance for: `Eq NUM'
arising from an instance declaration at tcfail036.hs:7
When checking superclass constraints of an instance declaration
-tcfail036.hs:7: No instance for: `PrelBase.Show NUM'
+tcfail036.hs:7: No instance for: `Show NUM'
arising from an instance declaration at tcfail036.hs:7
When checking superclass constraints of an instance declaration
-tcfail036.hs:7: No instance for: `PrelBase.Eval NUM'
+tcfail036.hs:7: No instance for: `Eval NUM'
arising from an instance declaration at tcfail036.hs:7
When checking superclass constraints of an instance declaration
--!!! PreludeCore entities cannot be redefined at the top-level
--
-module M where
+module ShouldFail where
data NUM = ONE | TWO
--!!! duplicate class-method declarations
-module M where
+module ShouldFail where
data NUM = ONE | TWO
instance Eq NUM where
--!!! bogus re-use of prelude class-method name (==)
--
-module M where
+module ShouldFail where
data NUM = ONE | TWO
class EQ a where
--!!! instances of functions
--
-module M where
+module ShouldFail where
data NUM = ONE | TWO
-tcfail040.hs:3: Ambiguous context `{ORD taBP}'
- `ORD taBP' arising from use of `<<' at tcfail040.hs:19
+tcfail040.hs:3: Ambiguous context `{ORD taEt}'
+ `ORD taEt' arising from use of `<<' at tcfail040.hs:19
Compilation had errors
+module ShouldFail where
+
--!!! weird class/instance examples off the haskell list
--
-tcfail042.hs:16: Context `{PrelBase.Num taHH}'
+tcfail042.hs:18: Context `{Num taFC}'
required by inferred type, but missing on a type signature
- `PrelBase.Num taHH' arising from an instance declaration at tcfail042.hs:16
+ `Num taFC' arising from an instance declaration at tcfail042.hs:18
When checking superclass constraints of an instance declaration
-
-tcfail042.hs:4: Module Main must include a definition for `Main.main'
Compilation had errors
--!!! tcfail044: duplicated type variable in instance decls
--
-module Main where
+module ShouldFail where
instance (Eq a) => Eq (a->a)
cc = cos * cos
tt = ss + cc
-main = putStr ((show (tt 0.4))++ " "++(show (tt 1.652)))
+--main = putStr ((show (tt 0.4))++ " "++(show (tt 1.652)))
`a -> a'
cannot be used as an instance type
-tcfail044.hs:20: No instance for: `PrelBase.Num (PrelBase.Float
- -> PrelBase.Float)'
- arising from use of `PrelBase.+' at tcfail044.hs:20
+tcfail044.hs:20: No instance for: `Num (Float -> Float)'
+ arising from use of `+' at tcfail044.hs:20
Compilation had errors
--!!! a bad _CCallable thing (from a bug from Satnam)
--
-module ShouldSucceed where
+module ShouldFail where
import Foreign
+import Addr
+import CCall
data Socket = Socket# Addr
instance CCallable Socket
-f :: Socket -> PrimIO ()
+f :: Socket -> IO ()
f x = _ccall_ foo x
-tcfail045.hs:10: Type constructor or class not in scope: `PrimIO'
+tcfail045.hs:10: Unacceptable instance type for ccall-ish class
+ class `CCallable' type `Socket'
+
+tcfail045.hs:13: No instance for: `CCallable Socket'
+ arising from an argument in the _ccall_ to foo, namely `x' at tcfail045.hs:13
+ When checking signature(s) for: `f'
Compilation had errors
--!! function types in deriving Eq things
-- From a bug report by Dave Harrison <D.A.Harrison@newcastle.ac.uk>
-module Simulation(Process,
- Status,
- Pid,
- Time,
- Continuation,
- Message,
- MessList ) where
+module ShouldFail where
type Process a = Pid -> Time -> Message a -> ( MessList a,
Continuation a)
-tcfail046.hs:4: No instance for: `PrelBase.Eq (Process a)'
- When deriving classes for `Continuation'
-
-tcfail046.hs:4: No instance for: `PrelBase.Eq (Process a)'
+tcfail046.hs:4: No instance for: `Eq (Process a)'
When deriving classes for `Message'
-tcfail046.hs:4: No instance for: `PrelBase.Eq (Process a)'
+tcfail046.hs:4: No instance for: `Eq (Process a)'
When deriving classes for `Continuation'
-tcfail046.hs:4: No instance for: `PrelBase.Eq (Process a)'
+tcfail046.hs:4: No instance for: `Eq (Process a)'
When deriving classes for `Message'
+
+tcfail046.hs:4: No instance for: `Eq (Process a)'
+ When deriving classes for `Continuation'
Compilation had errors
+module ShouldFail where
class A a where
op1 :: a -> a
-tcfail047.hs:6: The type
+tcfail047.hs:7: The type
`(a, (b, c))'
cannot be used as an instance type
-
-tcfail047.hs:2: Module Main must include a definition for `Main.main'
Compilation had errors
-tcfail055.hs:3: Couldn't match the type
- `PrelBase.Int' against `PrelBase.Float'
- Expected: `PrelBase.Int'
- Inferred: `PrelBase.Float'
- In an expression with a type signature:
- `x PrelBase.+ 1 :: PrelBase.Int'
+tcfail055.hs:3: Couldn't match the type `Int' against `Float'
+ Expected: `Int'
+ Inferred: `Float'
+ In an expression with a type signature: `x + 1 :: Int'
Compilation had errors
-tcfail056.hs:10: No explicit method nor default method for `PrelBase.=='
- in an instance declaration for `PrelBase.Eq'
+tcfail056.hs:10: Warning: no explicit method nor default method for `=='
+ in an instance declaration for `Eq'
tcfail056.hs:1: Duplicate or overlapping instance declarations
- for `PrelBase.Eq Foo' at tcfail056.hs:6 and tcfail056.hs:10
+ for `Eq Foo' at tcfail056.hs:6 and tcfail056.hs:10
tcfail056.hs:1: Duplicate or overlapping instance declarations
- for `PrelBase.Eq Foo' at tcfail056.hs:6 and tcfail056.hs:10
+ for `Eq Foo' at tcfail056.hs:6 and tcfail056.hs:10
tcfail056.hs:1: Duplicate or overlapping instance declarations
- for `PrelBase.Eq Foo' at tcfail056.hs:6 and tcfail056.hs:10
+ for `Eq Foo' at tcfail056.hs:6 and tcfail056.hs:10
-tcfail056.hs:10: Class `PrelBase.Eq' does not have a method `<='
+tcfail056.hs:10: Class `Eq' does not have a method `<='
Compilation had errors
-tcfail057.hs:5: Class used as a type constructor: `PrelNum.RealFrac'
+tcfail057.hs:5: Class used as a type constructor: `RealFrac'
Compilation had errors
-tcfail058.hs:6: Type constructor used as a class: `ArrBase.Array'
+tcfail058.hs:6: Type constructor used as a class: `Array'
Compilation had errors
--!!! bug report from Satnam
--
-module RubyAST
+module ShouldFail
where
type Module = (String,[Declaration])
tcfail065.hs:29: A type signature is more polymorphic than the inferred type
- Can't for-all the type variable(s) `taIg'
- in the inferred type `taIg -> X taIg -> X taIg'
+ Can't for-all the type variable(s) `taKg'
+ in the inferred type `taKg -> X taKg -> X taKg'
When checking signature for `setX'
Compilation had errors
-module SubRange where
+module ShouldFail where
infixr 1 `rangeOf`
-tcfail067.hs:65: No explicit method nor default method for `PrelBase.abs'
- in an instance declaration for `PrelBase.Num'
+tcfail067.hs:65: Warning: no explicit method nor default method for `abs'
+ in an instance declaration for `Num'
-tcfail067.hs:65: No explicit method nor default method for `PrelBase.signum'
- in an instance declaration for `PrelBase.Num'
+tcfail067.hs:65: Warning: no explicit method nor default method for `signum'
+ in an instance declaration for `Num'
-tcfail067.hs:1: Context `{PrelBase.Ord ta174}'
+tcfail067.hs:1: Context `{Ord ta19s}'
required by inferred type, but missing on a type signature
- `PrelBase.Ord ta174' arising from use of `SubRange' at tcfail067.hs:76
+ `Ord ta19s' arising from use of `SubRange' at tcfail067.hs:76
When checking signature(s) for: `numSubRangeBinOp'
-tcfail067.hs:65: Context `{PrelBase.Ord ta18F}'
+tcfail067.hs:65: Context `{Ord ta1aY}'
required by inferred type, but missing on a type signature
- `PrelBase.Ord ta18F' arising from use of `numSubRangeNegate' at tcfail067.hs:61
+ `Ord ta1aY' arising from use of `numSubRangeNegate' at tcfail067.hs:61
When checking methods of an instance declaration
Compilation had errors
--!! Make sure that state threads don't escape
--!! (example from Neil Ashton at York)
--
-module IndTree(IndTree(..), itgen, itiap, itrap, itrapstate) where
+module ShouldFail where
-import GlaExts
+import MutableArray
import ST
type IndTree s t = MutableArray s (Int,Int) t
itiap :: Constructed a => (Int,Int) -> (a->a) -> IndTree s a -> IndTree s a
itiap i f arr =
runST (
- readArray arr i `thenStrictlyST` \val ->
- writeArray arr i (f val) `seqStrictlyST`
- returnStrictlyST arr)
+ readArray arr i >>= \val ->
+ writeArray arr i (f val) >>
+ return arr)
itrap :: Constructed a => ((Int,Int),(Int,Int)) -> (a->a) -> IndTree s a -> IndTree s a
itrap ((i,k),(j,l)) f arr = runST(itrap' i k)
where
- itrap' i k = if k > l then returnStrictlyST arr
- else (itrapsnd i k `seqStrictlyST`
+ itrap' i k = if k > l then return arr
+ else (itrapsnd i k >>
itrap' i (k+1))
- itrapsnd i k = if i > j then returnStrictlyST arr
- else (readArray arr (i,k) `thenStrictlyST` \val ->
- writeArray arr (i,k) (f val) `seqStrictlyST`
+ itrapsnd i k = if i > j then return arr
+ else (readArray arr (i,k) >>= \val ->
+ writeArray arr (i,k) (f val) >>
itrapsnd (i+1) k)
itrapstate :: Constructed b => ((Int,Int),(Int,Int)) -> (a->b->(a,b)) -> ((Int,Int)->c->a) ->
(a->c) -> c -> IndTree s b -> (c, IndTree s b)
itrapstate ((i,k),(j,l)) f c d s arr = runST(itrapstate' i k s)
where
- itrapstate' i k s = if k > l then returnStrictlyST (s,arr)
- else (itrapstatesnd i k s `thenStrictlyST` \(s,arr) ->
+ itrapstate' i k s = if k > l then return (s,arr)
+ else (itrapstatesnd i k s >>= \(s,arr) ->
itrapstate' i (k+1) s)
- itrapstatesnd i k s = if i > j then returnStrictlyST (s,arr)
- else (readArray arr (i,k) `thenStrictlyST` \val ->
+ itrapstatesnd i k s = if i > j then return (s,arr)
+ else (readArray arr (i,k) >>= \val ->
let (newstate, newval) = f (c (i,k) s) val
- in writeArray arr (i,k) newval `seqStrictlyST`
+ in writeArray arr (i,k) newval >>
itrapstatesnd (i+1) k (d newstate))
-- stuff from Auxiliary: copied here (partain)
compose :: [a->a] -> a -> a
compose = foldr (.) id
-data Maybe t = Just t | Nothing
-
class Constructed a where
normal :: a -> Bool
-tcfail068.hs:4:
- Conflicting definitions for: `Just'
- Imported from Prelude at tcfail068.hs:4
- Defined at tcfail068.hs:68
-
-tcfail068.hs:4:
- Conflicting definitions for: `Nothing'
- Imported from Prelude at tcfail068.hs:4
- Defined at tcfail068.hs:70
-
-tcfail068.hs:4:
- Conflicting definitions for: `Maybe'
- Imported from Prelude at tcfail068.hs:4
- Defined at tcfail068.hs:68
-
-tcfail068.hs:19: Value not in scope: `returnStrictlyST'
-
-tcfail068.hs:19: Value not in scope: `seqStrictlyST'
-
-tcfail068.hs:21: Value not in scope: `thenStrictlyST'
-
-tcfail068.hs:26: Value not in scope: `returnStrictlyST'
-
-tcfail068.hs:26: Value not in scope: `seqStrictlyST'
-
-tcfail068.hs:29: Value not in scope: `returnStrictlyST'
-
-tcfail068.hs:30: Value not in scope: `seqStrictlyST'
-
-tcfail068.hs:29: Value not in scope: `thenStrictlyST'
-
-tcfail068.hs:38: Value not in scope: `returnStrictlyST'
-
-tcfail068.hs:38: Value not in scope: `thenStrictlyST'
-
-tcfail068.hs:41: Value not in scope: `returnStrictlyST'
-
-tcfail068.hs:42: Value not in scope: `seqStrictlyST'
-
-tcfail068.hs:41: Value not in scope: `thenStrictlyST'
+tcfail068.hs:45: A type signature is more polymorphic than the inferred type
+ Can't for-all the type variable(s) `ta16y'
+ in the inferred type `ST ta16y (ta16r, IndTree ta16y ta16o)'
+ In a polymorphic function argument `(itrapstate' i k s)'
+ In the first argument of `runST', namely `(itrapstate' i k s)'
+ In an equation for function `itrapstate':
+ `itrapstate ((i, k), (j, l)) f c d s arr
+ = runST (itrapstate' i k s)
+ where
+ itrapstatesnd i k s
+ = if i > j then
+ return (s, (arr))
+ else
+ ((readArray arr (i, (k)))
+ >>= (\ val
+ -> let (newstate, newval) = f (c (i, (k)) s) val
+ in
+ (writeArray arr (i, (k)) newval)
+ >> (itrapstatesnd (i + 1) k (d newstate))))
+ itrapstate' i k s
+ = if k > l then
+ return (s, (arr))
+ else
+ ((itrapstatesnd i k s)
+ >>= (\ (s, arr) -> itrapstate' i (k + 1) s))'
+
+tcfail068.hs:32: A type signature is more polymorphic than the inferred type
+ Can't for-all the type variable(s) `ta19A'
+ in the inferred type `ST ta19A (IndTree ta19A ta19x)'
+ In a polymorphic function argument `(itrap' i k)'
+ In the first argument of `runST', namely `(itrap' i k)'
+ In an equation for function `itrap':
+ `itrap ((i, k), (j, l)) f arr
+ = runST (itrap' i k)
+ where
+ itrapsnd i k
+ = if i > j then
+ return arr
+ else
+ ((readArray arr (i, (k)))
+ >>= (\ val
+ -> (writeArray arr (i, (k)) (f val))
+ >> (itrapsnd (i + 1) k)))
+ itrap' i k
+ = if k > l then
+ return arr
+ else
+ ((itrapsnd i k) >> (itrap' i (k + 1)))'
+
+tcfail068.hs:21: A type signature is more polymorphic than the inferred type
+ Can't for-all the type variable(s) `ta1bT'
+ in the inferred type `ST ta1bT (IndTree ta1bT ta1bE)'
+ In a polymorphic function argument `((readArray arr i)
+ >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))'
+ In the first argument of `runST', namely
+ `((readArray arr i)
+ >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))'
+ In an equation for function `itiap':
+ `itiap i f arr
+ = runST ((readArray arr i)
+ >>= (\ val -> (writeArray arr i (f val)) >> (return arr)))'
+
+tcfail068.hs:14: A type signature is more polymorphic than the inferred type
+ Can't for-all the type variable(s) `ta1cM'
+ in the inferred type `ST ta1cM (IndTree ta1cM ta1cF)'
+ In a polymorphic function argument `(newArray ((1, (1)), (n)) x)'
+ In the first argument of `runST', namely
+ `(newArray ((1, (1)), (n)) x)'
+ In an equation for function `itgen':
+ `itgen n x = runST (newArray ((1, (1)), (n)) x)'
Compilation had errors
-}
-module Too_Kuch( too_much ) where
+module ShouldFail where
too_much :: [Int] -> [(Int,Int)] -> [(Int,[Int])] -> Bool
too_much ds ((k,m):q1) s0
-tcfail069.hs:21: Couldn't match the type
- `PrelTup.(,) taCp' against `PrelBase.[]'
- Expected: `[taCt]'
- Inferred: `([PrelBase.Int], [PrelBase.Int])'
- In a "case" branch: `PrelBase.[]' -> `IOBase.error "foo"'
- In the case expression
- `case (list1, (list2)) of PrelBase.[] -> IOBase.error "foo"'
+tcfail069.hs:21: Couldn't match the type `(,) taAJ' against `[]'
+ Expected: `[taAN]'
+ Inferred: `([Int], [Int])'
+ In a "case" branch: `[]' -> `error "foo"'
+ In the case expression `case (list1, (list2)) of [] -> error "foo"'
In an equation for function `too_much':
- `too_much ds ((k, m) PrelBase.: q1) s0
- = case (list1, (list2)) of PrelBase.[] -> IOBase.error "foo"
+ `too_much ds ((k, m) : q1) s0
+ = case (list1, (list2)) of [] -> error "foo"
where
list2 = ds
list1 = ds'
-tcfail070.hs:13: Couldn't match the kind `*' against `* -> ka1936'
- When unifying two kinds `*' and `* -> ka1936'
+tcfail070.hs:13: Couldn't match the kind `*' against `* -> ka1998'
+ When unifying two kinds `*' and `* -> ka1998'
In the type declaration for `State'
Compilation had errors
--!!! Mis-matched contexts in a mutually recursive group
-module Foo7( f ) where
+module ShouldFail where
f :: (Ord c) => c -> c
f c = g c
tcfail071.hs:10: Couldn't match the signature/existential type variable
- `taD0' with the type `taDe -> taDb -> taDb'
- Expected: `taD0'
- Inferred: `taDe -> taDb -> taDb'
- In a pattern binding:
- `p = PrelBase.foldr (f c) PrelBase.[] PrelBase.[]'
- In an equation for function `g':
- `g c
- = c
- where
- p = PrelBase.foldr (f c) PrelBase.[] PrelBase.[]'
+ `taEm' with the type `taEz -> taEw -> taEw'
+ Expected: `taEm'
+ Inferred: `taEz -> taEw -> taEw'
+ In the first argument of `f', namely `c'
+ In the first argument of `foldr', namely `(f c)'
+ In a pattern binding: `p = foldr (f c) [] []'
tcfail071.hs:8: Mismatched contexts
When matching the contexts of the signatures for `f' and `g'
local binds for:
-}
-module Tmp( g ) where
+module ShouldFail where
data AB p q = A
| B p q
-tcfail072.hs:17: Ambiguous context `{PrelBase.Ord taDn}'
- `PrelBase.Ord taDn' arising from use of `g' at tcfail072.hs:23
+tcfail072.hs:17: Ambiguous context `{Ord taEJ}'
+ `Ord taEJ' arising from use of `g' at tcfail072.hs:23
When checking signature(s) for: `g'
Compilation had errors
--- what error do you get if you redefined PreludeCore instances?
+-- what error do you get if you redefined Prelude instances?
-module Test where
+module ShouldFail where
f x@(a,b) y@(c,d) = x == y
tcfail073.hs:3: Duplicate or overlapping instance declarations
- for `PrelBase.Eq (a, b)' at tcfail073.hs:8 and <NoSrcLoc>
+ for `Eq (a, b)' at tcfail073.hs:8 and <NoSrcLoc>
tcfail073.hs:3: Duplicate or overlapping instance declarations
- for `PrelBase.Eq (a, b)' at tcfail073.hs:8 and <NoSrcLoc>
+ for `Eq (a, b)' at tcfail073.hs:8 and <NoSrcLoc>
tcfail073.hs:3: Duplicate or overlapping instance declarations
- for `PrelBase.Eq (a, b)' at tcfail073.hs:8 and <NoSrcLoc>
+ for `Eq (a, b)' at tcfail073.hs:8 and <NoSrcLoc>
-tcfail073.hs:8: Context `{PrelBase.Eq taR4}'
+tcfail073.hs:8: Context `{Eq taTH}'
required by inferred type, but missing on a type signature
- `PrelBase.Eq taR4' arising from use of `PrelBase.==' at tcfail073.hs:8
+ `Eq taTH' arising from use of `==' at tcfail073.hs:8
When checking methods of an instance declaration
Compilation had errors
{-# OPTIONS -fglasgow-exts #-}
-module Main where
+module ShouldFail where
x = 1#
{-# OPTIONS -fglasgow-exts #-}
-module Test ( module Test )
-where
+module ShouldFail where
-import GlaExts
+import GHC ( All )
data ContT m a = KContT ((All res) => (a -> m res) -> m res)
unKContT (KContT x) = x
-tcfail076.hs:21: A type signature is more polymorphic than the inferred type
- Can't for-all the type variable(s) `taCl'
- in the inferred type `(taCb -> aaCa taCl) -> aaCa taCl'
+tcfail076.hs:20: A type signature is more polymorphic than the inferred type
+ Can't for-all the type variable(s) `taEJ'
+ in the inferred type `(taEz -> aaEy taEJ) -> aaEy taEJ'
In a polymorphic function argument `(\ cont' -> cont a)'
- In an equation for function `callcc':
- `callcc f
- = KContT (\ cont
- -> unKContT (f (\ a -> KContT (\ cont' -> cont a))) cont)'
+ In the first argument of `KContT', namely `(\ cont' -> cont a)'
+ In the first argument of `f', namely
+ `(\ a -> KContT (\ cont' -> cont a))'
+ In the first argument of `unKContT', namely
+ `(f (\ a -> KContT (\ cont' -> cont a)))'
Compilation had errors