diff options
| author | Andrei Borzenkov <andreyborzenkov2002@gmail.com> | 2023-01-27 17:48:33 +0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-03-21 11:17:17 -0400 |
| commit | a13affce1a6196ccff6c126112ab26823c85e727 (patch) | |
| tree | f93cabe0d62bfe2c809437a885019bc92418a9c3 /testsuite/tests/typecheck | |
| parent | 73d07c6e1986bd2b3516d4f009cc1e30ba804f06 (diff) | |
| download | haskell-a13affce1a6196ccff6c126112ab26823c85e727.tar.gz | |
Rename () into Unit, (,,...,,) into Tuple<n> (#21294)
This patch implements a part of GHC Proposal #475.
The key change is in GHC.Tuple.Prim:
- data () = ()
- data (a,b) = (a,b)
- data (a,b,c) = (a,b,c)
...
+ data Unit = ()
+ data Tuple2 a b = (a,b)
+ data Tuple3 a b c = (a,b,c)
...
And the rest of the patch makes sure that Unit and Tuple<n>
are pretty-printed as () and (,,...,,) in various contexts.
Updates the haddock submodule.
Co-authored-by: Vladislav Zavialov <vlad.z.4096@gmail.com>
Diffstat (limited to 'testsuite/tests/typecheck')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T18529.stderr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T18529.stderr b/testsuite/tests/typecheck/should_compile/T18529.stderr index 71542931fc..21b41159d4 100644 --- a/testsuite/tests/typecheck/should_compile/T18529.stderr +++ b/testsuite/tests/typecheck/should_compile/T18529.stderr @@ -6,7 +6,7 @@ TYPE CONSTRUCTORS COERCION AXIOMS axiom Bug.N:C :: forall a b. C a b = a -> b -> () Dependent modules: [] -Dependent packages: [base-4.17.0.0] +Dependent packages: [base-4.18.0.0] ==================== Typechecker ==================== Bug.$tcC @@ -32,7 +32,7 @@ $krep [InlPrag=[~]] = GHC.Types.KindRepFun GHC.Types.krep$* GHC.Types.krep$Constraint $krep [InlPrag=[~]] = GHC.Types.KindRepTyConApp - GHC.Tuple.Prim.$tc() [] @GHC.Types.KindRep + GHC.Tuple.Prim.$tcUnit [] @GHC.Types.KindRep Bug.$trModule = GHC.Types.Module (GHC.Types.TrNameS "main"#) (GHC.Types.TrNameS "Bug"#) |