search

iu-parfunc / accelerack

C Bindings for Accelerate, Racket Frontend to Accelerate
2 stars 2 forks source link

Use a stack of contexts, not just one. #52

Open rrnewton opened 8 years ago

rrnewton commented 8 years ago

This will make the unify errors better. Especially when they show just one small bit of syntax, like one symbol.

But it's low-priority, because in DrRacket it takes you right to where the error is.

rrnewton commented 8 years ago

If this ends up being a new struct for contexts, it should include not just a stack of syntax objects, but also extra messages to print out in the event of an error. That way callers of unify-type can attach extra free-form context info.