RE: [repeat post] Re: Syntax for implicit parameters

[Alastair Reid]

I wrote:
>   eval (Let v e1 e2) = eval e2 with ?env = (v, eval e1) : ?env

[Blush] Andy Gill pointed out that this example was ambiguous because
 it wasn't clear if I wanted this "Let" to be recursive or non-recursive.

My intention was that this was a non-recursive let.

--
Alastair Reid

_______________________________________________
Hugs-Bugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/hugs-bugs