conjure
conjure copied to clipboard
Specify which generator is unsupported in error message
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
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 :)