Changes between Version 1 and Version 2 of CompositionAsDot


Ignore:
Timestamp:
Dec 8, 2005 11:37:47 AM (8 years ago)
Author:
malcolm.wallace@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CompositionAsDot

    v1 v2  
    1515== Cons == 
    1616 
    17  * We lose . as composition. Mostly this doesn't matter as $ is probably more common in reality anyway. Perhaps use `o` as infix composition instead if it is really important. 
     17 * We lose . as composition. Mostly this doesn't matter as $ is probably more common in reality anyway. Perhaps use 
     18   {{{`o`}}} as infix composition instead if it is really important.  Note that {{{`o`}}} is three characters - it 
     19   would be nicer to use plain {{{o}}} infix, but that would require another special lexical rule. 
    1820 * We need to make a special case of .. in the [m .. n] case.