diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T7939.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7939.stdout | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/ghci/scripts/T7939.stdout b/testsuite/tests/ghci/scripts/T7939.stdout index 0d9e4d363c..6f0ab38948 100644 --- a/testsuite/tests/ghci/scripts/T7939.stdout +++ b/testsuite/tests/ghci/scripts/T7939.stdout @@ -16,18 +16,18 @@ type family G a where G :: * -> * type H :: Bool -> Bool type family H a where - H 'False = 'True + H False = True -- Defined at T7939.hs:15:1 H :: Bool -> Bool type J :: forall {k}. [k] -> Bool type family J a where - J '[] = 'False - forall k (h :: k) (t :: [k]). J (h : t) = 'True + J '[] = False + forall k (h :: k) (t :: [k]). J (h : t) = True -- Defined at T7939.hs:18:1 J :: [k] -> Bool type K :: forall {a}. [a] -> Maybe a type family K a1 where - K '[] = 'Nothing - forall a (h :: a) (t :: [a]). K (h : t) = 'Just h + K '[] = Nothing + forall a (h :: a) (t :: [a]). K (h : t) = Just h -- Defined at T7939.hs:22:1 K :: [a] -> Maybe a |