search

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages
https://mlabs-haskell.github.io/lambda-buffers/
Apache License 2.0
29 stars 0 forks source link

`SolverError` in API #50

Closed gnumonik closed 1 year ago

gnumonik commented 1 year ago 
          I suggest `SolverError` as this will eventually go into the API as `TyClassSolverError` or smtn like that.

_Originally posted by @bladyjoker in https://github.com/mlabs-haskell/lambda-buffers/pull/43#discussion_r1102595283_

gnumonik commented 1 year ago

It'll make more sense to do this after #44 is mostly-finalized because we won't have a good idea of what that message will look like until that PR is (nearly) done.