summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T13506.stderr
blob: 50ea1b21c52becfd74d38daad2761880abb9d62d (plain)
1
2
3
4
5
6
7
8

T13506.hs:16:12: error:
    • Couldn't match type ‘Char’ with ‘()’
        arising from a functional dependency between:
          constraint ‘FunDep [Char] ()’ arising from a use of ‘singleton’
          instance ‘FunDep [a] a’ at T13506.hs:5:10-21
    • In the expression: singleton ()
      In an equation for ‘illTyped’: illTyped = singleton ()