Commit 349880a7 authored by sof's avatar sof
Browse files

[project @ 1997-05-26 05:42:53 by sof]

Updated for 2.03
parent 1eefbbdd
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
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment