Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / T9260.stderr
1
2 T9260.hs:12:14: error:
3     • Couldn't match type ‘1’ with ‘0’
4       Expected type: Fin 0
5         Actual type: Fin (0 + 1)
6     • In the first argument of ‘Fsucc’, namely ‘Fzero’
7       In the expression: Fsucc Fzero
8       In an equation for ‘test’: test = Fsucc Fzero