rationalize the grammars

cpsc411 / cpsc411-book

The WIP book for CPSC 411

Other

59 stars 7 forks source link

Open wilbowma opened 2 years ago

wilbowma commented 2 years ago

s -> effect transition makes no sense; use context-named convention consistently
triv vs opand
ambiguity between triv and loc in v2 language #18

wilbowma commented 2 years ago

in milestone 5, we get a very confusion switch from triv to opand. I think it would help if we introduce rator (which should replace trg too).

wilbowma commented 2 years ago

Ambiguity in s in paren-x64-v2: (set! reg loc) vs (set! reg triv), since both RHS can contain reg.