A small doubt

Richard greon@best.com
Sat, 20 Oct 2001 10:42:29 -0700


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]