Fix tests broken by c9a88db3ac4f1c3e97e3492ebe076f2df6463540
authorBen Gamari <ben@smart-cactus.org>
Tue, 13 Feb 2018 22:49:02 +0000 (17:49 -0500)
committerBen Gamari <ben@smart-cactus.org>
Tue, 13 Feb 2018 22:49:43 +0000 (17:49 -0500)
testsuite/tests/ghci/scripts/T5545.stdout
testsuite/tests/typecheck/should_compile/holes.stderr
testsuite/tests/typecheck/should_compile/holes3.stderr

index 2262c35..9780ffc 100644 (file)
@@ -1,2 +1,5 @@
-($!) :: (a -> b) -> a -> b     -- Defined in ‘GHC.Base’
+($!) ::
+  forall (r :: GHC.Types.RuntimeRep) a (b :: TYPE r).
+  (a -> b) -> a -> b
+       -- Defined in ‘GHC.Base’
 infixr 0 $!
index 8421e9a..a4b32cd 100644 (file)
@@ -371,9 +371,6 @@ holes.hs:11:15: warning: [-Wtyped-holes (in -Wdefault)]
         (.) :: forall b c a. (b -> c) -> (a -> b) -> a -> c
           (imported from ‘Prelude’ at holes.hs:1:8-12
            (and originally defined in ‘GHC.Base’))
-        ($!) :: forall a b. (a -> b) -> a -> b
-          (imported from ‘Prelude’ at holes.hs:1:8-12
-           (and originally defined in ‘GHC.Base’))
         uncurry :: forall a b c. (a -> b -> c) -> (a, b) -> c
           (imported from ‘Prelude’ at holes.hs:1:8-12
            (and originally defined in ‘Data.Tuple’))
@@ -463,6 +460,9 @@ holes.hs:11:15: warning: [-Wtyped-holes (in -Wdefault)]
         ($) :: forall a (b :: TYPE r). (a -> b) -> a -> b
           (imported from ‘Prelude’ at holes.hs:1:8-12
            (and originally defined in ‘GHC.Base’))
+        ($!) :: forall a (b :: TYPE r). (a -> b) -> a -> b
+          (imported from ‘Prelude’ at holes.hs:1:8-12
+           (and originally defined in ‘GHC.Base’))
         id :: forall a. a -> a
           (imported from ‘Prelude’ at holes.hs:1:8-12
            (and originally defined in ‘GHC.Base’))
index ce1c947..add03e2 100644 (file)
@@ -374,9 +374,6 @@ holes3.hs:11:15: error:
         (.) :: forall b c a. (b -> c) -> (a -> b) -> a -> c
           (imported from ‘Prelude’ at holes3.hs:1:8-13
            (and originally defined in ‘GHC.Base’))
-        ($!) :: forall a b. (a -> b) -> a -> b
-          (imported from ‘Prelude’ at holes3.hs:1:8-13
-           (and originally defined in ‘GHC.Base’))
         uncurry :: forall a b c. (a -> b -> c) -> (a, b) -> c
           (imported from ‘Prelude’ at holes3.hs:1:8-13
            (and originally defined in ‘Data.Tuple’))
@@ -466,6 +463,9 @@ holes3.hs:11:15: error:
         ($) :: forall a (b :: TYPE r). (a -> b) -> a -> b
           (imported from ‘Prelude’ at holes3.hs:1:8-13
            (and originally defined in ‘GHC.Base’))
+        ($!) :: forall a (b :: TYPE r). (a -> b) -> a -> b
+          (imported from ‘Prelude’ at holes3.hs:1:8-13
+           (and originally defined in ‘GHC.Base’))
         id :: forall a. a -> a
           (imported from ‘Prelude’ at holes3.hs:1:8-13
            (and originally defined in ‘GHC.Base’))