A small doubt

Patrik Jansson patrikj@cs.chalmers.se
Sat, 20 Oct 2001 19:54:55 +0200 (MET DST)

On Sat, 20 Oct 2001, Richard wrote:
> 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].

No, I did not! The program is tested in hugs and ghci and does what it

If I had used [a,b] then both test5 and test6 would work. I wanted to show
an example where a variable inside an irrefutable pattern is requested.
And further how the inner ~[] versus [] makes a difference.