testsuite/tests/dependent/should_fail/T13135.stderr


1
2
3
4
5
6
7
8
9
10


T13135.hs:60:10: error:
    • No instance for ‘Constr :<: Constr’
        arising from a use of ‘smartSym’
    • In the expression: smartSym sym
      In an equation for ‘arrLen’:
          arrLen
            = smartSym sym
            where
                sym = Constr "arrLen"