diff options
| author | Gabor Greif <ggreif@gmail.com> | 2016-06-21 16:16:20 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2016-06-22 12:05:34 +0200 |
| commit | 619958832cbe11096cae3dac9a0a7a5591163a00 (patch) | |
| tree | 15b7744c6389fc6cf6cf312afbbb10cb31570f1a /compiler/simplCore | |
| parent | 4e7d8350a10167a7de8dd4d9ffd3a21194177c39 (diff) | |
| download | haskell-619958832cbe11096cae3dac9a0a7a5591163a00.tar.gz | |
More typos in comments [skip ci]
Diffstat (limited to 'compiler/simplCore')
| -rw-r--r-- | compiler/simplCore/OccurAnal.hs | 2 | ||||
| -rw-r--r-- | compiler/simplCore/Simplify.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/compiler/simplCore/OccurAnal.hs b/compiler/simplCore/OccurAnal.hs index 2efd82f620..c9da7b7a42 100644 --- a/compiler/simplCore/OccurAnal.hs +++ b/compiler/simplCore/OccurAnal.hs @@ -1507,7 +1507,7 @@ type GlobalScruts = IdSet -- See Note [Binder swap on GlobalId scrutinees] -- y = /\a -> (p a, q a) -- Still don't inline p or q -- z = f (p,q) -- Do inline p,q; it may make a rule fire -- So OccEncl tells enought about the context to know what to do when --- we encounter a contructor application or PAP. +-- we encounter a constructor application or PAP. data OccEncl = OccRhs -- RHS of let(rec), albeit perhaps inside a type lambda diff --git a/compiler/simplCore/Simplify.hs b/compiler/simplCore/Simplify.hs index bd0c8a9dfa..7138d894e0 100644 --- a/compiler/simplCore/Simplify.hs +++ b/compiler/simplCore/Simplify.hs @@ -2645,7 +2645,7 @@ Rather than do this we simply agree to re-simplify the original (small) thing la Note [Funky mkLamTypes] ~~~~~~~~~~~~~~~~~~~~~~ -Notice the funky mkLamTypes. If the contructor has existentials +Notice the funky mkLamTypes. If the constructor has existentials it's possible that the join point will be abstracted over type variables as well as term variables. Example: Suppose we have |