Context Navigation

Changes between Version 2 and Version 3 of CompositionAsDot

v2	v3
4	4
5	5	These 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
	8	Proposed syntaxes for [wiki:RankNTypes] and ExistentialQuantification also use . as a special symbol.
6	9
7	10	== Proposal ==
8	11
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).
	12	Reserve . 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).
10	13
11	14	== Pros ==
12	15
13		Much much simpler. Not impossible to remember.
	16	* Much much simpler. Not impossible to remember.
14	17
15	18	== Cons ==