diff options
| author | Gabor Greif <ggreif@gmail.com> | 2017-12-27 23:31:21 +0100 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2017-12-28 10:24:42 +0100 |
| commit | f2db228bd1fc8295581080ac25d378be72e7b600 (patch) | |
| tree | 3e522d63750f3941997602af1bfdbd79f37d287f | |
| parent | 722a6584bb338bc77ad978d14113b3b8e6a45cab (diff) | |
| download | haskell-f2db228bd1fc8295581080ac25d378be72e7b600.tar.gz | |
Typos in comments [ci skip]
| -rw-r--r-- | compiler/coreSyn/MkCore.hs | 2 | ||||
| -rw-r--r-- | compiler/prelude/primops.txt.pp | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcTyClsDecls.hs | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/compiler/coreSyn/MkCore.hs b/compiler/coreSyn/MkCore.hs index c8f7366288..72b6abf167 100644 --- a/compiler/coreSyn/MkCore.hs +++ b/compiler/coreSyn/MkCore.hs @@ -180,7 +180,7 @@ mk_val_app fun arg arg_ty res_ty -- -- This is Dangerous. But this is the only place we play this -- game, mk_val_app returns an expression that does not have - -- have a free wild-id. So the only thing that can go wrong + -- a free wild-id. So the only thing that can go wrong -- is if you take apart this case expression, and pass a -- fragment of it as the fun part of a 'mk_val_app'. diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp index 414a136173..333694d0d2 100644 --- a/compiler/prelude/primops.txt.pp +++ b/compiler/prelude/primops.txt.pp @@ -2728,7 +2728,7 @@ binder-swap on the case, to give \z. case x of y -> let v = dataToTag# x in ... Now FloatOut might float that v-binding outside the \z. But that is -bad because that might mean x gest evaluated much too early! (CorePrep +bad because that might mean x gets evaluated much too early! (CorePrep adds an eval to a dataToTag# call, to ensure that the argument really is evaluated; see CorePrep Note [dataToTag magic].) diff --git a/compiler/typecheck/TcTyClsDecls.hs b/compiler/typecheck/TcTyClsDecls.hs index 24faaa0bc1..4625fb27df 100644 --- a/compiler/typecheck/TcTyClsDecls.hs +++ b/compiler/typecheck/TcTyClsDecls.hs @@ -2883,7 +2883,7 @@ checkFamFlag tc_name Haskell 2010 is supposed to reject class C a where op :: Eq a => a -> a -where the method type costrains only the class variable(s). (The extension +where the method type constrains only the class variable(s). (The extension -XConstrainedClassMethods switches off this check.) But regardless we should not reject class C a where |