Closed LoPoHa closed 5 years ago
The commit https://github.com/moonad/Formality-Base/commit/513744e6899cdc411f75d47c5573bcde18ff9c19 added a wrong result for the match on zero case for m. It should return n instead of zero.
zero
m
n
The test the bottom only works because n <= m (in this case =)
n <= m
=
(Sorry for not making a pull request, i can't test my changes atm.)
Great catch again! Thanks.
VictorTaelin
commented
5 years ago VictorTaelin
commented
5 years ago
The commit https://github.com/moonad/Formality-Base/commit/513744e6899cdc411f75d47c5573bcde18ff9c19 added a wrong result for the match on
zerocase form. It should returnninstead ofzero.The test the bottom only works because
n <= m(in this case=)(Sorry for not making a pull request, i can't test my changes atm.)