summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T6078.stderr
blob: b45363bdc330faa4ae8bc99e3d24c7555eab43b0 (plain)
1
2
3
4
5
6
7
8
9
10
11

T6078.hs:8:10: error:
    You can't mix polymorphic and unlifted bindings
      ip1p@(Ptr ip1) = Ptr ip0 `plusPtr` len
      Probable fix: add a type signature
    In the expression:
      let ip1p@(Ptr ip1) = Ptr ip0 `plusPtr` len in ip1p
    In the expression:
      \ fpbuf ip0 ipe s0 -> let ip1p@(Ptr ip1) = ... in ip1p
    In an equation for ‘byteStringSlice’:
        byteStringSlice len = \ fpbuf ip0 ipe s0 -> let ... in ip1p