diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/abstract_refinement_substitutions.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/abstract_refinement_substitutions.stderr | 244 |
1 files changed, 182 insertions, 62 deletions
diff --git a/testsuite/tests/typecheck/should_compile/abstract_refinement_substitutions.stderr b/testsuite/tests/typecheck/should_compile/abstract_refinement_substitutions.stderr index 1b8bfdec8a..21398bb3fb 100644 --- a/testsuite/tests/typecheck/should_compile/abstract_refinement_substitutions.stderr +++ b/testsuite/tests/typecheck/should_compile/abstract_refinement_substitutions.stderr @@ -37,12 +37,20 @@ abstract_refinement_substitutions.hs:4:5: warning: [-Wtyped-holes (in -Wdefault) last :: forall a. [a] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.List’)) - undefined :: forall (a :: TYPE r). - GHC.Stack.Types.HasCallStack => - a + undefined :: forall a. GHC.Stack.Types.HasCallStack => a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Err’)) Valid refinement substitutions include + (<$) _ _ :: forall (f :: * -> *). + Functor f => + forall a b. a -> f b -> f a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + (<*) _ _ :: forall (f :: * -> *). + Applicative f => + forall a b. f a -> f b -> f a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) foldr _ _ :: forall (t :: * -> *). Foldable t => forall a b. (a -> b -> b) -> b -> t a -> b @@ -66,10 +74,10 @@ abstract_refinement_substitutions.hs:4:5: warning: [-Wtyped-holes (in -Wdefault) last _ _ :: forall a. [a] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.List’)) - head _ _ :: forall a. [a] -> a + head _ :: forall a. [a] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.List’)) - head _ :: forall a. [a] -> a + head _ _ :: forall a. [a] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.List’)) last _ :: forall a. [a] -> a @@ -78,25 +86,13 @@ abstract_refinement_substitutions.hs:4:5: warning: [-Wtyped-holes (in -Wdefault) (!!) _ _ :: forall a. [a] -> Int -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.List’)) - undefined _ :: forall (a :: TYPE r). - GHC.Stack.Types.HasCallStack => - a - (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 - (and originally defined in ‘GHC.Err’)) - errorWithoutStackTrace _ :: forall (a :: TYPE r). [Char] -> a + undefined _ :: forall a. GHC.Stack.Types.HasCallStack => a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Err’)) - error _ :: forall (a :: TYPE r). - GHC.Stack.Types.HasCallStack => - [Char] -> a + errorWithoutStackTrace _ :: forall a. [Char] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Err’)) - error _ _ :: forall (a :: TYPE r). - GHC.Stack.Types.HasCallStack => - [Char] -> a - (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 - (and originally defined in ‘GHC.Err’)) - errorWithoutStackTrace _ _ :: forall (a :: TYPE r). [Char] -> a + error _ _ :: forall a. GHC.Stack.Types.HasCallStack => [Char] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Err’)) id _ :: forall a. a -> a @@ -114,10 +110,15 @@ abstract_refinement_substitutions.hs:4:5: warning: [-Wtyped-holes (in -Wdefault) const _ _ :: forall a b. a -> b -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) + (=<<) _ _ :: forall (m :: * -> *) a b. + Monad m => + (a -> m b) -> m a -> m b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) (.) _ _ :: forall b c a. (b -> c) -> (a -> b) -> a -> c (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) - ($!) _ :: forall a (b :: TYPE r). (a -> b) -> a -> b + ($!) _ :: forall a b. (a -> b) -> a -> b (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) uncurry _ _ :: forall a b c. (a -> b -> c) -> (a, b) -> c @@ -126,13 +127,71 @@ abstract_refinement_substitutions.hs:4:5: warning: [-Wtyped-holes (in -Wdefault) curry _ _ :: forall a b c. ((a, b) -> c) -> a -> b -> c (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Tuple’)) - ($) _ :: forall a (b :: TYPE r). (a -> b) -> a -> b + pure _ :: forall (f :: * -> *). Applicative f => forall a. a -> f a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + (<*>) _ _ :: forall (f :: * -> *). + Applicative f => + forall a b. f (a -> b) -> f a -> f b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + return _ :: forall (m :: * -> *). Monad m => forall a. a -> m a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + return _ _ :: forall (m :: * -> *). Monad m => forall a. a -> m a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) - ($) _ _ :: forall a (b :: TYPE r). (a -> b) -> a -> b + pure _ _ :: forall (f :: * -> *). + Applicative f => + forall a. a -> f a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) - ($!) _ _ :: forall a (b :: TYPE r). (a -> b) -> a -> b + fmap _ _ :: forall (f :: * -> *). + Functor f => + forall a b. (a -> b) -> f a -> f b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + (<$>) _ _ :: forall (f :: * -> *) a b. + Functor f => + (a -> b) -> f a -> f b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘Data.Functor’)) + (>>) _ _ :: forall (m :: * -> *). + Monad m => + forall a b. m a -> m b -> m b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + (*>) _ _ :: forall (f :: * -> *). + Applicative f => + forall a b. f a -> f b -> f b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + (>>=) _ _ :: forall (m :: * -> *). + Monad m => + forall a b. m a -> (a -> m b) -> m b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + fail _ _ :: forall (m :: * -> *). + Monad m => + forall a. String -> m a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + fail _ :: forall (m :: * -> *). Monad m => forall a. String -> m a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + error _ :: forall a. GHC.Stack.Types.HasCallStack => [Char] -> a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Err’)) + errorWithoutStackTrace _ _ :: forall a. [Char] -> a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Err’)) + ($) _ :: forall a b. (a -> b) -> a -> b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + ($) _ _ :: forall a b. (a -> b) -> a -> b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + ($!) _ _ :: forall a b. (a -> b) -> a -> b (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) id _ _ :: forall a. a -> a @@ -144,18 +203,16 @@ abstract_refinement_substitutions.hs:4:5: warning: [-Wtyped-holes (in -Wdefault) snd _ _ :: forall a b. (a, b) -> b (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Tuple’)) - fst _ :: forall a b. (a, b) -> a + fst _ _ :: forall a b. (a, b) -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Tuple’)) - fst _ _ :: forall a b. (a, b) -> a + fst _ :: forall a b. (a, b) -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Tuple’)) seq _ _ :: forall a b. a -> b -> b (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Prim’)) - undefined _ _ :: forall (a :: TYPE r). - GHC.Stack.Types.HasCallStack => - a + undefined _ _ :: forall a. GHC.Stack.Types.HasCallStack => a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Err’)) @@ -171,12 +228,26 @@ abstract_refinement_substitutions.hs:7:5: warning: [-Wtyped-holes (in -Wdefault) const :: forall a b. a -> b -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) - undefined :: forall (a :: TYPE r). - GHC.Stack.Types.HasCallStack => - a + return :: forall (m :: * -> *). Monad m => forall a. a -> m a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + pure :: forall (f :: * -> *). Applicative f => forall a. a -> f a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + undefined :: forall a. GHC.Stack.Types.HasCallStack => a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Err’)) Valid refinement substitutions include + (<$) _ _ :: forall (f :: * -> *). + Functor f => + forall a b. a -> f b -> f a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + (<*) _ _ :: forall (f :: * -> *). + Applicative f => + forall a b. f a -> f b -> f a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) foldr _ :: forall (t :: * -> *). Foldable t => forall a b. (a -> b -> b) -> b -> t a -> b @@ -187,7 +258,7 @@ abstract_refinement_substitutions.hs:7:5: warning: [-Wtyped-holes (in -Wdefault) forall b a. (b -> a -> b) -> b -> t a -> b (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Foldable’)) - last _ _ :: forall a. [a] -> a + last _ :: forall a. [a] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.List’)) head _ _ :: forall a. [a] -> a @@ -196,34 +267,22 @@ abstract_refinement_substitutions.hs:7:5: warning: [-Wtyped-holes (in -Wdefault) head _ :: forall a. [a] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.List’)) - last _ :: forall a. [a] -> a + last _ _ :: forall a. [a] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.List’)) (!!) _ _ :: forall a. [a] -> Int -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.List’)) - undefined _ :: forall (a :: TYPE r). - GHC.Stack.Types.HasCallStack => - a + undefined _ _ :: forall a. GHC.Stack.Types.HasCallStack => a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Err’)) - errorWithoutStackTrace _ :: forall (a :: TYPE r). [Char] -> a + errorWithoutStackTrace _ :: forall a. [Char] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Err’)) - error _ :: forall (a :: TYPE r). - GHC.Stack.Types.HasCallStack => - [Char] -> a + error _ :: forall a. GHC.Stack.Types.HasCallStack => [Char] -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Err’)) - error _ _ :: forall (a :: TYPE r). - GHC.Stack.Types.HasCallStack => - [Char] -> a - (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 - (and originally defined in ‘GHC.Err’)) - errorWithoutStackTrace _ _ :: forall (a :: TYPE r). [Char] -> a - (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 - (and originally defined in ‘GHC.Err’)) - id _ :: forall a. a -> a + id _ _ :: forall a. a -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) flip _ :: forall a b c. (a -> b -> c) -> b -> a -> c @@ -241,31 +300,94 @@ abstract_refinement_substitutions.hs:7:5: warning: [-Wtyped-holes (in -Wdefault) const _ _ :: forall a b. a -> b -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) + (=<<) _ _ :: forall (m :: * -> *) a b. + Monad m => + (a -> m b) -> m a -> m b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) (.) _ _ :: forall b c a. (b -> c) -> (a -> b) -> a -> c (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) - ($!) _ _ :: forall a (b :: TYPE r). (a -> b) -> a -> b + ($!) _ _ :: forall a b. (a -> b) -> a -> b (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) uncurry _ _ :: forall a b c. (a -> b -> c) -> (a, b) -> c (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Tuple’)) - curry _ :: forall a b c. ((a, b) -> c) -> a -> b -> c + curry _ _ :: forall a b c. ((a, b) -> c) -> a -> b -> c (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Tuple’)) - curry _ _ :: forall a b c. ((a, b) -> c) -> a -> b -> c + curry _ :: forall a b c. ((a, b) -> c) -> a -> b -> c (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Tuple’)) - ($) _ :: forall a (b :: TYPE r). (a -> b) -> a -> b + pure _ :: forall (f :: * -> *). Applicative f => forall a. a -> f a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) - ($) _ _ :: forall a (b :: TYPE r). (a -> b) -> a -> b + (<*>) _ _ :: forall (f :: * -> *). + Applicative f => + forall a b. f (a -> b) -> f a -> f b (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) - ($!) _ :: forall a (b :: TYPE r). (a -> b) -> a -> b + return _ :: forall (m :: * -> *). Monad m => forall a. a -> m a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) - id _ _ :: forall a. a -> a + return _ _ :: forall (m :: * -> *). Monad m => forall a. a -> m a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + pure _ _ :: forall (f :: * -> *). + Applicative f => + forall a. a -> f a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + fmap _ _ :: forall (f :: * -> *). + Functor f => + forall a b. (a -> b) -> f a -> f b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + (<$>) _ _ :: forall (f :: * -> *) a b. + Functor f => + (a -> b) -> f a -> f b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘Data.Functor’)) + (>>) _ _ :: forall (m :: * -> *). + Monad m => + forall a b. m a -> m b -> m b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + (*>) _ _ :: forall (f :: * -> *). + Applicative f => + forall a b. f a -> f b -> f b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + (>>=) _ _ :: forall (m :: * -> *). + Monad m => + forall a b. m a -> (a -> m b) -> m b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + fail _ _ :: forall (m :: * -> *). + Monad m => + forall a. String -> m a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + fail _ :: forall (m :: * -> *). Monad m => forall a. String -> m a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + error _ _ :: forall a. GHC.Stack.Types.HasCallStack => [Char] -> a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Err’)) + errorWithoutStackTrace _ _ :: forall a. [Char] -> a + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Err’)) + ($) _ :: forall a b. (a -> b) -> a -> b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + ($) _ _ :: forall a b. (a -> b) -> a -> b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + ($!) _ :: forall a b. (a -> b) -> a -> b + (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 + (and originally defined in ‘GHC.Base’)) + id _ :: forall a. a -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Base’)) snd _ :: forall a b. (a, b) -> b @@ -274,17 +396,15 @@ abstract_refinement_substitutions.hs:7:5: warning: [-Wtyped-holes (in -Wdefault) snd _ _ :: forall a b. (a, b) -> b (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Tuple’)) - fst _ :: forall a b. (a, b) -> a + fst _ _ :: forall a b. (a, b) -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Tuple’)) - fst _ _ :: forall a b. (a, b) -> a + fst _ :: forall a b. (a, b) -> a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘Data.Tuple’)) seq _ _ :: forall a b. a -> b -> b (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Prim’)) - undefined _ _ :: forall (a :: TYPE r). - GHC.Stack.Types.HasCallStack => - a + undefined _ :: forall a. GHC.Stack.Types.HasCallStack => a (imported from ‘Prelude’ at abstract_refinement_substitutions.hs:1:8-38 (and originally defined in ‘GHC.Err’)) |