diff options
| author | Gabor Greif <ggreif@gmail.com> | 2019-01-22 12:07:47 +0100 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2019-01-23 14:07:28 -0500 |
| commit | bb2acfe0ec4c196a87218709ee28327845d62dc4 (patch) | |
| tree | 5b7c314caa4944997e7faa51ba3fd9c5328fc913 /compiler/coreSyn | |
| parent | c9a02dfc32ea4304c1c0d02bd8091fd5d045741f (diff) | |
| download | haskell-bb2acfe0ec4c196a87218709ee28327845d62dc4.tar.gz | |
A few typofixes
Diffstat (limited to 'compiler/coreSyn')
| -rw-r--r-- | compiler/coreSyn/CoreArity.hs | 2 | ||||
| -rw-r--r-- | compiler/coreSyn/CoreSyn.hs | 2 | ||||
| -rw-r--r-- | compiler/coreSyn/CoreUnfold.hs | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/compiler/coreSyn/CoreArity.hs b/compiler/coreSyn/CoreArity.hs index d15da87aac..2947518352 100644 --- a/compiler/coreSyn/CoreArity.hs +++ b/compiler/coreSyn/CoreArity.hs @@ -598,7 +598,7 @@ The analysis is easy to achieve because exprEtaExpandArity takes an argument type CheapFun = CoreExpr -> Maybe Type -> Bool used to decide if an expression is cheap enough to push inside a -lambda. And exprIsCheap' in turn takes an argument +lambda. And exprIsCheapX in turn takes an argument type CheapAppFun = Id -> Int -> Bool which tells when an application is cheap. This makes it easy to write the analysis loop. diff --git a/compiler/coreSyn/CoreSyn.hs b/compiler/coreSyn/CoreSyn.hs index 53a399204e..c4fedbbad7 100644 --- a/compiler/coreSyn/CoreSyn.hs +++ b/compiler/coreSyn/CoreSyn.hs @@ -509,7 +509,7 @@ this exhaustive list can be empty! scrutinee is bound to raise an exception or diverge. When do we know this? See Note [Bottoming expressions] in CoreUtils. -* The possiblity of empty alternatives is one reason we need a type on +* The possibility of empty alternatives is one reason we need a type on the case expression: if the alternatives are empty we can't get the type from the alternatives! diff --git a/compiler/coreSyn/CoreUnfold.hs b/compiler/coreSyn/CoreUnfold.hs index 020aa8525a..11c2a7533e 100644 --- a/compiler/coreSyn/CoreUnfold.hs +++ b/compiler/coreSyn/CoreUnfold.hs @@ -294,7 +294,7 @@ Note [INLINE pragmas and boring contexts] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ An INLINE pragma uses mkInlineUnfoldingWithArity to build the unfolding. That sets the ug_boring_ok flag to False if the function -is not tiny (inlineBorkingOK), so that even INLINE functions are not +is not tiny (inlineBoringOK), so that even INLINE functions are not inlined in an utterly boring context. E.g. \x y. Just (f y x) Nothing is gained by inlining f here, even if it has an INLINE |