rowandavies / sml-cidre

SML Checker for Intersection and Datasort Refinements (pronounced "cider")
http://www.cs.cmu.edu/~rowan/sorts.html
Other
20 stars 2 forks source link

The parser says "SORT" when it means "SORTDEF". #13

Open rowandavies opened 12 years ago

rowandavies commented 12 years ago

I just realized that the names of the lexeme constructors are externally visible, so this old syntax change can lead to confusing error messages. Easily fixed, but my working set's stack and queue are both at capacity right now, so I'm putting this here as something soothing to do later.