Bump `base` version to 4.9.0.0 (closes #11026)
[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