search

bitonic / tog

26 stars 3 forks source link

Keep track of source spans in constraints #12

Open bitonic opened 10 years ago

bitonic commented 10 years ago

It would be great to track the source span for each expression, so that each constraint can record which span it's concerned with.