Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Explain plugin broken on demo example #721

Open
denismerigoux opened this issue Oct 11, 2024 · 3 comments
Open

Explain plugin broken on demo example #721

denismerigoux opened this issue Oct 11, 2024 · 3 comments
Assignees
Labels
❌ bug Something isn't working 🔧 compiler Issue concerns the compiler

Comments

@denismerigoux
Copy link
Contributor

On this file : https://github.com/CatalaLang/catala-examples/blob/exemple_explication/exemple_explication/apl_locatif.catala_fr

The command catala explain apl_locatif.catala_fr -s Exemple1 returns the error :

┌─[ERROR]─
│
│  Operator +$ applied to the wrong arguments (should not happen if the term was well-typed)
│
│ Operator (value +$):
├─➤ apl_locatif.catala_fr:116.22-116.23:
│     │
│ 116 │       loyer_éligible + montant_forfaitaire_charges_d823_16
│     │                      ‾
├─ Code de la construction est de l'habitation
│  └─ Article D823-16
│
│ Argument n°1, value $239.48
├─➤ apl_locatif.catala_fr:775.16-775.23:
│     │
│ 775 │     -- Zone1 : 239,48€
│     │                ‾‾‾‾‾‾‾
├─ Arrêté du 27 septembre 2019 relatif au calcul des aides personnelles au logement et de la prime de déménagement
│  └─ Article 16
│
│ Argument n°2, value PersonneSeule ()
├─➤ apl_locatif.catala_fr:847.59-847.72:
│     │
│ 847 │   définition calcul.situation_familiale_calcul_apl égal à PersonneSeule
│     │                                                           ‾‾‾‾‾‾‾‾‾‾‾‾‾
└─ Tests

Looks like there is a bug in the lazy evaluation...

@denismerigoux
Copy link
Contributor Author

Apparently it only happens on one of my machines?

@AltGr
Copy link
Contributor

AltGr commented Oct 14, 2024

I can reproduce on the new version of the example :/
Looking into it

@AltGr
Copy link
Contributor

AltGr commented Oct 14, 2024

ok it's in the new stuff I added to remove neutral elements from operations that stg is going wrong so worst case we just need to disable that

AltGr added a commit that referenced this issue Oct 15, 2024
They don't display well. Incidentally that seems to work around issue #721 on
our example.
AltGr added a commit that referenced this issue Oct 28, 2024
They don't display well. Incidentally that seems to work around issue #721 on
our example.
AltGr added a commit that referenced this issue Oct 29, 2024
They don't display well. Incidentally that seems to work around issue #721 on
our example.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
❌ bug Something isn't working 🔧 compiler Issue concerns the compiler
Projects
Status: Todo
Development

No branches or pull requests

2 participants