Changes between Version 2 and Version 3 of CompositionAsDot


Ignore:
Timestamp:
Dec 8, 2005 12:04:16 PM (8 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CompositionAsDot

    v2 v3  
    44 
    55These two uses do not fit well together, leading to special lexical rules (P11 of the report). As a test, before reading the report, can you lex the following: "f.g", "F.g", "F . g", "f..", "F..", and "F.". I couldn't. 
     6(See QualifiedIdentifiers for a related problem.) 
     7 
     8Proposed syntaxes for [wiki:RankNTypes] and ExistentialQuantification also use . as a special symbol. 
    69 
    710== Proposal == 
    811 
    9 Reserve . for use as a qualifier in names. Do not permit . as an operator symbol. (Also continue to permit it as a decimal point in floats). 
     12Reserve . for use as a qualifier in names. Do not permit . as an operator symbol (or as a symbol character?). (Also continue to permit it as a decimal point in floats). 
    1013 
    1114== Pros == 
    1215 
    13 Much much simpler. Not impossible to remember. 
     16 * Much much simpler. Not impossible to remember. 
    1417 
    1518== Cons ==