Filed. Bug #8952.
On Wed, Apr 2, 2014 at 3:41 PM, wren romano wrote:
> On Tue, Apr 1, 2014 at 3:02 PM, Dan Doel wrote:
> > Specifically, consider:
> >
> > case Nothing of
> > !(~(Just x)) -> 5
> > Nothing -> 12
> >
> > Now, the way I'd expect this to work, and how I think the sp
On Tue, Apr 1, 2014 at 3:02 PM, Dan Doel wrote:
> Specifically, consider:
>
> case Nothing of
> !(~(Just x)) -> 5
> Nothing -> 12
>
> Now, the way I'd expect this to work, and how I think the spec says it
> works, is that my Nothing is evaluated, and then the irrefutable ~(Just x)