diff options
author | Yuri de Wit <admin@rodlogic.net> | 2015-02-09 13:41:02 -0600 |
---|---|---|
committer | Austin Seipp <austin@well-typed.com> | 2015-02-09 21:07:25 -0600 |
commit | 83efb985d632d3a351f69cb6ce9dc5232127d545 (patch) | |
tree | cbc524c15a509ea299e1aebf78e3092757ecb4f5 /compiler/simplCore | |
parent | a741e69a230eb6d6e3373ad1fbe53c73b5f95077 (diff) | |
download | haskell-83efb985d632d3a351f69cb6ce9dc5232127d545.tar.gz |
Replace .lhs with .hs in compiler comments
Summary: It looks like during .lhs -> .hs switch the comments were not updated. So doing exactly that.
Reviewers: austin, jstolarek, hvr, goldfire
Reviewed By: austin, jstolarek
Subscribers: thomie, goldfire
Differential Revision: https://phabricator.haskell.org/D621
GHC Trac Issues: #9986
Diffstat (limited to 'compiler/simplCore')
-rw-r--r-- | compiler/simplCore/FloatIn.hs | 2 | ||||
-rw-r--r-- | compiler/simplCore/OccurAnal.hs | 2 | ||||
-rw-r--r-- | compiler/simplCore/SetLevels.hs | 4 | ||||
-rw-r--r-- | compiler/simplCore/SimplCore.hs | 4 | ||||
-rw-r--r-- | compiler/simplCore/SimplUtils.hs | 4 | ||||
-rw-r--r-- | compiler/simplCore/Simplify.hs | 6 |
6 files changed, 11 insertions, 11 deletions
diff --git a/compiler/simplCore/FloatIn.hs b/compiler/simplCore/FloatIn.hs index 2f1b31874e..5390c48dd3 100644 --- a/compiler/simplCore/FloatIn.hs +++ b/compiler/simplCore/FloatIn.hs @@ -83,7 +83,7 @@ The fix is to let bind the algebraic case scrutinees (done, I think) and the case alternatives (except the ones with an unboxed type)(not done, I think). This is best done in the -SetLevels.lhs module, which tags things with their level numbers. +SetLevels.hs module, which tags things with their level numbers. \item do the full laziness pass (floating lets outwards). \item diff --git a/compiler/simplCore/OccurAnal.hs b/compiler/simplCore/OccurAnal.hs index c15026c539..976295b6b4 100644 --- a/compiler/simplCore/OccurAnal.hs +++ b/compiler/simplCore/OccurAnal.hs @@ -283,7 +283,7 @@ But what is the graph? NOT the same graph as was used for Note 'f' that is *always* inlined if it is applicable. We do *not* disable rules for loop-breakers. It's up to whoever makes the rules to make sure that the rules themselves always terminate. See Note [Rules for -recursive functions] in Simplify.lhs +recursive functions] in Simplify.hs Hence, if f's RHS (or its INLINE template if it has one) mentions g, and diff --git a/compiler/simplCore/SetLevels.hs b/compiler/simplCore/SetLevels.hs index c3ee112de4..0d7ba70111 100644 --- a/compiler/simplCore/SetLevels.hs +++ b/compiler/simplCore/SetLevels.hs @@ -827,7 +827,7 @@ lvlLamBndrs env lvl bndrs is_major bndr = isId bndr && not (isProbablyOneShotLambda bndr) -- The "probably" part says "don't float things out of a -- probable one-shot lambda" - -- See Note [Computing one-shot info] in Demand.lhs + -- See Note [Computing one-shot info] in Demand.hs lvlBndrs :: LevelEnv -> Level -> [CoreBndr] -> (LevelEnv, [LevelledBndr]) @@ -1050,7 +1050,7 @@ newPolyBndrs dest_lvl add_subst env (v, v') = extendIdSubst env v (mkVarApps (Var v') abs_vars) add_id env (v, v') = extendVarEnv env v ((v':abs_vars), mkVarApps (Var v') abs_vars) - mk_poly_bndr bndr uniq = transferPolyIdInfo bndr abs_vars $ -- Note [transferPolyIdInfo] in Id.lhs + mk_poly_bndr bndr uniq = transferPolyIdInfo bndr abs_vars $ -- Note [transferPolyIdInfo] in Id.hs mkSysLocal (mkFastString str) uniq poly_ty where str = "poly_" ++ occNameString (getOccName bndr) diff --git a/compiler/simplCore/SimplCore.hs b/compiler/simplCore/SimplCore.hs index 8acea27df4..3e820844ca 100644 --- a/compiler/simplCore/SimplCore.hs +++ b/compiler/simplCore/SimplCore.hs @@ -296,7 +296,7 @@ getCoreToDo dflags simpl_phase 0 ["post-liberate-case"] max_iter ]), -- Run the simplifier after LiberateCase to vastly -- reduce the possiblility of shadowing - -- Reason: see Note [Shadowing] in SpecConstr.lhs + -- Reason: see Note [Shadowing] in SpecConstr.hs runWhen spec_constr CoreDoSpecConstr, @@ -631,7 +631,7 @@ simplifyPgmIO pass@(CoreDoSimplify max_iterations mode) (pprCoreBindings tagged_binds); -- Get any new rules, and extend the rule base - -- See Note [Overall plumbing for rules] in Rules.lhs + -- See Note [Overall plumbing for rules] in Rules.hs -- We need to do this regularly, because simplification can -- poke on IdInfo thunks, which in turn brings in new rules -- behind the scenes. Otherwise there's a danger we'll simply diff --git a/compiler/simplCore/SimplUtils.hs b/compiler/simplCore/SimplUtils.hs index 6bb290e6fb..4c469d111f 100644 --- a/compiler/simplCore/SimplUtils.hs +++ b/compiler/simplCore/SimplUtils.hs @@ -1488,7 +1488,7 @@ abstractFloats main_tvs body_env body = do { uniq <- getUniqueM ; let poly_name = setNameUnique (idName var) uniq -- Keep same name poly_ty = mkForAllTys tvs_here (idType var) -- But new type of course - poly_id = transferPolyIdInfo var tvs_here $ -- Note [transferPolyIdInfo] in Id.lhs + poly_id = transferPolyIdInfo var tvs_here $ -- Note [transferPolyIdInfo] in Id.hs mkLocalId poly_name poly_ty ; return (poly_id, mkTyApps (Var poly_id) (mkTyVarTys tvs_here)) } -- In the olden days, it was crucial to copy the occInfo of the original var, @@ -1621,7 +1621,7 @@ alternative; this picks up the common cases b) some branches equal to the DEFAULT (which occurs first) The case where Combine Identical Alternatives transformation showed up -was like this (base/Foreign/C/Err/Error.lhs): +was like this (base/Foreign/C/Err/Error.hs): x | p `is` 1 -> e1 | p `is` 2 -> e2 diff --git a/compiler/simplCore/Simplify.hs b/compiler/simplCore/Simplify.hs index 3614bb3f09..933fa7a884 100644 --- a/compiler/simplCore/Simplify.hs +++ b/compiler/simplCore/Simplify.hs @@ -52,7 +52,7 @@ import ErrUtils {- The guts of the simplifier is in this module, but the driver loop for -the simplifier is in SimplCore.lhs. +the simplifier is in SimplCore.hs. ----------------------------------------- @@ -2158,7 +2158,7 @@ simplAlt env scrut' _ case_bndr' cont' (DataAlt con, vs, rhs) -- -- We really must record that b is already evaluated so that we don't -- go and re-evaluate it when constructing the result. - -- See Note [Data-con worker strictness] in MkId.lhs + -- See Note [Data-con worker strictness] in MkId.hs add_evals the_strs = go vs the_strs where @@ -2627,7 +2627,7 @@ Note [Small alternative rhs] It is worth checking for a small RHS because otherwise we get extra let bindings that may cause an extra iteration of the simplifier to inline back in place. Quite often the rhs is just a variable or constructor. -The Ord instance of Maybe in PrelMaybe.lhs, for example, took several extra +The Ord instance of Maybe in PrelMaybe.hs, for example, took several extra iterations because the version with the let bindings looked big, and so wasn't inlined, but after the join points had been inlined it looked smaller, and so was inlined. |