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/LinearPatSyn.hs | |
| 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/LinearPatSyn.hs')
| -rw-r--r-- | testsuite/tests/linear/should_fail/LinearPatSyn.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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) |