Skip to content
  • Ross Paterson's avatar
    [project @ 2003-07-16 08:49:01 by ross] · 98232a61
    Ross Paterson authored
    Arrow notation: add a new (more primitive) form of command:
    
    	cmd ::= ... | cmd aexp
    
    analogous to ordinary application, and also represented using HsApp.
    To avoid an overlap, the syntax for combining forms is changed to
    
    	(|aexp cmd1 ... cmdn|)
    98232a61