search

conjure-cp / conjure

Conjure: The Automated Constraint Modelling Tool
Other
96 stars 20 forks source link

Specify which generator is unsupported in error message #516

Open stylpe opened 2 years ago

stylpe commented 2 years ago

My model is growing quite large, and so are the errors I get. Try to find what's wrong in this one: https://replit.com/@SuperMikal/Conjure-and-Essence-20220507#feedback/What%20unsupported%20generator/stdout (error output starts at line 1222)

There's a LOT of context there 😅 so knowing which function or operator I'm looking for would be helpful.

Also, the same goes for all the "Not refined" cases, maybe printing an abstract types-only representation of the failing expression would help, or a copy of the original expression as the top level context, since the variables are all generated and too hard to recognise and figure out which type they have

ozgurakgun commented 2 years ago

Sorry I missed this. I agree we can give a bit more context from the original expression.

We can get away with the current error messages most of the time since Essence files are typically not very long :)