Commit 6b2a0a0a authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Accept output for ! kind

I'm not entirely sure of this bang-kind stuff, but in so far as it works
at all, this test is fine.  I guess I should look at the bang-kind stuff
again, as soon as the FC branch becomes the HEAD
parent b0f8e82c
tcfail090.hs:8:8:
Couldn't match kind `*' against `#'
When matching the kinds of `a :: *' and `ByteArray# :: #'
Couldn't match kind `*' against `!'
When matching the kinds of `a :: *' and `ByteArray# :: !'
Expected type: ByteArray#
Inferred type: a
In the expression: undefined
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