Patrik Jansson writes:
>This also works: (the (mis)match with the empty list is delayed
> until the end of time)
>
>> test5= let a: b: ~(c: ~[]) = "Hello"
>> in [a,b,c]
^^^^^^^
typo! You meant [a,b].
>But this fails (if the full list is requested ...)
>
>> test6= let a: b: ~(c: []) = "Hello"
>> in [a,b,c]