Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Alex D
GHC
Commits
9a2a2aef
Commit
9a2a2aef
authored
Feb 23, 2017
by
Gabor Greif
💬
Browse files
Spelling only [ci skip]
parent
8a6b8c5f
Changes
15
Hide whitespace changes
Inline
Side-by-side
compiler/basicTypes/Demand.hs
View file @
9a2a2aef
...
...
@@ -859,7 +859,7 @@ be unleashed. See also [Aggregated demand for cardinality].
Note [Replicating polymorphic demands]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Some demands can be considered as polymorphic. Generally, it is
applicable to such beasts as tops, bottoms as well as Head-Used a
d
n
applicable to such beasts as tops, bottoms as well as Head-Used an
d
Head-stricts demands. For instance,
S ~ S(L, ..., L)
...
...
compiler/basicTypes/MkId.hs
View file @
9a2a2aef
...
...
@@ -1141,7 +1141,7 @@ unsafeCoerceId
------------------------------------------------
nullAddrId
::
Id
-- nullAddr# :: Addr#
-- The reason i
s
is here is because we don't provide
-- The reason i
t
is here is because we don't provide
-- a way to write this literal in Haskell.
nullAddrId
=
pcMiscPrelId
nullAddrName
addrPrimTy
info
where
...
...
compiler/codeGen/StgCmmExpr.hs
View file @
9a2a2aef
...
...
@@ -693,7 +693,7 @@ cgConApp con stg_args
-- con args are always non-void,
-- see Note [Post-unarisation invariants] in UnariseStg
-- The first "con" says that the name bound to this
-- closure is
is
"con", which is a bit of a fudge, but
-- closure is "con", which is a bit of a fudge, but
-- it only affects profiling (hence the False)
;
emit
=<<
fcode_init
...
...
compiler/coreSyn/CoreUnfold.hs
View file @
9a2a2aef
...
...
@@ -1361,7 +1361,7 @@ AND
it is bound to a cheap expression
then we should not inline it (unless there is some other reason,
e.g. i
s
is the sole occurrence). That is what is happening at
e.g. i
t
is the sole occurrence). That is what is happening at
the use of 'lone_variable' in 'interesting_call'.
Why? At least in the case-scrutinee situation, turning
...
...
compiler/coreSyn/CoreUtils.hs
View file @
9a2a2aef
...
...
@@ -2118,7 +2118,7 @@ tryEtaReduce bndrs body
{-
Note [Eta reduction of an eval'd function]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In Haskell i
s
is not true that f = \x. f x
In Haskell i
t
is not true that f = \x. f x
because f might be bottom, and 'seq' can distinguish them.
But it *is* true that f = f `seq` \x. f x
...
...
compiler/nativeGen/X86/CodeGen.hs
View file @
9a2a2aef
...
...
@@ -2594,7 +2594,7 @@ outOfLineCmmOp mop res args
where
-- Assume we can call these functions directly, and that they're not in a dynamic library.
-- TODO: Why is this ok? Under linux this code will be in libm.so
-- Is i
s
because they're really implemented as a primitive instruction by the assembler?? -- BL 2009/12/31
-- Is i
t
because they're really implemented as a primitive instruction by the assembler?? -- BL 2009/12/31
lbl
=
mkForeignLabel
fn
Nothing
ForeignLabelInThisPackage
IsFunction
fn
=
case
mop
of
...
...
compiler/parser/Lexer.x
View file @
9a2a2aef
...
...
@@ -2800,7 +2800,7 @@ clean_pragma prag = canon_ws (map toLower (unprefix prag))
-- | Encapsulated call to addAnnotation, requiring only the SrcSpan of
-- the AST construct the annotation belongs to; together with the
-- AnnKeywordId, this is
is
the key of the annotation map
-- AnnKeywordId, this is the key of the annotation map
.
--
-- This type is useful for places in the parser where it is not yet
-- known what SrcSpan an annotation should be added to. The most
...
...
compiler/rename/RnSplice.hs
View file @
9a2a2aef
...
...
@@ -195,7 +195,7 @@ illegalUntypedBracket =
quotedNameStageErr
::
HsBracket
RdrName
->
SDoc
quotedNameStageErr
br
=
sep
[
text
"Stage error: the non-top-level quoted name"
<+>
ppr
br
,
text
"must be used at the same stage at which i
s
is bound"
]
,
text
"must be used at the same stage at which i
t
is bound"
]
{-
...
...
compiler/typecheck/TcEnv.hs
View file @
9a2a2aef
...
...
@@ -992,7 +992,7 @@ Consider
x = 3
data T = MkT $(foo x)
where 'foo' is
is
imported from somewhere.
where 'foo' is imported from somewhere.
This is really a staging error, because we can't run code involving 'x'.
But in fact the type checker processes types first, so 'x' won't even be
...
...
compiler/typecheck/TcExpr.hs
View file @
9a2a2aef
...
...
@@ -338,7 +338,7 @@ tuple. The trouble is that this might accept a partially-applied
only going to work when it's fully applied, so it turns into
case x of _ -> (# p,q #)
So it seems more uniform to treat 'seq' as i
t
it was a language
So it seems more uniform to treat 'seq' as i
f
it was a language
construct.
See also Note [seqId magic] in MkId
...
...
compiler/typecheck/TcMatches.hs
View file @
9a2a2aef
...
...
@@ -1029,7 +1029,7 @@ tcApplicativeStmts ctxt pairs rhs_ty thing_inside
;
args'
<-
mapM
goArg
(
zip3
args
pat_tys
exp_tys
)
-- Bring into scope all the things bound by the args,
-- and typecheck the thi
g
n_inside
-- and typecheck the thin
g
_inside
-- See Note [ApplicativeDo and constraints]
;
res
<-
tcExtendIdEnv
(
concatMap
get_arg_bndrs
args'
)
$
thing_inside
body_ty
...
...
@@ -1076,7 +1076,7 @@ tcApplicativeStmts ctxt pairs rhs_ty thing_inside
{- Note [ApplicativeDo and constraints]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
An applicative-do is supposed to take place in parallel, so
constraints bound in one arm can't possibly be available in aother
constraints bound in one arm can't possibly be available in a
n
other
(Trac #13242). Our current rule is this (more details and discussion
on the ticket). Consider
...
...
docs/storage-mgt/sm.tex
View file @
9a2a2aef
...
...
@@ -823,7 +823,7 @@ The list @mut_once_list@ is also adjusted if it is safe to remove @r@ from
\subsubsection
{
(3) Scavenging CAFs
}
When a dynamically loaded CAF is entered, it i
t
first put to the list
When a dynamically loaded CAF is entered, it i
s
first put to the list
@caf
_
list@ and then overwritten with a static indirection object.
The evaluation result of the CAF is stored in a dynamic object in the heap
and the static indirection object stores a pointer to the dynamic object.
...
...
docs/users_guide/using-warnings.rst
View file @
9a2a2aef
...
...
@@ -836,7 +836,7 @@ of ``-W(no-)*``.
Will raise two warnings because ``Zero`` and ``Succ`` are not
written as ``'Zero`` and ``'Succ``.
This warning is
is
enabled by default in :ghc-flag:`-Wall` mode.
This warning is enabled by default in :ghc-flag:`-Wall` mode.
.. ghc-flag:: -Wunused-binds
...
...
libraries/base/System/Exit.hs
View file @
9a2a2aef
...
...
@@ -43,7 +43,7 @@ import GHC.IO.Exception
-- A program that fails in any other way is treated as if it had
-- called 'exitFailure'.
-- A program that terminates successfully without calling 'exitWith'
-- explicitly is treated as i
t
it had called 'exitWith' 'ExitSuccess'.
-- explicitly is treated as i
f
it had called 'exitWith' 'ExitSuccess'.
--
-- As an 'ExitCode' is not an 'IOError', 'exitWith' bypasses
-- the error handling in the 'IO' monad and cannot be intercepted by
...
...
rts/RaiseAsync.c
View file @
9a2a2aef
...
...
@@ -482,7 +482,7 @@ check_target:
#endif
case
ThreadMigrating
:
// if i
s
is ThreadMigrating and tso->cap is ours, then it
// if i
t
is ThreadMigrating and tso->cap is ours, then it
// *must* be migrating *to* this capability. If it were
// migrating away from the capability, then tso->cap would
// point to the destination.
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment