Testsuite wibbles from previous commits.
[ghc.git] / testsuite / tests / typecheck / should_fail / T9260.stderr
1
2 T9260.hs:12:8: error:
3     • Couldn't match type ‘2’ with ‘1’
4       Expected type: Fin 1
5         Actual type: Fin ((0 + 1) + 1)
6     • In the expression: Fsucc Fzero
7       In an equation for ‘test’: test = Fsucc Fzero