Skip to content

compiler typos

compiler/GHC/Core/Opt/DmdAnal.hs
compiler/GHC/Core/Opt/WorkWrap/Utils.hs
compiler/GHC/Parser/Errors/Types.hs
compiler/GHC/Driver/Flags.hs
compiler/GHC/Tc/Types/Constraint.hs

should line 1948 be edited

$ perl -ne 'print if $. == 1941 .. 1949' ghc/compiler/GHC/Core/Opt/DmdAnal.hs
        -- In the initial iteration for f, f=Bot
        -- Suppose h is found to be strict in z, but the occurrence of g in its RHS
        -- is lazy.  Now consider the fixpoint iteration for g, esp the demands it
        -- places on its free variables.  Suppose it places none.  Then the
        --      x `fatbar` ...call to h...
        -- will give a x->V demand for x.  That turns into a L demand for x,
        -- which floats out of the defn for h.  Without the modifyEnv, that
        -- L demand doesn't get both'd with the Bot coming up from the inner
        -- call to f.  So we just get an L demand for x for g.
$ 

what's the replacement string for can'easily

$ perl -ne 'print if $. == 722 .. 724' ghc/compiler/GHC/Core/Opt/WorkWrap/Utils.hs
This warning also triggers for the stream fusion library within `text`.
We can'easily W/W constructed results like `Stream` because we have no simple
way to express existential types in the worker's type signature.
$ 

sed -i "s/can'easily/can't easily/g" ghc/compiler/GHC/Core/Opt/WorkWrap/Utils.hs

or

sed -i "s/can'easily/can easily/g" ghc/compiler/GHC/Core/Opt/WorkWrap/Utils.hs

should binded be replaced with bound

$ grep -nr binded ghc/compiler
ghc/compiler/GHC/Parser/Errors/Types.hs:499:    -- pattern with the binded operator name
$ 

sed -i "s/binded/bound/g" ghc/compiler/GHC/Parser/Errors/Types.hs

my presumption is alleviate is the replacement string

$ grep -nr elivate ghc/compiler
ghc/compiler/GHC/Driver/Flags.hs:363:   -- this should elivate the excessive command line limit restrictions
$  

sed -i "s/elivate/alleviate/g" ghc/compiler/GHC/Driver/Flags.hs

my presumption is fresh is the replacement string

$ perl -ne 'print if $. == 1560 .. 1561' ghc/compiler/GHC/Tc/Types/Constraint.hs
 * The skolem variables bound in ic_skols are all freah when the
   implication is created.
$ 

sed -i "s/freah/fresh/g" ghc/compiler/GHC/Tc/Types/Constraint.hs

Edited by Ghost User
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information