e pattern guard solution looks like our best option to fix the
| ordering issue.
|
| Thanks,
|
| Gabor
|
| >
| > Simon
| >
| > | -Original Message-
| > | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of
| > | Gabor Greif
|
Gabor
>
> Simon
>
> | -Original Message-
> | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Gabor
> | Greif
> | Sent: 03 March 2015 14:13
> | To: ghc-devs@haskell.org
> | Subject: Re: Pattern
c-devs@haskell.org
| Subject: Re: Pattern matching and GADTs
|
| This might be off-topic for your paper, but possibly relevant for GADT-
| based programming:
|
| In the below snippet
| -
| {-# LANGUAGE GADTs, PatternGuard
This might be off-topic for your paper, but possibly relevant for
GADT-based programming:
In the below snippet
-
{-# LANGUAGE GADTs, PatternGuards #-}
data Bar a where
Listy :: Bar [Int]
{-
foo :: a -> Bar a -> Int
foo [0] Listy =
