diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T7939.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7939.stdout | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/ghci/scripts/T7939.stdout b/testsuite/tests/ghci/scripts/T7939.stdout index db2590c930..82a8658906 100644 --- a/testsuite/tests/ghci/scripts/T7939.stdout +++ b/testsuite/tests/ghci/scripts/T7939.stdout @@ -15,13 +15,13 @@ type family H (a :: Bool) :: Bool H :: Bool -> Bool type family J (a :: [k]) :: Bool where - J k '[] = 'False - J k (h : t) = 'True + J '[] = 'False + J (h : t) = 'True -- Defined at T7939.hs:17:1 J :: [k] -> Bool type family K (a1 :: [a]) :: Maybe a where - K a '[] = 'Nothing - K a (h : t) = 'Just h + K '[] = 'Nothing + K (h : t) = 'Just h -- Defined at T7939.hs:21:1 K :: [a] -> Maybe a |