summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T13381.stderr
blob: 7f250eaec1c0d33b0e0992e6420c7a8f20995906 (plain)
1
2
3
4
5
6
7
8

T13381.hs:21:23: error:
    • Couldn't match type ‘Exp Int’ with ‘Int’
      Expected: Int -> Iter Int (Exp Char)
        Actual: Int -> Iter (Exp Int) (Exp Char)
    • In the first argument of ‘iterLoop’, namely ‘f’
      In the first argument of ‘fromExp’, namely ‘(iterLoop f init)’
      In the expression: fromExp (iterLoop f init)