Changes between Version 2 and Version 3 of PrefixMinusResolution

Timestamp:

07/13/10 08:38:24 (3 years ago)

Author:

maeder

Comment:

created ticket and added deps

PrefixMinusResolution

@@ -1 +1 @@
 = Proposal: PrefixMinusResolution =
 
-|| Ticket       ||  ||
-|| Dependencies ||  ||
-|| Related      || FixityResolution NegativeSyntax NegationBindsTightly ||
+|| Ticket       || #138 ||
+|| Dependencies || reject NegativeSyntax NegationBindsTightly ||
+|| Related      || FixityResolution ||
 
 == Compiler support ==
@@ -73 +73 @@
 My point 3. is backed by the fact that "in case of doubt" prefix application should bind stronger than infix application.
 
+== Report Delta ==
 
-== Report Delta ==