search

SMLFamily / Successor-ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
193 stars 10 forks source link

minor issue with the definition #6

Open RobertHarper opened 8 years ago

RobertHarper commented 8 years ago

The Definition as written cannot make up its mind whether it is working with abstract or concrete syntax. The distinction between "atomic patterns" and "patterns" is a case in point. I would say that the statics and dynamics is defined on abstract syntax, and eliminate all such holdovers from concrete syntax.

JohnReppy commented 8 years ago

I agree. One of the things on my TODO list is a unified (and modern) description of the concrete syntax of Successor ML. I think that we can then simplify the "syntax of the core" etc. to just refer to a normalized abstract syntax.