From 5830a12c46e7227c276a8a71213057595ee4fc04 Mon Sep 17 00:00:00 2001 From: Vladislav Zavialov Date: Thu, 10 Sep 2020 14:41:25 +0300 Subject: New linear types syntax: a %p -> b (#18459) Implements GHC Proposal #356 Updates the haddock submodule. --- testsuite/tests/linear/should_fail/LinearPatSyn.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'testsuite/tests/linear/should_fail/LinearPatSyn.hs') diff --git a/testsuite/tests/linear/should_fail/LinearPatSyn.hs b/testsuite/tests/linear/should_fail/LinearPatSyn.hs index 3e947dba2e..3e87bfc078 100644 --- a/testsuite/tests/linear/should_fail/LinearPatSyn.hs +++ b/testsuite/tests/linear/should_fail/LinearPatSyn.hs @@ -7,8 +7,8 @@ module LinearPatSyn where -- seems to require changes to the desugarer. So currently pattern synonyms are -- disallowed in linear patterns. -pattern P :: b #-> a #-> (a, b) +pattern P :: b %1 -> a %1 -> (a, b) pattern P y x = (x, y) -s :: (a, b) #-> (b, a) +s :: (a, b) %1 -> (b, a) s (P y x) = (y, x) -- cgit v1.2.1