Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T6078.stderr
1
2 T6078.hs:8:10: error:
3     You can't mix polymorphic and unlifted bindings
4       ip1p@(Ptr ip1) = Ptr ip0 `plusPtr` len
5       Probable fix: add a type signature
6     In the expression:
7       let ip1p@(Ptr ip1) = Ptr ip0 `plusPtr` len in ip1p
8     In the expression:
9       \ fpbuf ip0 ipe s0 -> let ip1p@(Ptr ip1) = ... in ip1p
10     In an equation for â€˜byteStringSlice’:
11         byteStringSlice len = \ fpbuf ip0 ipe s0 -> let ... in ip1p