0773da2bf581bf19992f09c970697f6b46582356
[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 (1 + 1)
6     • In the expression: Fsucc Fzero
7       In an equation for ‘test’: test = Fsucc Fzero