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