Huzzah! This seems to work! Thanks Artyom! On Wed, May 17, 2017 at 11:01 PM, Aistis Raulinaitis <sheganin...@gmail.com> wrote:
> So I am trying to pass around a list (string * link) to a function that > will make the string a clickable link, however I run into this error. > > > fun some () : transaction page = return <xml></xml> > fun anot () : transaction page = return <xml></xml> > > fun link_list (l : list (string * (transaction page))) : xbody = > <xml> > {List.mapX (fn (s,p) => <xml><a link={p}>{[s]}</a></xml>) l} > </xml> > > fun main () : transaction page = > return <xml> > <body> > {link_list (("sm", some ()) :: ("anot", anot ()) :: [])} > </body> > </xml> > > > make -k > urweb main > /Users/ace/src/link_test/main.ur:7:44: (to 7:45) Invalid Link expression > Expression UNBOUND_0 > make: *** [all] Error 1 >
_______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur