franklindyer / fol-graph-game

A little game that teaches first-order-logic using graphs.
2 stars 0 forks source link

Need more descriptive error messages visible to the user #1

Open franklindyer opened 4 months ago

franklindyer commented 4 months ago

Parse errors need to be reported to the user more thoroughly and descriptively. Right now, there are several kinds of "silent" parse errors, for instance the error in which an unbound variable is used. This particular error can happen often if the user does not parenthesize their formula enough, so it could be very frustrating.