Syntax for anonymous functions [Re: [Agda] AIM XIII code sprints]
Nils Anders Danielsson
nad at chalmers.se
Fri May 6 22:26:16 CEST 2011
On 2011-05-06 17:50, Noam Zeilberger wrote:
> See the other email I just sent -- if I recall correctly, the problem
> was the overloading of "->" as a type constructor (and hence possibly
> appearing in parser "Expr"s, and hence possibly on the left-hand side
> of pattern-matching clauses), causing shift-reduce conflicts.
Is the grammar ambiguous? I don't think we should let our tools dictate
the design of the language.
--
/NAD
More information about the Agda
mailing list