search

10Pines / pdepreludat

BSD 3-Clause "New" or "Revised" License
24 stars 2 forks source link

Avoid WARNING message for guarded equations #45

Closed fdodino closed 2 years ago

fdodino commented 2 years ago

Issue

We are currently experiencing a strange warning message whenever you try to use a guarded equation. We want to fix that.

image

Solution

Add pragma on both Library.hs and Spec.hs files.

JuanFdS commented 2 years ago

Parece que el problema viene por redefinir el otherwise. Acá tengo un proyecto que pueden descargarse y abrir desde vscode con la extensión para ver lo que pasa:

https://github.com/JuanFdS/ejemplo-bug-pdepreludat-incomplete-patterns-warning/blob/main/src/Library.hs

image

Tal vez en el código del warning de incomplete-patterns este hardcodeado que hacer en el caso de que haya un otherwise? Y el otherwise que nosotros redefinimos (para ponerle la doc en español) lo considera una función diferente y no tiene forma de saber que siempre va a ser True? Si ese es el caso tal vez esto se arregla con no redefinir otherwise y fue.

JuanFdS commented 2 years ago

Ahi agregue otra forma posible de solucionar el problema manteniendo el warning: https://github.com/10Pines/pdepreludat/pull/46

Fijense si les convence

@ludat @fdodino

fdodino commented 2 years ago

Uf, buenísimo porque era muy turbio pedirle a les pibes que hicieran Ctrl + . y agregaran el pragma... además de volar el warning valioso. Cierro este PR nomás.