summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail128.stderr
blob: 02f5e9222881f5c82f14151d9b6c3adcda459f91 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

tcfail128.hs:18:16: error: [GHC-39999]
    • Ambiguous type variable ‘b0’ arising from a use of ‘thaw’
      prevents the constraint ‘(Data.Array.Base.MArray
                                  b0 FlatVector IO)’ from being solved.
      Probable fix: use a type annotation to specify what ‘b0’ should be.
      one instance involving out-of-scope types
      (use -fprint-potential-instances to see them all)
    • In a stmt of a 'do' block: v <- thaw tmp
      In the expression:
        do let sL = ...
               dim = length sL
               ....
           v <- thaw tmp
           return ()
      In an equation for ‘main’:
          main
            = do let sL = ...
                     ....
                 v <- thaw tmp
                 return ()