Hello ghc folks,
The following GADT program fails to typecheck, although I think it really
should be fine, so I'm reporting this as a bug. I'm sorry, but I haven't
been able to simplify the foo function any more without causing the error
to go away. :(
{-# OPTIONS_GHC -fglasgow-exts #-}
{-# OPTIONS_GHC -fglasgow-exts #-}
module Main where
data Foo a b where
Foo :: Int - Foo a b
data Patch a b where
PP :: Foo a b - Patch a b
Lis :: PL a b - Patch a b
data PL a b where
U :: Patch a b - PL a b
Nil :: PL x x
(:-) :: PL c d - PL d
Andres Loeh [EMAIL PROTECTED] writes:
Glasgow Haskell Compiler, Version 6.4, for Haskell 98, compiled by GHC
version 6.4
FWIW, same error with ghc-6.5 from a few weeks ago.
Same error from a ghc-cvs build from two days ago.
--
Shae Matijs Erisson - http://www.ScannedInAvian.com/ -