testsuite/tests/typecheck/should_fail/T5570.stderr


1
2
3
4
5
6
7
8


T5570.hs:7:16:
    Kind incompatibility when matching types:
      s0 :: *
      Double# :: #
    In the second argument of ‛($)’, namely ‛D# $ 3.0##’
    In the expression: print $ D# $ 3.0##
    In an equation for ‛main’: main = print $ D# $ 3.0##