This is a start at rework following upgrades to lalr. I now map +,-,* etc onto a code called something like !:infixN and the mapping can be changed synamically in a way that should make it possible to support the SML "infix" and "infixr" directives. I also have a distinct lexical category for type-identifiers, and that will be used for "int", "string" and so on and also fo "'a" and other type variables. Right now things are broken because (among other things?) the token "=" is both an infix operator with left associativity and precedence 4, and a special token used in (for instance) "fun" and "val" declarations. The consequence of that is that I can not map "=" onto !:infix4 because then I could not use it after "val"...
This is a start at rework following upgrades to lalr. I now map +,-,* etc
onto a code called something like !:infixN and the mapping can be changed
synamically in a way that should make it possible to support the SML
"infix" and "infixr" directives. I also have a distinct lexical category
for type-identifiers, and that will be used for "int", "string" and so on
and also fo "'a" and other type variables. Right now things are broken because
(among other things?) the token "=" is both an infix operator with left
associativity and precedence 4, and a special token used in (for instance)
"fun" and "val" declarations. The consequence of that is that I can not
map "=" onto !:infix4 because then I could not use it after "val"...

arthurcnorman/general,arthurcnorman/general,arthurcnorman/general