Haskell - Expectativa Uses: no detecta usos en record syntax

[asanzo]

¡Buenas!

Esta solución para este desafío tira como que no usa la función cuantoLePuedeDar y sí la usa.

cuantoLePuedeDar auto1 auto2 = min (nivelNafta auto1) (tamanioTanque auto2 - nivelNafta auto2)

transferir :: Auto -> Auto -> (Auto,Auto)
transferir auto1 auto2 = (auto1 {nivelNafta = (nivelNafta auto1) - cuantoLePuedeDar  auto1 auto2}, auto2 {nivelNafta = (nivelNafta auto2) + cuantoLePuedeDar auto1 auto2})

¿Tendrá algo que ver con que esté dentro de un constructor con record syntax?

[asanzo]

Estuve jugando un ratito.

La última línea de ese código, que aparentemente parsea a algo así como:

(HsIdent "transferir") [HsPVar (HsIdent "auto1"),HsPVar (HsIdent "auto2")] (HsUnGuardedRhs (HsTuple [HsRecUpdate (HsVar (UnQual (HsIdent "auto1"))) [HsFieldUpdate (UnQual (HsIdent "nivelNafta")) (HsInfixApp (HsParen (HsApp (HsVar (UnQual (HsIdent "nivelNafta"))) (HsVar (UnQual (HsIdent "auto1"))))) (HsQVarOp (UnQual (HsSymbol "-"))) (HsApp (HsApp (HsVar (UnQual (HsIdent "cuantoLePuedeDar"))) (HsVar (UnQual (HsIdent "auto1")))) (HsVar (UnQual (HsIdent "auto2")))))],HsRecUpdate (HsVar (UnQual (HsIdent "auto2"))) [HsFieldUpdate (UnQual (HsIdent "nivelNafta")) (HsInfixApp (HsParen (HsApp (HsVar (UnQual (HsIdent "nivelNafta"))) (HsVar (UnQual (HsIdent "auto2"))))) (HsQVarOp (UnQual (HsSymbol "+"))) (HsApp (HsApp (HsVar (UnQual (HsIdent "cuantoLePuedeDar"))) (HsVar (UnQual (HsIdent "auto1")))) (HsVar (UnQual (HsIdent "auto2")))))]])) []]]

Tiene constructores como HsRecUpdate (y dentro de él HsFieldUpdate) que no estarían siendo considerados acá:

https://github.com/mumuki/mulang/blob/master/src/Language/Mulang/Parsers/Haskell.hs

Y ya que estamos, creo que tampoco está construyendo el árbol para HsRecConstr, que según lo que veo acá serían los constructores por record syntax como UnAuto {nafta = 100}.

No sé si cargar el issue en Mulang. @julian-berbel @flbulgarelli Lo cargo ahí?

Tampoco sabría definir a qué debería parsear eso.

[augusleca]

Gracias por la ayuda Alf! Muy interesante

[julian-berbel]

👋 efectivamente este issue pertenece en mulang!