diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-08 08:30:05 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-08 08:30:05 +0000 |
| commit | 441a87a10e0a97c7af8beb19dfb02eb375c0e01f (patch) | |
| tree | 32cc04cdf7bb37361195738647b59ed5393d9963 /testsuite/tests/indexed-types/should_compile/GADT12.hs | |
| parent | 8f01d1e494edfe94810d73705e61acb0d1e695c2 (diff) | |
| download | haskell-441a87a10e0a97c7af8beb19dfb02eb375c0e01f.tar.gz | |
Wibbles to error messages and tests, following ambiguity-check changes
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/GADT12.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_compile/GADT12.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/GADT12.hs b/testsuite/tests/indexed-types/should_compile/GADT12.hs index 4eb5124c1d..89362f3cbb 100644 --- a/testsuite/tests/indexed-types/should_compile/GADT12.hs +++ b/testsuite/tests/indexed-types/should_compile/GADT12.hs @@ -22,17 +22,17 @@ data Type a where data Expr :: * -> * -> * {- tu a -} where Const :: Type a -> a -> Expr tu (TU tu a) - Var2 :: String -> TU tu (Type a) -> Expr tu (TU tu a) + Var2 :: a -> TU tu (Type a) -> Expr tu (TU tu a) bug1 :: Expr Typed Bool -> () bug1 (Const TypeBool False) = () bug2a :: Expr Typed Bool -> () -bug2a (Var2 "x" (TypeBool :: Type Bool)) = () +bug2a (Var2 x (TypeBool :: Type Bool)) = () bug2c :: Expr Typed Bool -> () -bug2c (Var2 "x" TypeBool) = () +bug2c (Var2 x TypeBool) = () bug2b :: Expr Typed (TU Typed Bool) -> () -bug2b (Var2 "x" TypeBool) = () +bug2b (Var2 x TypeBool) = () |