search

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 9 forks source link

[patch] Fix an error message in partial-instance processing #260

Closed tnelson closed 5 months ago

tnelson commented 5 months ago

A piecewise bind referencing an un-assigned relation on the RHS would previously produce a Racket-level error.