Hi,

I tried to compile

val n = [ 1, 2, 3 ]

fun main () = return <xml> Hello World! </xml>

but got

/home/gergoe/local/sandbox/foo.ur:1:0-1:3: syntax error: replacing
VAL with  CON
Parse failure

Is the only way to define a list in Ur is to write

1 :: 2 :: 3 :: []   ?

- Gergely

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

Reply via email to