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/th | |
| 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/th')
| -rw-r--r-- | testsuite/tests/th/T10019.stdout | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/T11345.stdout | 4 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_reifyLinear.hs | 2 | ||||
| -rw-r--r-- | testsuite/tests/th/TH_reifyLinear.stderr | 2 |
4 files changed, 5 insertions, 5 deletions
diff --git a/testsuite/tests/th/T10019.stdout b/testsuite/tests/th/T10019.stdout index 6acec6d98f..85510c1af1 100644 --- a/testsuite/tests/th/T10019.stdout +++ b/testsuite/tests/th/T10019.stdout @@ -1 +1 @@ -"Constructor from Ghci1.Option: Ghci1.Some :: forall (a_0 :: *) .\n a_0 #-> Ghci1.Option a_0" +"Constructor from Ghci1.Option: Ghci1.Some :: forall (a_0 :: *) .\n a_0 %1 -> Ghci1.Option a_0" diff --git a/testsuite/tests/th/T11345.stdout b/testsuite/tests/th/T11345.stdout index f710d847c8..782005a4fb 100644 --- a/testsuite/tests/th/T11345.stdout +++ b/testsuite/tests/th/T11345.stdout @@ -3,8 +3,8 @@ data Main.GADT (a_0 :: *) where GHC.Types.Int -> Main.GADT GHC.Types.Int (Main.:***:) :: GHC.Types.Int -> GHC.Types.Int -> Main.GADT GHC.Types.Int -Constructor from Main.GADT: (Main.:***:) :: GHC.Types.Int #-> - GHC.Types.Int #-> Main.GADT GHC.Types.Int +Constructor from Main.GADT: (Main.:***:) :: GHC.Types.Int %1 -> + GHC.Types.Int %1 -> Main.GADT GHC.Types.Int Nothing Just (Fixity 7 InfixR) 1 :****: 4 diff --git a/testsuite/tests/th/TH_reifyLinear.hs b/testsuite/tests/th/TH_reifyLinear.hs index c551ad9235..3a99dc79a6 100644 --- a/testsuite/tests/th/TH_reifyLinear.hs +++ b/testsuite/tests/th/TH_reifyLinear.hs @@ -4,7 +4,7 @@ module TH_reifyLinear where import Language.Haskell.TH import System.IO -type T = Int #-> Int +type T = Int %1 -> Int $( do x <- reify ''T diff --git a/testsuite/tests/th/TH_reifyLinear.stderr b/testsuite/tests/th/TH_reifyLinear.stderr index ed7866bfa8..5f2cceb12a 100644 --- a/testsuite/tests/th/TH_reifyLinear.stderr +++ b/testsuite/tests/th/TH_reifyLinear.stderr @@ -1 +1 @@ -type TH_reifyLinear.T = GHC.Types.Int #-> GHC.Types.Int +type TH_reifyLinear.T = GHC.Types.Int %1 -> GHC.Types.Int |