Ah right—Xml is just a list of something, and the "for" loop has the effect of
concat'ing. That's what I'd forgotten—thanks! —Ezra
On Thu, Jul 18, 2019, at 2:11 AM, Sam Lindley wrote:
>
> links> <tr>{concat(replicate (10, <td/>))}</tr>;
> <tr><td/><td/><td/><td/><td/><td/><td/><td/><td/><td/></tr> : Xml
> links> <tr>{for (_ <- [1..10]) <td/>}</tr>;
> <tr><td/><td/><td/><td/><td/><td/><td/><td/><td/><td/></tr> : Xml
> links> fun catlicate(n, xs) {concat(replicate(n, xs))};
> catlicate = fun : (Int, [a]) ~> [a]
> links> <tr>{catlicate (10, <td/>)}</tr>;
> <tr><td/><td/><td/><td/><td/><td/><td/><td/><td/><td/></tr> : Xml
>
> Sam
_______________________________________________
links-users mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/links-users
