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/Simplify.hs | |
| parent | 4e7d8350a10167a7de8dd4d9ffd3a21194177c39 (diff) | |
| download | haskell-619958832cbe11096cae3dac9a0a7a5591163a00.tar.gz | |
More typos in comments [skip ci]
Diffstat (limited to 'compiler/simplCore/Simplify.hs')
| -rw-r--r-- | compiler/simplCore/Simplify.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |