diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-10-23 09:42:20 -0400 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2019-10-23 10:37:17 -0400 |
| commit | 2a5fc0ad50c857098558461434c29abd478ea0a1 (patch) | |
| tree | 0c1b0312461b6e23380e73d5187747d50970cb8f /html-test/src | |
| parent | cdf4445a877428f5969f712a95830af38029b9a0 (diff) | |
Reify oversaturated data family instances correctly (#1103)
This fixes #1103 by adapting the corresponding patch for GHC (see
https://gitlab.haskell.org/ghc/ghc/issues/17296 and
https://gitlab.haskell.org/ghc/ghc/merge_requests/1877).
Diffstat (limited to 'html-test/src')
| -rw-r--r-- | html-test/src/Bug1103.hs | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/html-test/src/Bug1103.hs b/html-test/src/Bug1103.hs new file mode 100644 index 00000000..1f387e62 --- /dev/null +++ b/html-test/src/Bug1103.hs @@ -0,0 +1,24 @@ +{-# LANGUAGE DataKinds #-} +{-# LANGUAGE GADTs #-} +{-# LANGUAGE PolyKinds #-} +{-# LANGUAGE TypeFamilies #-} +module Bug1103 where + +import Data.Kind + +data family Foo1 :: Type -> Type +data instance Foo1 Bool = Foo1Bool +data instance Foo1 (Maybe a) + +data family Foo2 :: k -> Type +data instance Foo2 Bool = Foo2Bool +data instance Foo2 (Maybe a) +data instance Foo2 :: Char -> Type +data instance Foo2 :: (Char -> Char) -> Type where + +data family Foo3 :: k +data instance Foo3 +data instance Foo3 Bool = Foo3Bool +data instance Foo3 (Maybe a) +data instance Foo3 :: Char -> Type +data instance Foo3 :: (Char -> Char) -> Type where |