Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in / Register
  • GHC GHC
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Locked Files
  • Issues 5,351
    • Issues 5,351
    • List
    • Boards
    • Service Desk
    • Milestones
    • Iterations
  • Merge requests 566
    • Merge requests 566
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
    • Test Cases
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Code review
    • Insights
    • Issue
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Glasgow Haskell CompilerGlasgow Haskell Compiler
  • GHCGHC
  • Issues
  • #21891
Closed
Open
Issue created Jul 20, 2022 by Ghost User@ghostContributor

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 Jul 23, 2022 by Ghost User
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking