diff options
Diffstat (limited to 'testsuite/tests/linear')
3 files changed, 9 insertions, 9 deletions
diff --git a/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr b/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr index 02dc7216db..7bd7222618 100644 --- a/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr +++ b/testsuite/tests/linear/should_fail/LinearErrOrigin.stderr @@ -5,15 +5,15 @@ LinearErrOrigin.hs:7:7: error: the type signature for: foo :: forall a b (p :: GHC.Types.Multiplicity) (q :: GHC.Types.Multiplicity). - (a # p -> b) -> a # q -> b + (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 (p :: GHC.Types.Multiplicity) (q :: GHC.Types.Multiplicity). - (a # p -> b) -> a # q -> b + (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) + f :: a %p -> b (bound at LinearErrOrigin.hs:7:5) + foo :: (a %p -> b) -> a %q -> b (bound at LinearErrOrigin.hs:7:1) diff --git a/testsuite/tests/linear/should_fail/LinearPartialSig.stderr b/testsuite/tests/linear/should_fail/LinearPartialSig.stderr index 704fcb258c..cc302ec4b6 100644 --- a/testsuite/tests/linear/should_fail/LinearPartialSig.stderr +++ b/testsuite/tests/linear/should_fail/LinearPartialSig.stderr @@ -3,5 +3,5 @@ LinearPartialSig.hs:5:9: error: • Found type wildcard ‘_’ standing for ‘'Many :: GHC.Types.Multiplicity’ To use the inferred type, enable PartialTypeSignatures - • In the type ‘a # _ -> a’ - In the type signature: f :: a # _ -> a + • In the type ‘a %_ -> a’ + In the type signature: f :: a %_ -> a diff --git a/testsuite/tests/linear/should_fail/LinearVar.stderr b/testsuite/tests/linear/should_fail/LinearVar.stderr index cdbb4de1c9..85a9cff899 100644 --- a/testsuite/tests/linear/should_fail/LinearVar.stderr +++ b/testsuite/tests/linear/should_fail/LinearVar.stderr @@ -1,13 +1,13 @@ LinearVar.hs:5:5: error: • Couldn't match type ‘m’ with ‘'Many’ - Expected: a # m -> b + Expected: a %m -> b Actual: a -> b ‘m’ is a rigid type variable bound by the type signature for: - f :: forall a b (m :: GHC.Types.Multiplicity). a # m -> b + f :: forall a b (m :: GHC.Types.Multiplicity). a %m -> b at LinearVar.hs:4:1-14 • In the expression: undefined :: a -> b In an equation for ‘f’: f = undefined :: a -> b • Relevant bindings include - f :: a # m -> b (bound at LinearVar.hs:5:1) + f :: a %m -> b (bound at LinearVar.hs:5:1) |