diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-10 14:41:25 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-29 00:32:05 -0400 |
| commit | 5830a12c46e7227c276a8a71213057595ee4fc04 (patch) | |
| tree | 70eacf5713115640af3ef83cb393e6f1a19d5096 /testsuite/tests/linear/should_fail/LinearErrOrigin.stderr | |
| parent | b31a3360e2ef12f3ec7eaf66b3600247c1eb36c3 (diff) | |
| download | haskell-5830a12c46e7227c276a8a71213057595ee4fc04.tar.gz | |
New linear types syntax: a %p -> b (#18459)
Implements GHC Proposal #356
Updates the haddock submodule.
Diffstat (limited to 'testsuite/tests/linear/should_fail/LinearErrOrigin.stderr')
| -rw-r--r-- | testsuite/tests/linear/should_fail/LinearErrOrigin.stderr | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr b/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr index 10b889a9a8..02dc7216db 100644 --- a/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr +++ b/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr @@ -3,14 +3,17 @@ LinearErrOrigin.hs:7:7: error: • Couldn't match type ‘p’ with ‘q’ arising from multiplicity of ‘x’ ‘p’ is a rigid type variable bound by the type signature for: - foo :: forall a b. (a -> b) -> a -> b - at LinearErrOrigin.hs:6:1-35 + foo :: forall a b (p :: GHC.Types.Multiplicity) + (q :: GHC.Types.Multiplicity). + (a # p -> b) -> a # q -> b + at LinearErrOrigin.hs:6:1-31 ‘q’ is a rigid type variable bound by the type signature for: - foo :: forall a b. (a -> b) -> a -> b - at LinearErrOrigin.hs:6:1-35 + foo :: forall a b (p :: GHC.Types.Multiplicity) + (q :: GHC.Types.Multiplicity). + (a # p -> b) -> a # q -> b + at LinearErrOrigin.hs:6:1-31 • In an equation for ‘foo’: foo f x = f x • Relevant bindings include f :: a # p -> b (bound at LinearErrOrigin.hs:7:5) - foo :: (a # p -> b) -> a # q -> b - (bound at LinearErrOrigin.hs:7:1) + foo :: (a # p -> b) -> a # q -> b (bound at LinearErrOrigin.hs:7:1) |