Gergely Buday wrote:
I get the following error message:[gergoe@flagship sandbox]$ urweb mapm /home/gergoe/local/sandbox/mapm.ur:12:45-12:56: Anonymous function remains at code generation [...] fun main () = sources<- List.mapM source (tabulate 12 (fn n => 0)); return<xml/> [gergoe@flagship sandbox]$ cat mapm.urp
Minor gotcha about the way the optimizer works. No first-class functions may remain after optimization for server-side code, and higher-order functions are currently only specialized to particular function arguments when those arguments occur as prefixes of the full argument lists. That is, swap the argument order of [tabulate] and it should work.
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
