Fix #13819 by refactoring TypeEqOrigin.uo_thing
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail123.stderr
1
2 tcfail123.hs:11:9: error:
3     • Couldn't match a lifted type with an unlifted type
4       When matching types
5         p0 :: *
6         GHC.Prim.Int# :: TYPE 'GHC.Types.IntRep
7     • In the first argument of ‘f’, namely ‘3#’
8       In the expression: f 3#
9       In an equation for ‘h’: h v = f 3#