Since folder is declared (in the standard library) as a constructor synonym, and Ur/Web can infer folders, shouldn't folders be considered "implicit constructor arguments" for the purpose of @ and @@? The reference manual doesn't mention folders when it talks about @ and @@.
Or am I being too pedantic? ;) Or am I misunderstanding how inference works? _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
