Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Commits
454f6d4f
Commit
454f6d4f
authored
Sep 22, 2010
by
Simon Peyton Jones
Browse files
Accept test output
parent
3870919a
Changes
2
Hide whitespace changes
Inline
Side-by-side
testsuite/tests/ghc-regress/indexed-types/should_fail/T2239.stderr
View file @
454f6d4f
T2239.hs:4
5
:13:
Couldn't match expected type `b -> b'
with actual type `forall b1. MyEq b1 Bool => b1 -> b1'
Expected type: (forall b1. MyEq b1 Bool => b1 -> b1) -> b -> b
Actual type: (forall b1. MyEq b1 Bool => b1 -> b1)
-> forall b1. MyEq b1 Bool => b1 -> b1
In the expression:
id ::
(forall b. MyEq b Bool => b -> b)
-> (forall b. MyEq b Bool => b -> b)
In an equation for `complexFD':
complexFD
= id ::
(forall b. MyEq b Bool => b -> b)
-> (forall b. MyEq b Bool => b -> b)
T2239.hs:
48
:13:
Couldn't match expected type `b -> b'
with actual type `forall b1. b1 ~ Bool => b1 -> b1'
Expected type: (forall b1. b1 ~ Bool => b1 -> b1) -> b -> b
Actual type: (forall b1. b1 ~ Bool => b1 -> b1)
-> forall b1. b1 ~ Bool => b1 -> b1
In the expression:
id ::
(forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)
In an equation for `complexTF':
complexTF
= id ::
(forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)
T2239.hs:4
7
:13:
Couldn't match expected type `b -> b'
with actual type `forall b1. MyEq b1 Bool => b1 -> b1'
Expected type: (forall b1. MyEq b1 Bool => b1 -> b1) -> b -> b
Actual type: (forall b1. MyEq b1 Bool => b1 -> b1)
-> forall b1. MyEq b1 Bool => b1 -> b1
In the expression:
id ::
(forall b. MyEq b Bool => b -> b)
-> (forall b. MyEq b Bool => b -> b)
In an equation for `complexFD':
complexFD
= id ::
(forall b. MyEq b Bool => b -> b)
-> (forall b. MyEq b Bool => b -> b)
T2239.hs:
50
:13:
Couldn't match expected type `b -> b'
with actual type `forall b1. b1 ~ Bool => b1 -> b1'
Expected type: (forall b1. b1 ~ Bool => b1 -> b1) -> b -> b
Actual type: (forall b1. b1 ~ Bool => b1 -> b1)
-> forall b1. b1 ~ Bool => b1 -> b1
In the expression:
id ::
(forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)
In an equation for `complexTF':
complexTF
= id ::
(forall b. b ~ Bool => b -> b) -> (forall b. b ~ Bool => b -> b)
testsuite/tests/ghc-regress/indexed-types/should_fail/T3330c.stderr
View file @
454f6d4f
T3330c.hs:22:35:
Couldn't match type `f
3
' with `Der f
3
'
`f
3
' is a rigid type variable bound by
Couldn't match type `f
2
' with `Der f
2
'
`f
2
' is a rigid type variable bound by
a pattern with constructor
RSum :: forall (f :: * -> *) (g :: * -> *).
R f -> R g -> R (f :+: g)
...
...
@@ -18,7 +18,7 @@ T3330c.hs:22:35:
T3330c.hs:22:40:
Could not deduce (Rep ((->) x1))
from the context (Rep f
1
, f
2
~ (f
3
:+: g))
from the context (Rep f, f
1
~ (f
2
:+: g))
arising from a use of `plug'
Possible fix:
add (Rep ((->) x1)) to the context of
...
...
@@ -33,19 +33,19 @@ T3330c.hs:22:40:
T3330c.hs:22:45:
Couldn't match type `Der ((->) x)' with `R'
Expected type: Der ((->) x) (f x)
Actual type: R f
1
Expected type: Der ((->) x) (f
1
x)
Actual type: R f
In the first argument of `plug', namely `rf'
In the first argument of `Inl', namely `(plug rf df x)'
In the expression: Inl (plug rf df x)
T3330c.hs:22:45:
Couldn't match type `f
1
' with `f x'
`f
1
' is a rigid type variable bound by
a pattern with constructor
RSum :: forall (f :: * -> *) (g :: * -> *).
R f -> R g -> R (f :+: g)
at T3330c.hs:22:10
Couldn't match type `f' with `f
1
x'
`f' is a rigid type variable bound by
a pattern with constructor
RSum :: forall (f :: * -> *) (g :: * -> *).
R f -> R g -> R (f :+: g)
at T3330c.hs:22:10
In the first argument of `plug', namely `rf'
In the first argument of `Inl', namely `(plug rf df x)'
In the expression: Inl (plug rf df x)
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment