Potentially better error message for the situation from Issue #1076.

google-research / dex-lang

Research language for array processing in the Haskell/ML family

BSD 3-Clause "New" or "Revised" License

1.58k stars 107 forks source link

Potentially better error message for the situation from Issue #1076. #1190

Closed axch closed 1 year ago

axch commented 1 year ago

To wit, the error message now includes the type variable solver state that led to the error, but I'm not completely convinced that this state is any more informative than not seeing it.