Repository navigation

Catch `NoBinding()` exceptions in `solver_getType...` functions - #65

Merged

DavyLandman merged 1 commit into

mainfrom

catch-nobinding-timely

Sep 9, 2026

Merged

Catch `NoBinding()` exceptions in `solver_getType...` functions#65
DavyLandman merged 1 commit into
mainfrom
catch-nobinding-timely

Commits on Sep 9, 2026
- Add catch clauses to `getTypeInScopeFromName`, `getTypeInScope`, and `getTypeInType` to avoid leaking `NoBinding()` exceptions out of the solver
  sungshik
  committed
  6cc541f