Scrub partiality about `NewOrData`.
Rather than a list of constructors and a `NewOrData` flag, we define `data DataDefnCons a = NewTypeCon a | DataTypeCons [a]`, which enforces a newtype to have exactly one constructor. Closes #22070. Bump haddock submodule.
Showing
- compiler/GHC/Hs/Decls.hs 47 additions, 31 deletionscompiler/GHC/Hs/Decls.hs
- compiler/GHC/Hs/Utils.hs 3 additions, 2 deletionscompiler/GHC/Hs/Utils.hs
- compiler/GHC/HsToCore/Docs.hs 4 additions, 3 deletionscompiler/GHC/HsToCore/Docs.hs
- compiler/GHC/HsToCore/Errors/Ppr.hs 0 additions, 4 deletionscompiler/GHC/HsToCore/Errors/Ppr.hs
- compiler/GHC/HsToCore/Errors/Types.hs 0 additions, 2 deletionscompiler/GHC/HsToCore/Errors/Types.hs
- compiler/GHC/HsToCore/Quote.hs 10 additions, 8 deletionscompiler/GHC/HsToCore/Quote.hs
- compiler/GHC/Iface/Ext/Ast.hs 15 additions, 4 deletionscompiler/GHC/Iface/Ext/Ast.hs
- compiler/GHC/Parser.y 5 additions, 5 deletionscompiler/GHC/Parser.y
- compiler/GHC/Parser/Errors/Ppr.hs 8 additions, 0 deletionscompiler/GHC/Parser/Errors/Ppr.hs
- compiler/GHC/Parser/Errors/Types.hs 2 additions, 0 deletionscompiler/GHC/Parser/Errors/Types.hs
- compiler/GHC/Parser/PostProcess.hs 15 additions, 8 deletionscompiler/GHC/Parser/PostProcess.hs
- compiler/GHC/Parser/PostProcess/Haddock.hs 3 additions, 2 deletionscompiler/GHC/Parser/PostProcess/Haddock.hs
- compiler/GHC/Rename/Module.hs 10 additions, 13 deletionscompiler/GHC/Rename/Module.hs
- compiler/GHC/Rename/Names.hs 2 additions, 1 deletioncompiler/GHC/Rename/Names.hs
- compiler/GHC/Rename/Utils.hs 13 additions, 5 deletionscompiler/GHC/Rename/Utils.hs
- compiler/GHC/Tc/TyCl.hs 56 additions, 60 deletionscompiler/GHC/Tc/TyCl.hs
- compiler/GHC/Tc/TyCl/Instance.hs 8 additions, 12 deletionscompiler/GHC/Tc/TyCl/Instance.hs
- compiler/GHC/ThToHs.hs 18 additions, 19 deletionscompiler/GHC/ThToHs.hs
- compiler/GHC/Types/Error/Codes.hs 1 addition, 1 deletioncompiler/GHC/Types/Error/Codes.hs
- compiler/GHC/Utils/Monad.hs 2 additions, 1 deletioncompiler/GHC/Utils/Monad.hs
Loading
Please register or sign in to comment