blob: 2a6c0ac16c679723cb765f1b393d761e8d5ea75d (
plain)
1
2
3
4
5
6
7
8
|
T9260.hs:12:14: error:
• Couldn't match type ‘1’ with ‘0’
Expected: Fin 0
Actual: Fin (0 + 1)
• In the first argument of ‘Fsucc’, namely ‘Fzero’
In the expression: Fsucc Fzero
In an equation for ‘test’: test = Fsucc Fzero
|