[Ur] Anonymous function remains at code generation?

[Istvan Chung]

On 06/02/2013 10:21 AM, Adam Chlipala wrote:
> This error message was a consequence of details of an optimization rule
> in the compiler.  Currently, all first-class functions must be
> eliminated from server-side code before compilation ends; the code
> generation scheme just doesn't have any way of dealing with them.  Small
> changes in optimizations can affect whether certain first-class
> functions survive, and every piece of [transaction] code effectively
> becomes such a function.
> 
> I've pushed a changeset that fixes the problem for your code, though it
> might break something else.  A different, more fundamental way of
> handling this issue is on my to-do list for the next big Ur/Web rewrite. ;)

Yes, that problem is now fixed for the test code, but it still occurs
(in the same place) in the actual, larger code from which the test code
was taken. I'll try to find a small example of this.

-- 
Istvan Chung