Re: bad recursion

[Hannah Schroeter]

Hello!

On Sun, Jan 16, 2000 at 06:44:02PM +0100, Pablo E. Martinez Lopez wrote:
> [...]

>   let undef = undef
>    in case undef of
>         (ps,xs',ys') -> 1:ps
>   ~
>   _|_

But there's the possibility of irrefutable matches
let undef=undef in case undef of (a,b) -> 1
  => _|_
let undef=undef in case undef of ~(a,b) -> 1
  => 1

> [...]

Regards, Hannah.