ghc-lib-parser 8.10.2.20200916 → 8.10.3.20201220
raw patch · 8 files changed
+79/−25 lines, 8 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- Binary: instance (GHC.Arr.Ix a, Binary.Binary a, Binary.Binary b) => Binary.Binary (GHC.Arr.Array a b)
- DynFlags: Opt_ByteCode :: GeneralFlag
- GHC.Exts.Heap: instance (GHC.Prim.Addr# Data.Type.Equality.~ a) => GHC.Exts.Heap.HasHeapRep a
- GHC.Exts.Heap: instance (GHC.Prim.Double# Data.Type.Equality.~ a) => GHC.Exts.Heap.HasHeapRep a
- GHC.Exts.Heap: instance (GHC.Prim.Float# Data.Type.Equality.~ a) => GHC.Exts.Heap.HasHeapRep a
- GHC.Exts.Heap: instance (GHC.Prim.Int# Data.Type.Equality.~ a) => GHC.Exts.Heap.HasHeapRep a
- GHC.Exts.Heap: instance (GHC.Prim.Int64# Data.Type.Equality.~ a) => GHC.Exts.Heap.HasHeapRep a
- GHC.Exts.Heap: instance (GHC.Prim.Word# Data.Type.Equality.~ a) => GHC.Exts.Heap.HasHeapRep a
- GHC.Exts.Heap: instance (GHC.Prim.Word64# Data.Type.Equality.~ a) => GHC.Exts.Heap.HasHeapRep a
- GHC.Hs.Instances: instance Data.Data.Data (GHC.Hs.Types.HsArg (GHC.Hs.Types.LHsType GHC.Hs.Extension.GhcPs) (GHC.Hs.Types.LHsKind GHC.Hs.Extension.GhcPs))
- GHC.Hs.Instances: instance Data.Data.Data (GHC.Hs.Types.HsArg (GHC.Hs.Types.LHsType GHC.Hs.Extension.GhcRn) (GHC.Hs.Types.LHsKind GHC.Hs.Extension.GhcRn))
- GHC.Hs.Instances: instance Data.Data.Data (GHC.Hs.Types.HsArg (GHC.Hs.Types.LHsType GHC.Hs.Extension.GhcTc) (GHC.Hs.Types.LHsKind GHC.Hs.Extension.GhcTc))
- RdrHsSyn: instance (p Data.Type.Equality.~ GHC.Hs.Extension.GhcPs) => RdrHsSyn.DisambECP (GHC.Hs.Expr.HsCmd p)
- RdrHsSyn: instance (p Data.Type.Equality.~ GHC.Hs.Extension.GhcPs) => RdrHsSyn.DisambECP (GHC.Hs.Expr.HsExpr p)
- RdrHsSyn: instance (p Data.Type.Equality.~ GHC.Hs.Extension.GhcPs) => RdrHsSyn.DisambInfixOp (GHC.Hs.Expr.HsExpr p)
+ Binary: instance (GHC.Ix.Ix a, Binary.Binary a, Binary.Binary b) => Binary.Binary (GHC.Arr.Array a b)
+ DynFlags: Opt_ByteCodeIfUnboxed :: GeneralFlag
+ DynFlags: pgm_install_name_tool :: DynFlags -> String
+ DynFlags: pgm_otool :: DynFlags -> String
+ GHC.Exts.Heap: instance (GHC.Prim.Addr# GHC.Types.~ a) => GHC.Exts.Heap.HasHeapRep a
+ GHC.Exts.Heap: instance (GHC.Prim.Double# GHC.Types.~ a) => GHC.Exts.Heap.HasHeapRep a
+ GHC.Exts.Heap: instance (GHC.Prim.Float# GHC.Types.~ a) => GHC.Exts.Heap.HasHeapRep a
+ GHC.Exts.Heap: instance (GHC.Prim.Int# GHC.Types.~ a) => GHC.Exts.Heap.HasHeapRep a
+ GHC.Exts.Heap: instance (GHC.Prim.Int64# GHC.Types.~ a) => GHC.Exts.Heap.HasHeapRep a
+ GHC.Exts.Heap: instance (GHC.Prim.Word# GHC.Types.~ a) => GHC.Exts.Heap.HasHeapRep a
+ GHC.Exts.Heap: instance (GHC.Prim.Word64# GHC.Types.~ a) => GHC.Exts.Heap.HasHeapRep a
+ GHC.Exts.Heap.Closures: closureSize :: Box -> Int
+ GHC.Hs.Instances: instance Data.Data.Data (GHC.Hs.Types.LHsTypeArg GHC.Hs.Extension.GhcPs)
+ GHC.Hs.Instances: instance Data.Data.Data (GHC.Hs.Types.LHsTypeArg GHC.Hs.Extension.GhcRn)
+ GHC.Hs.Instances: instance Data.Data.Data (GHC.Hs.Types.LHsTypeArg GHC.Hs.Extension.GhcTc)
+ GhcPrelude: class Monad m => MonadFail (m :: Type -> Type)
+ RdrHsSyn: instance (p GHC.Types.~ GHC.Hs.Extension.GhcPs) => RdrHsSyn.DisambECP (GHC.Hs.Expr.HsCmd p)
+ RdrHsSyn: instance (p GHC.Types.~ GHC.Hs.Extension.GhcPs) => RdrHsSyn.DisambECP (GHC.Hs.Expr.HsExpr p)
+ RdrHsSyn: instance (p GHC.Types.~ GHC.Hs.Extension.GhcPs) => RdrHsSyn.DisambInfixOp (GHC.Hs.Expr.HsExpr p)
+ Settings: sPgm_install_name_tool :: Settings -> String
+ Settings: sPgm_otool :: Settings -> String
+ ToolSettings: [toolSettings_pgm_install_name_tool] :: ToolSettings -> String
+ ToolSettings: [toolSettings_pgm_otool] :: ToolSettings -> String
- CoAxiom: MkBranches :: Array BranchIndex CoAxBranch -> Branches
+ CoAxiom: MkBranches :: Array BranchIndex CoAxBranch -> Branches (br :: BranchFlag)
- CoAxiom: [unMkBranches] :: Branches -> Array BranchIndex CoAxBranch
+ CoAxiom: [unMkBranches] :: Branches (br :: BranchFlag) -> Array BranchIndex CoAxBranch
- CoAxiom: type Branched = 'Branched
+ CoAxiom: type Branched = 'Branched
- CoAxiom: type Unbranched = 'Unbranched
+ CoAxiom: type Unbranched = 'Unbranched
- Digraph: flattenSCC :: () => SCC vertex -> [vertex]
+ Digraph: flattenSCC :: SCC vertex -> [vertex]
- Digraph: flattenSCCs :: () => [SCC a] -> [a]
+ Digraph: flattenSCCs :: [SCC a] -> [a]
- GHC.Hs.Extension: type GhcPs = GhcPass 'Parsed
+ GHC.Hs.Extension: type GhcPs = GhcPass 'Parsed
- GHC.Hs.Extension: type GhcRn = GhcPass 'Renamed
+ GHC.Hs.Extension: type GhcRn = GhcPass 'Renamed
- GHC.Hs.Extension: type GhcTc = GhcPass 'Typechecked
+ GHC.Hs.Extension: type GhcTc = GhcPass 'Typechecked
- GHC.PackageDb: [DbOpenReadOnly] :: DbOpenMode 'DbReadOnly t
+ GHC.PackageDb: [DbOpenReadOnly] :: DbOpenMode 'DbReadOnly t
- GHC.PackageDb: [DbOpenReadWrite] :: t -> DbOpenMode 'DbReadWrite t
+ GHC.PackageDb: [DbOpenReadWrite] :: t -> DbOpenMode 'DbReadWrite t
- GhcPrelude: (!!) :: () => [a] -> Int -> a
+ GhcPrelude: (!!) :: [a] -> Int -> a
- GhcPrelude: ($!) :: () => (a -> b) -> a -> b
+ GhcPrelude: ($!) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
- GhcPrelude: ($) :: () => (a -> b) -> a -> b
+ GhcPrelude: ($) :: forall (r :: RuntimeRep) a (b :: TYPE r). (a -> b) -> a -> b
- GhcPrelude: (++) :: () => [a] -> [a] -> [a]
+ GhcPrelude: (++) :: [a] -> [a] -> [a]
- GhcPrelude: (.) :: () => (b -> c) -> (a -> b) -> a -> c
+ GhcPrelude: (.) :: (b -> c) -> (a -> b) -> a -> c
- GhcPrelude: asTypeOf :: () => a -> a -> a
+ GhcPrelude: asTypeOf :: a -> a -> a
- GhcPrelude: break :: () => (a -> Bool) -> [a] -> ([a], [a])
+ GhcPrelude: break :: (a -> Bool) -> [a] -> ([a], [a])
- GhcPrelude: const :: () => a -> b -> a
+ GhcPrelude: const :: a -> b -> a
- GhcPrelude: curry :: () => ((a, b) -> c) -> a -> b -> c
+ GhcPrelude: curry :: ((a, b) -> c) -> a -> b -> c
- GhcPrelude: cycle :: () => [a] -> [a]
+ GhcPrelude: cycle :: [a] -> [a]
- GhcPrelude: drop :: () => Int -> [a] -> [a]
+ GhcPrelude: drop :: Int -> [a] -> [a]
- GhcPrelude: dropWhile :: () => (a -> Bool) -> [a] -> [a]
+ GhcPrelude: dropWhile :: (a -> Bool) -> [a] -> [a]
- GhcPrelude: either :: () => (a -> c) -> (b -> c) -> Either a b -> c
+ GhcPrelude: either :: (a -> c) -> (b -> c) -> Either a b -> c
- GhcPrelude: error :: HasCallStack => [Char] -> a
+ GhcPrelude: error :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => [Char] -> a
- GhcPrelude: errorWithoutStackTrace :: () => [Char] -> a
+ GhcPrelude: errorWithoutStackTrace :: forall (r :: RuntimeRep) (a :: TYPE r). [Char] -> a
- GhcPrelude: fail :: Monad m => String -> m a
+ GhcPrelude: fail :: MonadFail m => String -> m a
- GhcPrelude: filter :: () => (a -> Bool) -> [a] -> [a]
+ GhcPrelude: filter :: (a -> Bool) -> [a] -> [a]
- GhcPrelude: flip :: () => (a -> b -> c) -> b -> a -> c
+ GhcPrelude: flip :: (a -> b -> c) -> b -> a -> c
- GhcPrelude: fst :: () => (a, b) -> a
+ GhcPrelude: fst :: (a, b) -> a
- GhcPrelude: head :: () => [a] -> a
+ GhcPrelude: head :: [a] -> a
- GhcPrelude: id :: () => a -> a
+ GhcPrelude: id :: a -> a
- GhcPrelude: infixl 6 -
+ GhcPrelude: infixl 6 +
- GhcPrelude: init :: () => [a] -> [a]
+ GhcPrelude: init :: [a] -> [a]
- GhcPrelude: ioError :: () => IOError -> IO a
+ GhcPrelude: ioError :: IOError -> IO a
- GhcPrelude: iterate :: () => (a -> a) -> a -> [a]
+ GhcPrelude: iterate :: (a -> a) -> a -> [a]
- GhcPrelude: last :: () => [a] -> a
+ GhcPrelude: last :: [a] -> a
- GhcPrelude: map :: () => (a -> b) -> [a] -> [b]
+ GhcPrelude: map :: (a -> b) -> [a] -> [b]
- GhcPrelude: maybe :: () => b -> (a -> b) -> Maybe a -> b
+ GhcPrelude: maybe :: b -> (a -> b) -> Maybe a -> b
- GhcPrelude: readParen :: () => Bool -> ReadS a -> ReadS a
+ GhcPrelude: readParen :: Bool -> ReadS a -> ReadS a
- GhcPrelude: repeat :: () => a -> [a]
+ GhcPrelude: repeat :: a -> [a]
- GhcPrelude: replicate :: () => Int -> a -> [a]
+ GhcPrelude: replicate :: Int -> a -> [a]
- GhcPrelude: reverse :: () => [a] -> [a]
+ GhcPrelude: reverse :: [a] -> [a]
- GhcPrelude: scanl :: () => (b -> a -> b) -> b -> [a] -> [b]
+ GhcPrelude: scanl :: (b -> a -> b) -> b -> [a] -> [b]
- GhcPrelude: scanl1 :: () => (a -> a -> a) -> [a] -> [a]
+ GhcPrelude: scanl1 :: (a -> a -> a) -> [a] -> [a]
- GhcPrelude: scanr :: () => (a -> b -> b) -> b -> [a] -> [b]
+ GhcPrelude: scanr :: (a -> b -> b) -> b -> [a] -> [b]
- GhcPrelude: scanr1 :: () => (a -> a -> a) -> [a] -> [a]
+ GhcPrelude: scanr1 :: (a -> a -> a) -> [a] -> [a]
- GhcPrelude: seq :: () => a -> b -> b
+ GhcPrelude: seq :: forall (r :: RuntimeRep) a (b :: TYPE r). a -> b -> b
- GhcPrelude: snd :: () => (a, b) -> b
+ GhcPrelude: snd :: (a, b) -> b
- GhcPrelude: span :: () => (a -> Bool) -> [a] -> ([a], [a])
+ GhcPrelude: span :: (a -> Bool) -> [a] -> ([a], [a])
- GhcPrelude: splitAt :: () => Int -> [a] -> ([a], [a])
+ GhcPrelude: splitAt :: Int -> [a] -> ([a], [a])
- GhcPrelude: tail :: () => [a] -> [a]
+ GhcPrelude: tail :: [a] -> [a]
- GhcPrelude: take :: () => Int -> [a] -> [a]
+ GhcPrelude: take :: Int -> [a] -> [a]
- GhcPrelude: takeWhile :: () => (a -> Bool) -> [a] -> [a]
+ GhcPrelude: takeWhile :: (a -> Bool) -> [a] -> [a]
- GhcPrelude: uncurry :: () => (a -> b -> c) -> (a, b) -> c
+ GhcPrelude: uncurry :: (a -> b -> c) -> (a, b) -> c
- GhcPrelude: undefined :: HasCallStack => a
+ GhcPrelude: undefined :: forall (r :: RuntimeRep) (a :: TYPE r). HasCallStack => a
- GhcPrelude: until :: () => (a -> Bool) -> (a -> a) -> a -> a
+ GhcPrelude: until :: (a -> Bool) -> (a -> a) -> a -> a
- GhcPrelude: unzip :: () => [(a, b)] -> ([a], [b])
+ GhcPrelude: unzip :: [(a, b)] -> ([a], [b])
- GhcPrelude: unzip3 :: () => [(a, b, c)] -> ([a], [b], [c])
+ GhcPrelude: unzip3 :: [(a, b, c)] -> ([a], [b], [c])
- GhcPrelude: zip :: () => [a] -> [b] -> [(a, b)]
+ GhcPrelude: zip :: [a] -> [b] -> [(a, b)]
- GhcPrelude: zip3 :: () => [a] -> [b] -> [c] -> [(a, b, c)]
+ GhcPrelude: zip3 :: [a] -> [b] -> [c] -> [(a, b, c)]
- GhcPrelude: zipWith :: () => (a -> b -> c) -> [a] -> [b] -> [c]
+ GhcPrelude: zipWith :: (a -> b -> c) -> [a] -> [b] -> [c]
- GhcPrelude: zipWith3 :: () => (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
+ GhcPrelude: zipWith3 :: (a -> b -> c -> d) -> [a] -> [b] -> [c] -> [d]
- HscTypes: ModIface :: !Module -> !Maybe Module -> !HscSource -> Dependencies -> [Usage] -> ![IfaceExport] -> !Bool -> [(OccName, Fixity)] -> Warnings -> [IfaceAnnotation] -> [IfaceDeclExts phase] -> !Maybe GlobalRdrEnv -> [IfaceClsInst] -> [IfaceFamInst] -> [IfaceRule] -> !AnyHpcUsage -> !IfaceTrustInfo -> !Bool -> [IfaceCompleteMatch] -> Maybe HsDocString -> DeclDocMap -> ArgDocMap -> !IfaceBackendExts phase -> ModIface_
+ HscTypes: ModIface :: !Module -> !Maybe Module -> !HscSource -> Dependencies -> [Usage] -> ![IfaceExport] -> !Bool -> [(OccName, Fixity)] -> Warnings -> [IfaceAnnotation] -> [IfaceDeclExts phase] -> !Maybe GlobalRdrEnv -> [IfaceClsInst] -> [IfaceFamInst] -> [IfaceRule] -> !AnyHpcUsage -> !IfaceTrustInfo -> !Bool -> [IfaceCompleteMatch] -> Maybe HsDocString -> DeclDocMap -> ArgDocMap -> !IfaceBackendExts phase -> ModIface_ (phase :: ModIfacePhase)
- HscTypes: [mi_anns] :: ModIface_ -> [IfaceAnnotation]
+ HscTypes: [mi_anns] :: ModIface_ (phase :: ModIfacePhase) -> [IfaceAnnotation]
- HscTypes: [mi_arg_docs] :: ModIface_ -> ArgDocMap
+ HscTypes: [mi_arg_docs] :: ModIface_ (phase :: ModIfacePhase) -> ArgDocMap
- HscTypes: [mi_complete_sigs] :: ModIface_ -> [IfaceCompleteMatch]
+ HscTypes: [mi_complete_sigs] :: ModIface_ (phase :: ModIfacePhase) -> [IfaceCompleteMatch]
- HscTypes: [mi_decl_docs] :: ModIface_ -> DeclDocMap
+ HscTypes: [mi_decl_docs] :: ModIface_ (phase :: ModIfacePhase) -> DeclDocMap
- HscTypes: [mi_decls] :: ModIface_ -> [IfaceDeclExts phase]
+ HscTypes: [mi_decls] :: ModIface_ (phase :: ModIfacePhase) -> [IfaceDeclExts phase]
- HscTypes: [mi_deps] :: ModIface_ -> Dependencies
+ HscTypes: [mi_deps] :: ModIface_ (phase :: ModIfacePhase) -> Dependencies
- HscTypes: [mi_doc_hdr] :: ModIface_ -> Maybe HsDocString
+ HscTypes: [mi_doc_hdr] :: ModIface_ (phase :: ModIfacePhase) -> Maybe HsDocString
- HscTypes: [mi_exports] :: ModIface_ -> ![IfaceExport]
+ HscTypes: [mi_exports] :: ModIface_ (phase :: ModIfacePhase) -> ![IfaceExport]
- HscTypes: [mi_fam_insts] :: ModIface_ -> [IfaceFamInst]
+ HscTypes: [mi_fam_insts] :: ModIface_ (phase :: ModIfacePhase) -> [IfaceFamInst]
- HscTypes: [mi_final_exts] :: ModIface_ -> !IfaceBackendExts phase
+ HscTypes: [mi_final_exts] :: ModIface_ (phase :: ModIfacePhase) -> !IfaceBackendExts phase
- HscTypes: [mi_fixities] :: ModIface_ -> [(OccName, Fixity)]
+ HscTypes: [mi_fixities] :: ModIface_ (phase :: ModIfacePhase) -> [(OccName, Fixity)]
- HscTypes: [mi_globals] :: ModIface_ -> !Maybe GlobalRdrEnv
+ HscTypes: [mi_globals] :: ModIface_ (phase :: ModIfacePhase) -> !Maybe GlobalRdrEnv
- HscTypes: [mi_hpc] :: ModIface_ -> !AnyHpcUsage
+ HscTypes: [mi_hpc] :: ModIface_ (phase :: ModIfacePhase) -> !AnyHpcUsage
- HscTypes: [mi_hsc_src] :: ModIface_ -> !HscSource
+ HscTypes: [mi_hsc_src] :: ModIface_ (phase :: ModIfacePhase) -> !HscSource
- HscTypes: [mi_insts] :: ModIface_ -> [IfaceClsInst]
+ HscTypes: [mi_insts] :: ModIface_ (phase :: ModIfacePhase) -> [IfaceClsInst]
- HscTypes: [mi_module] :: ModIface_ -> !Module
+ HscTypes: [mi_module] :: ModIface_ (phase :: ModIfacePhase) -> !Module
- HscTypes: [mi_rules] :: ModIface_ -> [IfaceRule]
+ HscTypes: [mi_rules] :: ModIface_ (phase :: ModIfacePhase) -> [IfaceRule]
- HscTypes: [mi_sig_of] :: ModIface_ -> !Maybe Module
+ HscTypes: [mi_sig_of] :: ModIface_ (phase :: ModIfacePhase) -> !Maybe Module
- HscTypes: [mi_trust] :: ModIface_ -> !IfaceTrustInfo
+ HscTypes: [mi_trust] :: ModIface_ (phase :: ModIfacePhase) -> !IfaceTrustInfo
- HscTypes: [mi_trust_pkg] :: ModIface_ -> !Bool
+ HscTypes: [mi_trust_pkg] :: ModIface_ (phase :: ModIfacePhase) -> !Bool
- HscTypes: [mi_usages] :: ModIface_ -> [Usage]
+ HscTypes: [mi_usages] :: ModIface_ (phase :: ModIfacePhase) -> [Usage]
- HscTypes: [mi_used_th] :: ModIface_ -> !Bool
+ HscTypes: [mi_used_th] :: ModIface_ (phase :: ModIfacePhase) -> !Bool
- HscTypes: [mi_warns] :: ModIface_ -> Warnings
+ HscTypes: [mi_warns] :: ModIface_ (phase :: ModIfacePhase) -> Warnings
- HscTypes: type ModIface = ModIface_ 'ModIfaceFinal
+ HscTypes: type ModIface = ModIface_ 'ModIfaceFinal
- HscTypes: type PartialModIface = ModIface_ 'ModIfaceCore
+ HscTypes: type PartialModIface = ModIface_ 'ModIfaceCore
- Language.Haskell.TH.Syntax: TExp :: Exp -> TExp
+ Language.Haskell.TH.Syntax: TExp :: Exp -> TExp (a :: TYPE (r :: RuntimeRep))
- Language.Haskell.TH.Syntax: [unType] :: TExp -> Exp
+ Language.Haskell.TH.Syntax: [unType] :: TExp (a :: TYPE (r :: RuntimeRep)) -> Exp
- Language.Haskell.TH.Syntax: lift :: (Lift t, r ~ 'LiftedRep) => t -> Q Exp
+ Language.Haskell.TH.Syntax: lift :: (Lift t, r ~ 'LiftedRep) => t -> Q Exp
- Maybes: MaybeT :: m (Maybe a) -> MaybeT a
+ Maybes: MaybeT :: m (Maybe a) -> MaybeT (m :: Type -> Type) a
- Maybes: [runMaybeT] :: MaybeT a -> m (Maybe a)
+ Maybes: [runMaybeT] :: MaybeT (m :: Type -> Type) a -> m (Maybe a)
- Outputable: trace :: () => String -> a -> a
+ Outputable: trace :: String -> a -> a
- Panic: trace :: () => String -> a -> a
+ Panic: trace :: String -> a -> a
- Parser: parsePattern :: P (Located (Pat (GhcPass Parsed)))
+ Parser: parsePattern :: P (Located (Pat (GhcPass 'Parsed)))
- ToolSettings: ToolSettings :: Bool -> Bool -> Bool -> Bool -> Bool -> String -> (String, [Option]) -> String -> String -> (String, [Option]) -> (String, [Option]) -> (String, [Option]) -> (String, [Option]) -> String -> String -> String -> String -> String -> (String, [Option]) -> (String, [Option]) -> (String, [Option]) -> String -> [String] -> [String] -> Fingerprint -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> ToolSettings
+ ToolSettings: ToolSettings :: Bool -> Bool -> Bool -> Bool -> Bool -> String -> (String, [Option]) -> String -> String -> (String, [Option]) -> (String, [Option]) -> (String, [Option]) -> (String, [Option]) -> String -> String -> String -> String -> String -> String -> String -> (String, [Option]) -> (String, [Option]) -> (String, [Option]) -> String -> [String] -> [String] -> Fingerprint -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> [String] -> ToolSettings
- Util: foldl1' :: () => (a -> a -> a) -> [a] -> a
+ Util: foldl1' :: (a -> a -> a) -> [a] -> a
Files
- compiler/main/DynFlags.hs +46/−8
- compiler/main/Settings.hs +6/−0
- compiler/main/ToolSettings.hs +2/−0
- ghc-lib-parser.cabal +1/−2
- ghc-lib/stage0/compiler/build/Parser.hs +17/−10
- ghc-lib/stage0/lib/ghcversion.h +1/−1
- ghc-lib/stage0/lib/settings +2/−0
- ghc-lib/stage0/libraries/ghc-boot/build/GHC/Version.hs +4/−4
compiler/main/DynFlags.hs view
@@ -156,8 +156,8 @@ versionedAppDir, versionedFilePath, extraGccViaCFlags, systemPackageConfig, pgm_L, pgm_P, pgm_F, pgm_c, pgm_a, pgm_l, pgm_lm, pgm_dll, pgm_T,- pgm_windres, pgm_libtool, pgm_ar, pgm_ranlib, pgm_lo, pgm_lc,- pgm_lcc, pgm_i,+ pgm_windres, pgm_libtool, pgm_ar, pgm_otool, pgm_install_name_tool,+ pgm_ranlib, pgm_lo, pgm_lc, pgm_lcc, pgm_i, opt_L, opt_P, opt_F, opt_c, opt_cxx, opt_a, opt_l, opt_lm, opt_i, opt_P_signature, opt_windres, opt_lo, opt_lc, opt_lcc,@@ -659,7 +659,7 @@ | Opt_SingleLibFolder | Opt_KeepCAFs | Opt_KeepGoing- | Opt_ByteCode+ | Opt_ByteCodeIfUnboxed -- output style opts | Opt_ErrorSpans -- Include full span info in error messages,@@ -1464,6 +1464,10 @@ pgm_lcc dflags = toolSettings_pgm_lcc $ toolSettings dflags pgm_ar :: DynFlags -> String pgm_ar dflags = toolSettings_pgm_ar $ toolSettings dflags+pgm_otool :: DynFlags -> String+pgm_otool dflags = toolSettings_pgm_otool $ toolSettings dflags+pgm_install_name_tool :: DynFlags -> String+pgm_install_name_tool dflags = toolSettings_pgm_install_name_tool $ toolSettings dflags pgm_ranlib :: DynFlags -> String pgm_ranlib dflags = toolSettings_pgm_ranlib $ toolSettings dflags pgm_lo :: DynFlags -> (String,[Option])@@ -3061,6 +3065,8 @@ $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_pgm_lo = (f,[]) } , make_ord_flag defFlag "pgmlc" $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_pgm_lc = (f,[]) }+ , make_ord_flag defFlag "pgmlm"+ $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_pgm_lm = (f,[]) } , make_ord_flag defFlag "pgmi" $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_pgm_i = f } , make_ord_flag defFlag "pgmL"@@ -3076,6 +3082,8 @@ -- (see #15319) toolSettings_ccSupportsNoPie = False }+ , make_ord_flag defFlag "pgmc-supports-no-pie"+ $ noArg $ alterToolSettings $ \s -> s { toolSettings_ccSupportsNoPie = True } , make_ord_flag defFlag "pgms" (HasArg (\_ -> addWarn "Object splitting was removed in GHC 8.8")) , make_ord_flag defFlag "pgma"@@ -3090,11 +3098,17 @@ $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_pgm_libtool = f } , make_ord_flag defFlag "pgmar" $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_pgm_ar = f }+ , make_ord_flag defFlag "pgmotool"+ $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_pgm_otool = f}+ , make_ord_flag defFlag "pgminstall_name_tool"+ $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_pgm_install_name_tool = f} , make_ord_flag defFlag "pgmranlib" $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_pgm_ranlib = f } -- need to appear before -optl/-opta to be parsed as LLVM flags.+ , make_ord_flag defFlag "optlm"+ $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_opt_lm = f : toolSettings_opt_lm s } , make_ord_flag defFlag "optlo" $ hasArg $ \f -> alterToolSettings $ \s -> s { toolSettings_opt_lo = f : toolSettings_opt_lo s } , make_ord_flag defFlag "optlc"@@ -3768,10 +3782,10 @@ , make_ord_flag defFlag "fno-code" (NoArg ((upd $ \d -> d { ghcLink=NoLink }) >> setTarget HscNothing))- , make_ord_flag defFlag "fbyte-code"- (noArgM $ \dflags -> do- setTarget HscInterpreted- pure $ gopt_set dflags Opt_ByteCode)+ , make_ord_flag defFlag "fbyte-code" (NoArg ((upd $ \d ->+ -- Enabling Opt_ByteCodeIfUnboxed is a workaround for #18955.+ -- See the comments for resetOptByteCodeIfUnboxed for more details.+ gopt_set d Opt_ByteCodeIfUnboxed) >> setTarget HscInterpreted)) , make_ord_flag defFlag "fobject-code" $ NoArg $ do dflags <- liftEwM getCmdLineState setTarget $ defaultObjectTarget dflags@@ -4590,7 +4604,6 @@ Opt_OmitYields, Opt_PrintBindContents, Opt_ProfCountEntries,- Opt_RPath, Opt_SharedImplib, Opt_SimplPreInlining, Opt_VersionMacros@@ -4601,6 +4614,8 @@ ++ default_PIC platform + ++ default_RPath platform+ ++ concatMap (wayGeneralFlags platform) (defaultWays settings) ++ validHoleFitDefaults @@ -4640,6 +4655,29 @@ -- #10597 for more -- information. _ -> []+++-- We usually want to use RPath, except on macOS (OSDarwin). On recent macOS+-- versions the number of load commands we can embed in a dynamic library is+-- restricted. Hence since b592bd98ff2 we rely on -dead_strip_dylib to only+-- link the needed dylibs instead of linking the full dependency closure.+--+-- If we split the library linking into injecting -rpath and -l @rpath/...+-- components, we will reduce the number of libraries we link, however we will+-- still inject one -rpath entry for each library, independent of their use.+-- That is, we even inject -rpath values for libraries that we dead_strip in+-- the end. As such we can run afoul of the load command size limit simply+-- by polluting the load commands with RPATH entries.+--+-- Thus, we disable Opt_RPath by default on OSDarwin. The savvy user can always+-- enable it with -use-rpath if they so wish.+--+-- See Note [Dynamic linking on macOS]++default_RPath :: Platform -> [GeneralFlag]+default_RPath platform | platformOS platform == OSDarwin = []+default_RPath _ = [Opt_RPath]+ -- General flags that are switched on/off when other general flags are switched -- on
compiler/main/Settings.hs view
@@ -25,6 +25,8 @@ , sPgm_windres , sPgm_libtool , sPgm_ar+ , sPgm_otool+ , sPgm_install_name_tool , sPgm_ranlib , sPgm_lo , sPgm_lc@@ -139,6 +141,10 @@ sPgm_libtool = toolSettings_pgm_libtool . sToolSettings sPgm_ar :: Settings -> String sPgm_ar = toolSettings_pgm_ar . sToolSettings+sPgm_otool :: Settings -> String+sPgm_otool = toolSettings_pgm_otool . sToolSettings+sPgm_install_name_tool :: Settings -> String+sPgm_install_name_tool = toolSettings_pgm_install_name_tool . sToolSettings sPgm_ranlib :: Settings -> String sPgm_ranlib = toolSettings_pgm_ranlib . sToolSettings sPgm_lo :: Settings -> (String, [Option])
compiler/main/ToolSettings.hs view
@@ -31,6 +31,8 @@ , toolSettings_pgm_windres :: String , toolSettings_pgm_libtool :: String , toolSettings_pgm_ar :: String+ , toolSettings_pgm_otool :: String+ , toolSettings_pgm_install_name_tool :: String , toolSettings_pgm_ranlib :: String , -- | LLVM: opt llvm optimiser toolSettings_pgm_lo :: (String, [Option])
ghc-lib-parser.cabal view
@@ -1,7 +1,7 @@ cabal-version: >=1.22 build-type: Simple name: ghc-lib-parser-version: 8.10.2.20200916+version: 8.10.3.20201220 license: BSD3 license-file: LICENSE category: Development@@ -148,7 +148,6 @@ compiler/ghci compiler/main compiler/cmm- compiler/. compiler autogen-modules: Lexer
ghc-lib/stage0/compiler/build/Parser.hs view
@@ -37,7 +37,7 @@ import Data.Maybe ( maybeToList ) import Control.Monad ( mplus ) import Control.Applicative ((<$))-import qualified Prelude+import qualified Prelude -- for happy-generated code -- compiler/hsSyn import GHC.Hs@@ -471,8 +471,8 @@ happyOut67 :: (HappyAbsSyn ) -> HappyWrap67 happyOut67 x = Happy_GHC_Exts.unsafeCoerce# x {-# INLINE happyOut67 #-}-newtype HappyWrap68 = HappyWrap68 (Maybe (Located Token))-happyIn68 :: (Maybe (Located Token)) -> (HappyAbsSyn )+newtype HappyWrap68 = HappyWrap68 (Located (Maybe (Located Token)))+happyIn68 :: (Located (Maybe (Located Token))) -> (HappyAbsSyn ) happyIn68 x = Happy_GHC_Exts.unsafeCoerce# (HappyWrap68 x) {-# INLINE happyIn68 #-} happyOut68 :: (HappyAbsSyn ) -> HappyWrap68@@ -4363,18 +4363,20 @@ case happyOut69 happy_x_8 of { (HappyWrap69 happy_var_8) -> case happyOut70 happy_x_9 of { (HappyWrap70 happy_var_9) -> ( do {- ; checkImportDecl happy_var_4 happy_var_7- ; ams (cL (comb4 happy_var_1 happy_var_6 (snd happy_var_8) happy_var_9) $+ ; let { ; mPreQual = unLoc happy_var_4+ ; mPostQual = unLoc happy_var_7 }+ ; checkImportDecl mPreQual mPostQual+ ; ams (cL (comb5 happy_var_1 happy_var_6 happy_var_7 (snd happy_var_8) happy_var_9) $ ImportDecl { ideclExt = noExtField , ideclSourceSrc = snd $ fst happy_var_2 , ideclName = happy_var_6, ideclPkgQual = snd happy_var_5 , ideclSource = snd happy_var_2, ideclSafe = snd happy_var_3- , ideclQualified = importDeclQualifiedStyle happy_var_4 happy_var_7+ , ideclQualified = importDeclQualifiedStyle mPreQual mPostQual , ideclImplicit = False , ideclAs = unLoc (snd happy_var_8) , ideclHiding = unLoc happy_var_9 })- (mj AnnImport happy_var_1 : fst (fst happy_var_2) ++ fst happy_var_3 ++ fmap (mj AnnQualified) (maybeToList happy_var_4)- ++ fst happy_var_5 ++ fmap (mj AnnQualified) (maybeToList happy_var_7) ++ fst happy_var_8)+ (mj AnnImport happy_var_1 : fst (fst happy_var_2) ++ fst happy_var_3 ++ fmap (mj AnnQualified) (maybeToList mPreQual)+ ++ fst happy_var_5 ++ fmap (mj AnnQualified) (maybeToList mPostQual) ++ fst happy_var_8) })}}}}}}}}}) ) (\r -> happyReturn (happyIn64 r)) @@ -4434,13 +4436,13 @@ happyReduction_129 happy_x_1 = case happyOutTok happy_x_1 of { happy_var_1 -> happyIn68- (Just happy_var_1+ (sL1 happy_var_1 (Just happy_var_1) )} happyReduce_130 :: () => Happy_GHC_Exts.Int# -> (Located Token) -> Happy_GHC_Exts.Int# -> Happy_IntList -> HappyStk (HappyAbsSyn ) -> P (HappyAbsSyn ) happyReduce_130 = happySpecReduce_0 52# happyReduction_130 happyReduction_130 = happyIn68- (Nothing+ (noLoc Nothing ) happyReduce_131 :: () => Happy_GHC_Exts.Int# -> (Located Token) -> Happy_GHC_Exts.Int# -> Happy_IntList -> HappyStk (HappyAbsSyn ) -> P (HappyAbsSyn )@@ -12542,6 +12544,11 @@ comb4 a b c d = a `seq` b `seq` c `seq` d `seq` (combineSrcSpans (getLoc a) $ combineSrcSpans (getLoc b) $ combineSrcSpans (getLoc c) (getLoc d))++comb5 :: Located a -> Located b -> Located c -> Located d -> Located e -> SrcSpan+comb5 a b c d e = a `seq` b `seq` c `seq` d `seq` e `seq`+ (combineSrcSpans (getLoc a) $ combineSrcSpans (getLoc b) $+ combineSrcSpans (getLoc c) $ combineSrcSpans (getLoc d) (getLoc e)) -- strict constructor version: {-# INLINE sL #-}
ghc-lib/stage0/lib/ghcversion.h view
@@ -5,7 +5,7 @@ # define __GLASGOW_HASKELL__ 810 #endif -#define __GLASGOW_HASKELL_PATCHLEVEL1__ 2+#define __GLASGOW_HASKELL_PATCHLEVEL1__ 3 #define MIN_VERSION_GLASGOW_HASKELL(ma,mi,pl1,pl2) (\ ((ma)*100+(mi)) < __GLASGOW_HASKELL__ || \
ghc-lib/stage0/lib/settings view
@@ -18,6 +18,8 @@ ,("ar flags", "qcls") ,("ar supports at file", "NO") ,("ranlib command", "ranlib")+,("otool command", "otool")+,("install_name_tool command", "install_name_tool") ,("touch command", "touch") ,("dllwrap command", "/bin/false") ,("windres command", "/bin/false")
ghc-lib/stage0/libraries/ghc-boot/build/GHC/Version.hs view
@@ -3,19 +3,19 @@ import Prelude -- See Note [Why do we import Prelude here?] cProjectGitCommitId :: String-cProjectGitCommitId = "29204b1c4f52ea34d84da33593052ee839293bf2"+cProjectGitCommitId = "6db6db46af6f8e3e24d7d16b0b43a984a9a14677" cProjectVersion :: String-cProjectVersion = "8.10.2"+cProjectVersion = "8.10.3" cProjectVersionInt :: String cProjectVersionInt = "810" cProjectPatchLevel :: String-cProjectPatchLevel = "2"+cProjectPatchLevel = "3" cProjectPatchLevel1 :: String-cProjectPatchLevel1 = "2"+cProjectPatchLevel1 = "3" cProjectPatchLevel2 :: String cProjectPatchLevel2 = ""