2011/8/31 Gergely Buday <[email protected]>:
> Hi,
>
> how can I use standard library components that are not in Basis.urs? I
> tried to use List.rev but got an "Unbound structure List" message. I
> tried various workarounds but none of them worked.

Just add
  $/list
line to your .urp file

_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur

Reply via email to