diff options
| author | unknown <simonpj@MSRC-4971295.europe.corp.microsoft.com> | 2013-10-01 16:53:08 +0100 |
|---|---|---|
| committer | unknown <simonpj@MSRC-4971295.europe.corp.microsoft.com> | 2013-10-01 16:55:40 +0100 |
| commit | 0ad7cdb3aee3100a7a573a6647de7333ab10aa6a (patch) | |
| tree | 7f1738b275da63ac3f91d68cbdbd6d30c3d04d84 /testsuite/tests/ghci | |
| parent | b275be6b82e40a885a8320f6c2931bb3da9ab505 (diff) | |
| download | haskell-0ad7cdb3aee3100a7a573a6647de7333ab10aa6a.tar.gz | |
Error message wibbles,
following
a) suppressing kind foralls and arguments
b) better fundep error messages
Diffstat (limited to 'testsuite/tests/ghci')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T7939.stdout | 46 |
1 files changed, 23 insertions, 23 deletions
diff --git a/testsuite/tests/ghci/scripts/T7939.stdout b/testsuite/tests/ghci/scripts/T7939.stdout index 9a01bac2ee..863eb2ffef 100644 --- a/testsuite/tests/ghci/scripts/T7939.stdout +++ b/testsuite/tests/ghci/scripts/T7939.stdout @@ -1,23 +1,23 @@ -class Foo (k :: BOX) (a :: k) where - type family Bar (k :: BOX) (a :: k) b :: * - -- Defined at T7939.hs:6:9 -Bar :: k -> * -> * -type family F a :: * -- Defined at T7939.hs:8:13 -type instance F Int -- Defined at T7939.hs:9:1 -F :: * -> * -type family G a :: * where G Int = Bool - -- Defined at T7939.hs:11:13 -G :: * -> * -type family H (a :: Bool) :: Bool where H 'False = 'True - -- Defined at T7939.hs:14:13 -H :: Bool -> Bool -type family J (k :: BOX) (a :: [k]) :: Bool where - J k ('[] k) = 'False - J k ((':) k h t) = 'True - -- Defined at T7939.hs:17:13 -J :: [k] -> Bool -type family K (k :: BOX) (a :: [k]) :: Maybe k where - K k ('[] k) = 'Nothing k - K k ((':) k h t) = 'Just k h - -- Defined at T7939.hs:21:13 -K :: [k] -> Maybe k +class Foo (a :: k) where
+ type family Bar (a :: k) b :: *
+ -- Defined at T7939.hs:6:9
+Bar :: k -> * -> *
+type family F a :: * -- Defined at T7939.hs:8:13
+type instance F Int -- Defined at T7939.hs:9:1
+F :: * -> *
+type family G a :: * where G Int = Bool
+ -- Defined at T7939.hs:11:13
+G :: * -> *
+type family H (a :: Bool) :: Bool where H 'False = 'True
+ -- Defined at T7939.hs:14:13
+H :: Bool -> Bool
+type family J (a :: [k]) :: Bool where
+ J '[] = 'False
+ J (h : t) = 'True
+ -- Defined at T7939.hs:17:13
+J :: [k] -> Bool
+type family K (a :: [k]) :: Maybe k where
+ K '[] = 'Nothing
+ K (h : t) = 'Just h
+ -- Defined at T7939.hs:21:13
+K :: [k] -> Maybe k
|