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
c13ab31d
Commit
c13ab31d
authored
Nov 22, 2010
by
Simon Peyton Jones
Browse files
Accept output
parent
0d3d7bda
Changes
1
Hide whitespace changes
Inline
Side-by-side
testsuite/tests/ghc-regress/indexed-types/should_fail/T3330a.stderr
View file @
c13ab31d
T3330a.hs:17:34:
T3330a.hs:17:34:
Couldn't match type `s' with `(->) (s1 ix1 -> ix)'
Occurs check: cannot construct the infinite type:
`s' is a rigid type variable bound by
s = (->) (s ix -> ix)
the type signature for `children' at T3330a.hs:16:13
Expected type: r ix -> Writer [AnyF s1] (r ix)
Actual type: ix2
In the first argument of `hmapM', namely `p'
In the first argument of `hmapM', namely `p'
In the first argument of `execWriter', namely `(hmapM p collect x)'
In the first argument of `execWriter', namely `(hmapM p collect x)'
In the expression: execWriter (hmapM p collect x)
In the expression: execWriter (hmapM p collect x)
T3330a.hs:17:44:
T3330a.hs:17:44:
Couldn't match type `ix
1
' with `r ix -> Writer [AnyF s] (r ix)'
Couldn't match type `ix
2
' with `r ix
1
-> Writer [AnyF s] (r ix
1
)'
`ix
1
' is a rigid type variable bound by
`ix
2
' is a rigid type variable bound by
the type signature for `children' at T3330a.hs:16:15
the type signature for `children' at T3330a.hs:16:15
Expected type: PF s1 r (r ix1 -> Writer [AnyF s] (r ix1))
Actual type: PF s1 r ix2
In the third argument of `hmapM', namely `x'
In the third argument of `hmapM', namely `x'
In the first argument of `execWriter', namely `(hmapM p collect x)'
In the first argument of `execWriter', namely `(hmapM p collect x)'
In the expression: execWriter (hmapM p collect x)
In the expression: execWriter (hmapM p collect 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