-TOP = ../../../..
-include $(TOP)/ghc/mk/ghc.mk
+TOP = ../../..
+include $(TOP)/mk/boilerplate.mk
SUBDIRS = should_fail should_succeed stress
-include $(TOP)/mk/subdir.mk
+include $(TOP)/mk/target.mk
-"Digraph.hs", line 19: Type signature is too polymorphic:
- Signature: [Edge v]
- Monomorphic type variables: v
- In a type signature: [Edge v]
-Fail: Compilation errors found
+Digraph.hs:19: A type signature is more polymorphic than the inferred type
+ Some type variables in the inferred type can't be forall'd, namely:
+ `v{-a13W-}'
+ Possible cause: the RHS mentions something subject to the monomorphism restriction
+ 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)))
+ 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
+ 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))
+ 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'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-TOP = ../../../../..
-GhcRunTestRules = YES
-# These options apply to all tests
-RUNSTDTEST_OPTS = -noC -ddump-tc -x1
-include $(TOP)/ghc/mk/ghc.mk
+TOP = ../../../..
+include $(TOP)/mk/boilerplate.mk
-runtests :: $(patsubst %.hs, %.runtest, $(wildcard *.hs))
+HS_SRCS = $(wildcard *.hs)
-tcfail045_flags = -fglasgow-exts
-tcfail059_flags = -hi
-tcfail060_flags = -hi
-tcfail061_flags = -hi
-tcfail062_flags = -hi
-tcfail063_flags = -hi
-tcfail064_flags = -hi
-tcfail065_flags = -hi
-tcfail066_flags = -hi
-tcfail067_flags = -hi
-tcfail068_flags = -fglasgow-exts
+SRC_RUNTEST_OPTS += -o1 $*.stdout -o2 $*.stderr -x 1
+HC_OPTS += -noC -ddump-tc -dppr-user
+
+%.o : %.hs
+
+%.o : %.hs
+ $(RUNTEST) $(HC) $(RUNTEST_OPTS) -- $(HC_OPTS) -c $< -o $@ -osuf $(subst .,,$(suffix $@))
+
+all :: $(HS_OBJS)
+
+# Not all of them fail, allthough they're advertised as doing so..
+tcfail021_RUNTEST_OPTS = -x 0
+tcfail041_RUNTEST_OPTS = -x 0
+tcfail045_HC_OPTS = -fglasgow-exts
+tcfail059_HC_OPTS = -hi
+tcfail059_RUNTEST_OPTS = -x 0
+tcfail060_HC_OPTS = -hi
+tcfail060_RUNTEST_OPTS = -x 0
+tcfail061_HC_OPTS = -hi
+tcfail062_HC_OPTS = -hi
+tcfail063_HC_OPTS = -hi
+tcfail064_HC_OPTS = -hi
+tcfail065_HC_OPTS = -hi
+tcfail066_HC_OPTS = -hi
+tcfail066_RUNTEST_OPTS = -x 0
+tcfail067_HC_OPTS = -hi
+tcfail068_HC_OPTS = -fglasgow-exts
+
+include $(TOP)/mk/target.mk
--!!! This should fail with a type error: the instance method
--!!! has a function type when it should have the type [a].
+module Test where
class A a where
op :: a
-"tcfail001.hs", line 8:
- Couldn't match type "[tt5] -> [tt6]" against "[a]".
- Inside a function binding:
- op ... [] = []
-Fail: Compilation errors found
+tcfail001.hs:9:warning:
+ Duplicate class assertion `[(`A',
+ `a'),
+ (`A',
+ `a')]' in context:
+ [(`A',
+ `a'),
+ (`A',
+ `a')]
+
+tcfail001.hs:9: Couldn't match the type
+ `PrelBase.[]' against `GHC.-> [t{-anj-}]'
+ Expected: `[a{-ani-}]'
+ Inferred: `[t{-anj-}] -> [t{-ank-}]'
+ In an equation for function `op':
+ `op PrelBase.[]
+ = PrelBase.[]'
+
-ghc: execution of the Haskell compiler had trouble
+Compilation had errors
-"tcfail002.hs", line 3:
- Type variable "tt4" occurs within the type "[tt4]".
- Inside two equations or case alternatives:
- ... (x : y) -> x
- ... z -> z
-Fail: Compilation errors found
+tcfail002.hs:4: Cannot construct the infinite type (occur check)
+ `t{-amM-}' = `[t{-amM-}]'
+ Expected: `[t{-amM-}] -> t{-amM-}'
+ Inferred: `[t{-amM-}] -> [t{-amM-}]'
+ In an equation for function `c':
+ `c z = z'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail003.hs", line 3: No such instance:
- class "Num", type "Char" (at an overloaded literal: 1)
-Fail: Compilation errors found
+tcfail003.hs:3: No instance for:
+ `PrelBase.Num PrelBase.Char'
+ tcfail003.hs:3:
+ at an overloaded literal: 1
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail004.hs", line 3:
- Couldn't match type "(ot0, ot1)" against "(tt6, tt8, tt10)".
+tcfail004.hs:3: Couldn't match the type
+ `PrelTup.(,)' against `PrelTup.(,,) t{-aXz-}'
+ Expected: `(t{-aXt-}, t{-aXw-})'
+ Inferred: `(t{-aXz-}, t{-aXC-}, t{-aXF-})'
In a pattern binding:
- (f, g) = (1, 2, 3)
-Fail: Compilation errors found
+ (`f', `g')
+ = `(1, 2, 3)'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail005.hs", line 3:
- Couldn't match type "[tt4]" against "(tt5, Char)".
+tcfail005.hs:3: Couldn't match the type
+ `PrelBase.[]' against `PrelTup.(,) t{-aWN-}'
+ Expected: `[t{-aWJ-}]'
+ Inferred: `(t{-aWN-}, PrelBase.Char)'
In a pattern binding:
- (h : i) = (1, 'a')
-Fail: Compilation errors found
+ (`h' `PrelBase.:' `i')
+ = `(1, ('a'))'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail006.hs", line 5: No such instance:
- class "Num", type "Bool" (at an overloaded literal: 1)
-Fail: Compilation errors found
+tcfail006.hs:4: No instance for:
+ `PrelBase.Num PrelBase.Bool'
+ tcfail006.hs:4:
+ at an overloaded literal: 1
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail007.hs", line 4: No such instance:
- class "Num", type "Bool" (at an overloaded literal: 1)
-Fail: Compilation errors found
+tcfail007.hs:4: No instance for:
+ `PrelBase.Num PrelBase.Bool'
+ tcfail007.hs:4:
+ at a use of an overloaded identifier: `PrelBase.+'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail008.hs", line 3: No such instance:
- class "Num", type "[tt3]" (at an overloaded literal: 2)
-Fail: Compilation errors found
+tcfail008.hs:3: No instance for:
+ `PrelBase.Num [t{-aHf-}]'
+ tcfail008.hs:3:
+ at an overloaded literal: 2
+
+tcfail008.hs:3: No instance for:
+ `PrelBase.Num [t{-aHf-}]'
+ tcfail008.hs:3:
+ at an overloaded literal: 2
+
+tcfail008.hs:3: No instance for:
+ `PrelBase.Num [PrelBase.Int]'
+ tcfail008.hs:3:
+ at an overloaded literal: 2
+
-ghc: execution of the Haskell compiler had trouble
+Compilation had errors
-"tcfail009.hs", line 3:
- Couldn't match type "Integer" against "Int".
- In an arithmetic sequence: [ (1 :: Int) .. (2 :: Integer) ]
-Fail: Compilation errors found
+tcfail009.hs:3: Couldn't match the type
+ `PrelBase.Integer' against `PrelBase.Int'
+ Expected: `PrelBase.Int'
+ Inferred: `PrelBase.Integer'
+ In an arithmetic sequence:
+ `[(1 ::
+ PrelBase.Int) .. (2 ::
+ PrelBase.Integer)]'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail010.hs", line 3: No such instance:
- class "Num", type "[tt4]" (at a use of an overloaded identifier: +)
-Fail: Compilation errors found
+tcfail010.hs:3: No instance for:
+ `PrelBase.Num [t{-aHi-}]'
+ tcfail010.hs:3:
+ at a use of an overloaded identifier: `PrelBase.+'
+
+tcfail010.hs:3: No instance for:
+ `PrelBase.Num [t{-aHi-}]'
+ tcfail010.hs:3:
+ at a use of an overloaded identifier: `PrelBase.+'
+
-ghc: execution of the Haskell compiler had trouble
+Compilation had errors
-"tcfail011.hs", line 3: undefined value: y
-Fail: Compilation errors found
+tcfail011.hs:3:
+ Value not in scope: `y'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail012.hs", line 3:
- Couldn't match type "Bool" against "[tt0]".
+tcfail012.hs:3: Couldn't match the type
+ `PrelBase.Bool' against `[t{-amB-}]'
+ Expected: `PrelBase.Bool'
+ Inferred: `[t{-amB-}]'
In a pattern binding:
- True = []
-Fail: Compilation errors found
+ `PrelBase.True'
+ = `PrelBase.[]'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail013.hs", line 3:
- Couldn't match type "[tt2]" against "Bool".
- Inside two equations or case alternatives:
- ... [] -> 1
- ... True -> 2
-Fail: Compilation errors found
+tcfail013.hs:4: Couldn't match the type
+ `[t{-aHg-}]' against `PrelBase.Bool'
+ Expected: `[t{-aHg-}] -> t{-aHi-}'
+ Inferred: `PrelBase.Bool -> t{-aHl-}'
+ In an equation for function `f':
+ `f PrelBase.True
+ = 2'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail014.hs", line 5:
- Type variable "ot8" occurs within the type "ot8 -> ot9".
- Too many arguments in application of function "z"
+tcfail014.hs:5: Cannot construct the infinite type (occur check)
+ `o{-aHw-}' = `o{-aHw-} -> o{-aIe-}'
+ Expected: `o{-aHw-}'
+ Inferred: `o{-aHw-} -> o{-aIe-}'
+ 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
+ where
+ h z = z z'
-"tcfail014.hs", line 6: No such instance:
- class "Num", type "tt19 -> tt20" (at an overloaded literal: 1)
-Fail: Compilation errors found
+tcfail014.hs:5: No instance for:
+ `PrelBase.Num (t{-aHZ-} -> t{-aI0-})'
+ tcfail014.hs:5:
+ at a use of an overloaded identifier: `PrelBase.+'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail015.hs", line 7: No such instance:
- class "Num", type "Bool" (at an overloaded literal: 2)
-Fail: Compilation errors found
+tcfail015.hs:7: No instance for:
+ `PrelBase.Num PrelBase.Bool'
+ tcfail015.hs:7:
+ at an overloaded literal: 2
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail016.hs", line 8:
- Couldn't match type "(a, Expr a)" against "Expr a".
- Inside a function binding:
- g ... (Var name)
- = [name]
- (App e1 e2)
- = (g e1) ++ (g e2)
-Fail: Compilation errors found
+tcfail016.hs:9: Couldn't match the type
+ `PrelTup.(,) a{-aX1-}' against `Expr'
+ Expected: `Expr a{-aWV-}'
+ Inferred: `AnnExpr a{-aX1-}'
+ In the first argument of `g', namely
+ `e1'
+ In the first argument of `PrelBase.++', namely
+ (`g' `e1')
+ In an equation for function `g':
+ `g (App e1 e2)
+ = (g e1) PrelBase.++ (g e2)'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail017.hs", line 11: No such instance:
- class "C", type "[a]" (at an instance declaration)
-Fail: Compilation errors found
+tcfail017.hs:11: No instance for:
+ `C [a{-anj-}]'
+ tcfail017.hs:11:
+ in an instance declaration
+ When checking superclass constraints of an instance declaration
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail018.hs", line 5: No such instance:
- class "Num", type "[tt3]" (at an overloaded literal: 1)
-Fail: Compilation errors found
+tcfail018.hs:5: No instance for:
+ `PrelBase.Num [t{-aHg-}]'
+ tcfail018.hs:5:
+ at an overloaded literal: 1
+
+tcfail018.hs:5: No instance for:
+ `PrelBase.Num [t{-aHg-}]'
+ tcfail018.hs:5:
+ at an overloaded literal: 1
+
-ghc: execution of the Haskell compiler had trouble
+Compilation had errors
-"tcfail019.hs", line 20: No such instance:
- class "B", type "[a]" (at an instance declaration)
-Fail: Compilation errors found
+tcfail019.hs:20: No instance for:
+ `B [a{-anU-}]'
+ tcfail019.hs:20:
+ in an instance declaration
+ When checking methods of an instance declaration
+
+tcfail019.hs:20: No instance for:
+ `C [a{-anU-}]'
+ tcfail019.hs:20:
+ in an instance declaration
+ When checking methods of an instance declaration
+
+tcfail019.hs:20: No instance for:
+ `B [a{-anU-}]'
+ tcfail019.hs:20:
+ in an instance declaration
+ When checking superclass constraints of an instance declaration
+
+tcfail019.hs:20: No instance for:
+ `C [a{-anU-}]'
+ tcfail019.hs:20:
+ in an instance declaration
+ When checking superclass constraints of an instance declaration
+
-ghc: execution of the Haskell compiler had trouble
+Compilation had errors
-"tcfail020.hs", line 12: No such instance:
- class "A", type "[a]" (at an instance declaration)
-Fail: Compilation errors found
+tcfail020.hs:12: No instance for:
+ `A [a{-aGH-}]'
+ tcfail020.hs:12:
+ in an instance declaration
+ When checking superclass constraints of an instance declaration
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-
-"tcfail021.hs", line 2: multiple declarations of variable in pattern:
- x ( "tcfail021.hs", line 2, "tcfail021.hs", line 2)
-Fail: Compilation errors found
-ghc: execution of the Haskell compiler had trouble
+
+--================================================================================
+Typechecked:
+AbsBinds
+[`t{-aHp-}', `t{-aHr-}', `t{-aHm-}']
+[`d.Num']
+[([`t{-aHp-}', `t{-aHr-}', `t{-aHm-}'], `f', `f')]
+ `fromInt' =
+ `PrelBase.fromInt'
+ `t{-aHm-}'
+ `d.Num'
+ `lit' =
+ `fromInt'
+ `PrelBase.I#'
+ 2#
+ `f' `x' `x' = `lit'
-"tcfail022.hs", line 2: multiple declarations of variable:
- f ( "tcfail022.hs", line 2, "tcfail022.hs", line 6)
-Fail: Compilation errors found
+tcfail022.hs:2:
+ Conflicting exports for local name: f
+ module Main
+ module Main
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail023.hs", line 8: Duplicate/overlapping instances:
- class "A", type "B"; at "tcfail023.hs", line 8 and "tcfail023.hs", line 11
-
-"tcfail023.hs", line 11:
- Couldn't match type "Bool" against "B".
- Inside a function binding:
- op ... C = True
-Fail: Compilation errors found
+tcfail023.hs:2: Duplicate or overlapping instance declarations
+ Class `A' type `B'
+ at tcfail023.hs:8 and tcfail023.hs:11
+
+tcfail023.hs:2: Duplicate or overlapping instance declarations
+ Class `A' type `B'
+ at tcfail023.hs:8 and tcfail023.hs:11
+
+tcfail023.hs:11: Couldn't match the type
+ `B' against `PrelBase.Bool'
+ Expected: `B'
+ Inferred: `PrelBase.Bool'
+ In an equation for function `op':
+ `op C = PrelBase.True'
+
+tcfail023.hs:8: Couldn't match the type
+ `B' against `PrelBase.Bool'
+ Expected: `B'
+ Inferred: `PrelBase.Bool'
+ In an equation for function `op':
+ `op C = PrelBase.True'
+
+tcfail023.hs:2: Module Main must include a definition for `Main.main'
+
-ghc: execution of the Haskell compiler had trouble
+Compilation had errors
-"tcfail024.hs", line 2: multiple declarations of variable:
- A ( "tcfail024.hs", line 2, "tcfail024.hs", line 4)
-Fail: Compilation errors found
+tcfail024.hs:2: Module Main must include a definition for `Main.main'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail025.hs", line 6: multiple declarations of type synonym:
- A ( "tcfail025.hs", line 6, "tcfail025.hs", line 2)
-Fail: Compilation errors found
+tcfail025.hs:2:
+ Conflicting exports for local name: A
+ module Main
+ module Main
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail026.hs", line 9: multiple declarations of class:
- A ( "tcfail026.hs", line 9, "tcfail026.hs", line 3)
-Fail: Compilation errors found
+tcfail026.hs:2:
+ Conflicting exports for local name: A
+ module Main
+ module Main
+
+tcfail026.hs:6:
+ Class type variable ``a'' does not appear in method signature:
+ op2 ::
+ `b' -> `b'
+
-ghc: execution of the Haskell compiler had trouble
+Compilation had errors
-The following classes form a cycle:
- "tcfail027.hs", line 4: A
- "tcfail027.hs", line 7: B
-Fail: Compilation errors found
+tcfail027.hs:3: Cycle in class declarations ...
+ `A' tcfail027.hs:4
+ `B' tcfail027.hs:7
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail028.hs", line 3: Type has too few arguments:
- "A" should have 2 argument(s), but has been given 1 argument(s) instead
-Fail: Compilation errors found
+tcfail028.hs:4: Couldn't match the kind
+ ka2865 -> * against *
+ When unifying two kinds
+ ka2865 -> * and *
+ In the data declaration for `A'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail029.hs", line 5: No such instance:
- class "Ord", type "Foo" (at a use of an overloaded identifier: >)
-Fail: Compilation errors found
+tcfail029.hs:6: No instance for:
+ `PrelBase.Ord Foo'
+ tcfail029.hs:6:
+ at a use of an overloaded identifier: `PrelBase.>'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-Typechecked:
+
+tcfail030.hs:0: Module Main must include a definition for `Main.main'
+Compilation had errors
-"tcfail031.hs", line 2:
- Couldn't match type "Char" against "Bool". In a predicate expression: 'a'
-Fail: Compilation errors found
+tcfail031.hs:3: Couldn't match the type
+ `PrelBase.Bool' against `PrelBase.Char'
+ Expected: `PrelBase.Bool'
+ Inferred: `PrelBase.Char'
+ In a predicate expression:
+ `'a''
+ In an equation for function `f':
+ `f x = if 'a' then 1 else 2'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail032.hs", line 14: Type signature is too polymorphic:
- Signature: a -> Int
- Monomorphic type variables: a
- In an expression with a type signature: x:: a -> Int
-Fail: Compilation errors found
+tcfail032.hs:14: A type signature is more polymorphic than the inferred type
+ Some type variables in the inferred type can't be forall'd, namely:
+ `a{-aG1-}'
+ Possible cause: the RHS mentions something subject to the monomorphism restriction
+ In an expression with a type signature:
+ `x ::
+ _forall_ [a] {PrelBase.Eq a} => a -> PrelBase.Int'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail033.hs", line 3:
- Type variable "tt2" occurs within the type "(tt2, tt3)".
+tcfail033.hs:4: Cannot construct the infinite type (occur check)
+ `t{-aKn-}' = `(t{-aKn-}, t{-aKq-})'
+ Expected: `a{-aKs-} (t{-aKn-}, t{-aKq-})'
+ Inferred: `a{-aKs-} t{-aKn-}'
In a pattern binding:
- buglet = [ x | (x, y) <- buglet ]
-Fail: Compilation errors found
+ `buglet'
+ = `[ x |
+ (x, y) <- buglet ]'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-These overloadings don't match type signature:
- "tcfail034.hs", line 15; class "Integral", type "a"
- (at a use of an overloaded identifier: mod)
-Fail: Compilation errors found
+tcfail034.hs:13: tcfail034.hs:17: Context required by inferred type, but missing on a type signature:
+ at a use of an overloaded identifier: `PrelNum.mod'
+ `PrelNum.Integral' `a{-aZO-}'
+ When checking signature(s) for: `test'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
+
+tcfail035.hs:3: Duplicate or overlapping instance declarations
+ Class `PrelBase.Num' type `NUM'
+ at tcfail035.hs:6 and tcfail035.hs:7
+
+tcfail035.hs:3: Duplicate or overlapping instance declarations
+ Class `PrelBase.Num' type `NUM'
+ at tcfail035.hs:6 and tcfail035.hs:7
+
+
+Compilation had errors
+
+tcfail036.hs:9: Class used as a type constructor: `PrelBase.Num'
+
+tcfail036.hs:3: Duplicate or overlapping instance declarations
+ Class `PrelBase.Num' type `NUM'
+ at tcfail036.hs:7 and tcfail036.hs:8
+
+tcfail036.hs:3: Duplicate or overlapping instance declarations
+ Class `PrelBase.Num' type `NUM'
+ at tcfail036.hs:7 and tcfail036.hs:8
+
+tcfail036.hs:8: No instance for:
+ `PrelBase.Eq NUM'
+ tcfail036.hs:8:
+ in an instance declaration
+ When checking methods of an instance declaration
+
+tcfail036.hs:8: No instance for:
+ `PrelBase.Show NUM'
+ tcfail036.hs:8:
+ in an instance declaration
+ When checking methods of an instance declaration
+
+tcfail036.hs:8: No instance for:
+ `PrelBase.Eq NUM'
+ tcfail036.hs:8:
+ in an instance declaration
+ When checking superclass constraints of an instance declaration
+
+tcfail036.hs:8: No instance for:
+ `PrelBase.Show NUM'
+ tcfail036.hs:8:
+ in an instance declaration
+ When checking superclass constraints of an instance declaration
+
+tcfail036.hs:7: No instance for:
+ `PrelBase.Eq NUM'
+ tcfail036.hs:7:
+ in an instance declaration
+ When checking methods of an instance declaration
+
+tcfail036.hs:7: No instance for:
+ `PrelBase.Show NUM'
+ tcfail036.hs:7:
+ in an instance declaration
+ When checking methods of an instance declaration
+
+tcfail036.hs:7: No instance for:
+ `PrelBase.Eq NUM'
+ tcfail036.hs:7:
+ in an instance declaration
+ When checking superclass constraints of an instance declaration
+
+tcfail036.hs:7: No instance for:
+ `PrelBase.Show NUM'
+ tcfail036.hs:7:
+ in an instance declaration
+ When checking superclass constraints of an instance declaration
+
+
+Compilation had errors
+
+tcfail037.hs:3:
+ Conflicting definitions for: `+'
+ Defined at tcfail037.hs:10
+ Imported from Prelude at tcfail037.hs:3
+
+
+Compilation had errors
+
+tcfail038.hs:8:
+ Conflicting definitions for `/=' in the bindings in an instance declaration
+
+tcfail038.hs:7:
+ Conflicting definitions for `==' in the bindings in an instance declaration
+
+
+Compilation had errors
+
+tcfail039.hs:3:
+ Conflicting definitions for: `=='
+ Defined at tcfail039.hs:7
+ Imported from Prelude at tcfail039.hs:3
+
+
+Compilation had errors
+
+tcfail040.hs:3: tcfail040.hs:19: Ambiguous overloading:
+ at a use of an overloaded identifier: `<<'
+ `ORD' `a{-aGQ-}'
+
+
+Compilation had errors
+
+
+--================================================================================
+Typechecked:
+`d.Ord' =
+ `PrelBase.$d6'
+`<=' =
+ `PrelBase.<='
+ `PrelBase.Int'
+ `d.Ord'
+`d.Num' =
+ `PrelBase.$d3'
+`fromInt' =
+ `PrelBase.fromInt'
+ `PrelBase.Int'
+ `d.Num'
+`lit' =
+ `fromInt'
+ `PrelBase.I#'
+ 1#
+`d.Integral' =
+ `PrelNum.$d36'
+`div' =
+ `PrelNum.div'
+ `PrelBase.Int'
+ `d.Integral'
+`fromInt' =
+ `fromInt'
+`lit' =
+ `fromInt'
+ `PrelBase.I#'
+ 2#
+AbsBinds
+[`a{-a121-}']
+[]
+[([`a{-a121-}'], `init_last', `init_last')]
+ `init_last'
+ `a' `b' = `(a, a)'
+AbsBinds
+[`a{-a12a-}']
+[`d.Ord']
+[([`a{-a12a-}'], `merge', `merge')]
+ `merge'
+ `xs' `ys'
+ = `xs'
+AbsBinds [`a{-a12l-}'] [`d.Ord'] [([`a{-a12l-}'], `sort', `sort')]
+ `d.Ord' =
+ `d.Ord'
+ `sort'
+ `xs' = `s xs
+ PrelList.length
+ a{-a12l-}
+ xs'
+ where
+ AbsBinds [`b{-a12s-}'] [`d.Ord'] [([`b{-a12s-}'], `s', `s')]
+ `d.Ord' =
+ `d.Ord'
+ `merge' =
+ `merge'
+ `b{-a12s-}'
+ `d.Ord'
+ `d.Ord' =
+ `d.Ord'
+ `sort' =
+ `sort'
+ `b{-a12s-}'
+ `d.Ord'
+ `sort' =
+ `sort'
+ `s' `xs' `k'
+ = `if k <= lit then
+ xs
+ else
+ merge
+ sort
+ ys
+ sort
+ zs'
+ where
+ AbsBinds [] [] [([], `ys', `ys'), ([], `zs', `zs')]
+ (`ys', `zs')
+ = `init_last
+ b{-a12s-}
+ xs k div lit'
+ `s' =
+ `s' `a{-a12l-}'
+ `d.Ord'
+
+tcfail042.hs:16: tcfail042.hs:16: Context required by inferred type, but missing on a type signature:
+ in an instance declaration
+ `PrelBase.Num' `a{-aN7-}'
+ When checking superclass constraints of an instance declaration
+
+tcfail042.hs:4: Module Main must include a definition for `Main.main'
+
+
+Compilation had errors
+
+tcfail043.hs:16:
+ Conflicting definitions for: `and'
+ Defined at tcfail043.hs:42
+ Imported from Prelude at tcfail043.hs:16
+
+tcfail043.hs:16:
+ Conflicting definitions for: `null'
+ Defined at tcfail043.hs:57
+ Imported from Prelude at tcfail043.hs:16
+
+
+Compilation had errors
+
+tcfail044.hs:12: No instance for:
+ `PrelBase.Eval (a{-a19I-} -> a{-a19I-})'
+ tcfail044.hs:12:
+ in an instance declaration
+ When checking superclass constraints of an instance declaration
+
+tcfail044.hs:20: No instance for:
+ `PrelBase.Eval (PrelBase.Float -> PrelBase.Float)'
+ tcfail044.hs:20:
+ at a use of an overloaded identifier: `PrelBase.+'
+
+
+Compilation had errors
+
+tcfail045.hs:4:
+ Could not find valid interface file `PreludeGlaST'
+
+
+Compilation had errors
+
+tcfail046.hs:4: No instance for class
+ `PrelBase.Eq'
+ at type
+ `Process a{-r7b-}'
+
+tcfail046.hs:4: No instance for class
+ `PrelBase.Eq'
+ at type
+ `Process a{-r7g-}'
+
+tcfail046.hs:4: No instance for class
+ `PrelBase.Eq'
+ at type
+ `Process a{-r7b-}'
+
+tcfail046.hs:4: No instance for class
+ `PrelBase.Eq'
+ at type
+ `Process a{-r7g-}'
+
+tcfail046.hs:23: No instance for:
+ `PrelBase.Eq (Process a{-a11o-})'
+ tcfail046.hs:23:
+ at a use of an overloaded identifier: `PrelBase.=='
+ When checking methods of an instance declaration
+
+tcfail046.hs:15: No instance for:
+ `PrelBase.Eq (Process a{-a14I-})'
+ tcfail046.hs:15:
+ at a use of an overloaded identifier: `PrelBase.=='
+ When checking methods of an instance declaration
+
+
+Compilation had errors
-"tcfail047.hs", line 5: syntax error; on input: (
-ghc: execution of the Haskell parser had trouble
+
+tcfail047.hs:6: The type ``(a{-r3e-}, (b{-r3f-}, c{-r3g-}))'' cannot be used as an instance type.
+
+tcfail047.hs:2: Module Main must include a definition for `Main.main'
+
+
+Compilation had errors
-"tcfail048.hs", line 3: undefined class: B
-Fail: Compilation errors found
+tcfail048.hs:4:
+ Type constructor or class not in scope: `B'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail049.hs", line 2: undefined value: g
-Fail: Compilation errors found
+tcfail049.hs:3:
+ Value not in scope: `g'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail050.hs", line 2: undefined value: B
-Fail: Compilation errors found
+tcfail050.hs:3:
+ Data constructor not in scope: `B'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail051.hs", line 3: undefined class: B
-
-"tcfail051.hs", line 3: "op1" is not an operation of class "*UNBOUND*B".
-Fail: Compilation errors found
+tcfail051.hs:4:
+ Type constructor or class not in scope: `B'
+
-ghc: execution of the Haskell compiler had trouble
+Compilation had errors
-"tcfail052.hs", line 2: undefined type variable: c
-Fail: Compilation errors found
+tcfail052.hs:4:
+ Type variable not in scope: `c'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail053.hs", line 2: undefined type constructor: A
-Fail: Compilation errors found
+tcfail053.hs:3:
+ Type constructor or class not in scope: `A'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail054.hs", line 2: undefined value: B
-Fail: Compilation errors found
+tcfail054.hs:3:
+ Data constructor not in scope: `B'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail055.hs", line 2:
- Couldn't match type "Int" against "Float".
- In an expression with a type signature: (x (+) 1 :: Int):: Float
-Fail: Compilation errors found
+tcfail055.hs:3: Couldn't match the type
+ `PrelBase.Int' against `PrelBase.Float'
+ Expected: `PrelBase.Float'
+ Inferred: `PrelBase.Int'
+ In an expression with a type signature:
+ `(x PrelBase.+ 1 ::
+ PrelBase.Int) ::
+ PrelBase.Float'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail056.hs", line 9: "<=" is not an operation of class "Eq".
-Fail: Compilation errors found
+tcfail056.hs:1: Duplicate or overlapping instance declarations
+ Class `PrelBase.Eq' type `Foo'
+ at tcfail056.hs:6 and tcfail056.hs:10
+
+tcfail056.hs:1: Duplicate or overlapping instance declarations
+ Class `PrelBase.Eq' type `Foo'
+ at tcfail056.hs:6 and tcfail056.hs:10
+
+tcfail056.hs:10: Class `PrelBase.Eq' does not have a method `<='
+
-ghc: execution of the Haskell compiler had trouble
+Compilation had errors
-"tcfail057.hs", line 5: undefined type constructor: RealFrac
-Fail: Compilation errors found
+tcfail057.hs:5: Class used as a type constructor: `PrelNum.RealFrac'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
-"tcfail058.hs", line 5: undefined class: Array
-Fail: Compilation errors found
+tcfail058.hs:6: Type constructor used as a class: `ArrBase.Array'
-ghc: execution of the Haskell compiler had trouble
+
+Compilation had errors
+
+
+--================================================================================
+Typechecked:
+`Bar' =
+ `\ tpl ->
+ Bar {tpl}'
+`Y' =
+ `Y {}'
+AbsBinds [] [] [([], `$d1', `d.Eval')]
+ `d.Eval' =
+ ({-dict-} [] [])
+AbsBinds [] [] [([], `$d2', `d.Eval')]
+ `d.Eval' =
+ ({-dict-} [] [])
+
+
+--================================================================================
+Typechecked:
+`Y' =
+ `Y {}'
+`Bar' =
+ `\ tpl ->
+ Bar {tpl}'
+`opx' =
+ `_/\_ a{-r6B-} -> \ tpl ->
+ tpl'
+AbsBinds [`a{-aHH-}'] [`d.Baz'] [([`a{-aHH-}'], `$mopx', `opx')]
+ AbsBinds [] [] [([], `opx', `opx')]
+ `opx'
+ = `GHCerr.noDefaultMethodError
+ (PrelBase.Int -> Bar -> a{-aHH-} -> a{-aHH-})
+ "Class Baz Method opx"'
+AbsBinds [] [] [([], `$d1', `d.Eval')]
+ `d.Eval' =
+ ({-dict-} [] [])
+AbsBinds [] [] [([], `$d2', `d.Eval')]
+ `d.Eval' =
+ ({-dict-} [] [])
+
+tcfail061.hs:11:
+ Type variable not in scope: `b'
+
+tcfail061.hs:11:
+ Type variable not in scope: `b'
+
+tcfail061.hs:5:
+ Type variable not in scope: `b'
+
+tcfail061.hs:5:
+ Type variable not in scope: `b'
+
+
+Compilation had errors
+
+tcfail062.hs:33:
+ Type variable not in scope: `behaviouralExpression'
+
+tcfail062.hs:33:
+ Type variable not in scope: `behaviouralExpression'
+
+
+Compilation had errors
+tcfail063.hs:5:1: is_context_format: variable missing after class name on input: "moby"
+
+tcfail064.hs:0: Module Main must include a definition for `Main.main'
+
+
+Compilation had errors
+
+<NoSrcLoc>: A type signature is more polymorphic than the inferred type
+ Some type variables in the inferred type can't be forall'd, namely:
+ `x{-aNe-}'
+ Possible cause: the RHS mentions something subject to the monomorphism restriction
+ When checking signature for `setX'
+
+
+Compilation had errors
+
+
+--================================================================================
+Typechecked:
+`IMonadOk' =
+ `_/\_ a{-r44-} -> \ tpl tpl ->
+ IMonadOk
+ {_@_ a{-r44-} tpl tpl}'
+`IMonadFail' =
+ `_/\_ a{-r44-} -> \ tpl tpl ->
+ IMonadFail
+ {_@_ a{-r44-} tpl tpl}'
+AbsBinds [`a{-aKg-}'] [] [([`a{-aKg-}'], `$d1', `d.Eval')]
+ `d.Eval' =
+ ({-dict-} [] [])
+`d.Num' =
+ `PrelBase.$d3'
+`+' =
+ `PrelBase.+'
+ `IMonadState'
+ `d.Num'
+AbsBinds [] [] [([], `tickI', `tickI')]
+ `tickI'
+ `n' = `\ s0 -> IMonadOk
+ PrelBase.()
+ s0 + n PrelBase.()'
+AbsBinds
+[`t{-aJ6-}', `a{-aIN-}', `a{-aIR-}']
+[]
+[([`t{-aJ6-}', `a{-aIN-}', `a{-aIR-}'], `thenI', `thenI')]
+ `thenI'
+ `m' `k' = `\ s0 -> case m s0 of
+ (IMonadFail s1 msg)
+ -> IMonadFail
+ a{-aIN-}
+ s1 msg
+ (IMonadOk s1 r1)
+ -> k r1 s1'
+AbsBinds [`a{-aJg-}'] [] [([`a{-aJg-}'], `failI', `failI')]
+ `failI'
+ `msg' = `\ s0 -> IMonadFail
+ a{-aJg-}
+ s0 msg'
+AbsBinds [`a{-aJn-}'] [] [([`a{-aJn-}'], `returnI', `returnI')]
+ `returnI'
+ `r' = `\ s0 -> IMonadOk
+ a{-aJn-}
+ s0 r'
+AbsBinds
+[`t{-aJz-}', `t{-aJC-}']
+[]
+[([`t{-aJz-}', `t{-aJC-}'], `mapI', `mapI')]
+ `mapI'
+ `f' `PrelBase.[]'
+ = `returnI
+ [t{-aJz-}]
+ PrelBase.[]
+ t{-aJz-}'
+ `mapI'
+ `f' (`x' `PrelBase.:' `xs')
+ = `thenI
+ [IMonadState, [t{-aJz-}], t{-aJz-}]
+ (f x)
+ (\ fx -> thenI
+ [IMonadState, [t{-aJz-}], [t{-aJz-}]]
+ (mapI
+ f xs)
+ (\ fxs -> returnI
+ [t{-aJz-}]
+ PrelBase.:
+ t{-aJz-}
+ fx fxs))'
+
+NOTE: Simplifier still going after 4 iterations; bailing out.
+
+tcfail067.hs:1: tcfail067.hs:76: Context required by inferred type, but missing on a type signature:
+ at a use of an overloaded identifier: `SubRange'
+ `PrelBase.Ord' `a{-a1dZ-}'
+ When checking signature(s) for: `numSubRangeBinOp'
+
+tcfail067.hs:65: tcfail067.hs:61: Context required by inferred type, but missing on a type signature:
+ at a use of an overloaded identifier: `numSubRangeNegate'
+ `PrelBase.Ord' `a{-a1fx-}'
+ When checking methods of an instance declaration
+
+
+Compilation had errors
module IndTree(IndTree(..), itgen, itiap, itrap, itrapstate) where
--partain: import Auxiliary
-import PreludeGlaST
+import GlaExts
type IndTree s t = MutableArray s (Int,Int) t
+
+tcfail068.hs:4:
+ Conflicting definitions for: `Just'
+ Defined at tcfail068.hs:68
+ Imported from Prelude at tcfail068.hs:4
+
+tcfail068.hs:4:
+ Conflicting definitions for: `Nothing'
+ Defined at tcfail068.hs:70
+ Imported from Prelude at tcfail068.hs:4
+
+tcfail068.hs:4:
+ Conflicting definitions for: `Maybe'
+ Defined at tcfail068.hs:68
+ Imported from Prelude at tcfail068.hs:4
+
+tcfail068.hs:14:
+ Value not in scope: `runST'
+
+tcfail068.hs:21:
+ Value not in scope: `runST'
+
+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:32:
+ Value not in scope: `runST'
+
+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:
+ Value not in scope: `runST'
+
+
+Compilation had errors