[Ur] list syntax

[Gergely Buday]

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