diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-06-20 14:43:57 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-06-28 19:02:41 -0400 |
| commit | 251471e7706ea3029b4a0c086035c16e7b67a081 (patch) | |
| tree | 2a561e2a2efa544b7535c12ed71b62c536ba3fa1 /testsuite/tests/typecheck | |
| parent | eecab8f9847ebf576fbe2f6a2b9564c25a0230e0 (diff) | |
| download | haskell-251471e7706ea3029b4a0c086035c16e7b67a081.tar.gz | |
Cleanup BuiltInSyntax vs UserSyntax
There was some confusion about whether FUN/TYPE/One/Many should be
BuiltInSyntax or UserSyntax. The answer is certainly UserSyntax as
BuiltInSyntax is for things which are directly constructed by the parser
rather than going through normal renaming channels.
I fixed all the obviously wrong places I could find and added a test for
the original bug which was caused by this (#21752)
Fixes #21752 #20695 #18302
Diffstat (limited to 'testsuite/tests/typecheck')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/holes.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/holes3.stderr | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_compile/holes.stderr b/testsuite/tests/typecheck/should_compile/holes.stderr index cde126e969..dd5c497db2 100644 --- a/testsuite/tests/typecheck/should_compile/holes.stderr +++ b/testsuite/tests/typecheck/should_compile/holes.stderr @@ -52,8 +52,6 @@ holes.hs:11:15: warning: [-Wtyped-holes (in -Wdefault)] LT :: Ordering EQ :: Ordering GT :: Ordering - One :: GHC.Types.Multiplicity - Many :: GHC.Types.Multiplicity () :: () lines :: String -> [String] unlines :: [String] -> String diff --git a/testsuite/tests/typecheck/should_compile/holes3.stderr b/testsuite/tests/typecheck/should_compile/holes3.stderr index 4dec2c57a5..c14e9e7b5c 100644 --- a/testsuite/tests/typecheck/should_compile/holes3.stderr +++ b/testsuite/tests/typecheck/should_compile/holes3.stderr @@ -55,8 +55,6 @@ holes3.hs:11:15: error: LT :: Ordering EQ :: Ordering GT :: Ordering - One :: GHC.Types.Multiplicity - Many :: GHC.Types.Multiplicity () :: () lines :: String -> [String] unlines :: [String] -> String |