Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / typecheck / should_fail / T13610.stderr
1
2 T13610.hs:11:15: error:
3     • Couldn't match a lifted type with an unlifted type
4       When matching types
5         a :: *
6         Weak# () :: TYPE 'UnliftedRep
7       Expected type: (# State# RealWorld, a #)
8         Actual type: (# State# RealWorld, Weak# () #)
9     • In the expression: mkWeakNoFinalizer# double () s
10       In the first argument of ‘IO’, namely
11         ‘(\ s -> mkWeakNoFinalizer# double () s)’
12       In a stmt of a 'do' block:
13         IO (\ s -> mkWeakNoFinalizer# double () s)
14     • Relevant bindings include main :: IO a (bound at T13610.hs:8:1)