Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Glasgow Haskell Compiler
GHC
Commits
2cd51383
Commit
2cd51383
authored
Jan 25, 2013
by
Gabor Greif
💬
Browse files
typos
parent
38c54bd2
Changes
4
Hide whitespace changes
Inline
Side-by-side
libraries/base/GHC/IO.hs
View file @
2cd51383
...
...
@@ -191,7 +191,7 @@ unsafeDupablePerformIO (IO m) = lazy (case m realWorld# of (# _, r #) -> r)
-- case writeIORef v r s of (# s1, _ #) ->
-- (# s1, r #)
-- The strictness analyser will find that the binding for r is strict,
-- (bec
u
ase of uPIO's strictness sig), and so it'll evaluate it before
-- (beca
u
se of uPIO's strictness sig), and so it'll evaluate it before
-- doing the writeIORef. This actually makes tests/lib/should_run/memo002
-- get a deadlock!
--
...
...
libraries/base/GHC/IO/Handle/FD.hs
View file @
2cd51383
...
...
@@ -275,7 +275,7 @@ fdToHandle fdint = do
-- on Windows we're guessing this is not a socket (XXX)
False
{-is_nonblock-}
-- file descriptors that we get from external sources are
-- not put into non-blocking mode, bec
u
ase that would affect
-- not put into non-blocking mode, beca
u
se that would affect
-- other users of the file descriptor
let
fd_str
=
"<file descriptor: "
++
show
fd
++
">"
mkHandleFromFD
fd
fd_type
fd_str
iomode
False
{-non-block-}
...
...
libraries/base/GHC/Show.lhs
View file @
2cd51383
...
...
@@ -366,7 +366,7 @@ showLitChar '\t' s = showString "\\t" s
showLitChar '\v' s = showString "\\v" s
showLitChar '\SO' s = protectEsc (== 'H') (showString "\\SO") s
showLitChar c s = showString ('\\' : asciiTab!!ord c) s
-- I've done manual eta-expansion here, bec
u
ase otherwise it's
-- I've done manual eta-expansion here, beca
u
se otherwise it's
-- impossible to stop (asciiTab!!ord) getting floated out as an MFE
showLitString :: String -> ShowS
...
...
libraries/base/Unsafe/Coerce.hs
View file @
2cd51383
...
...
@@ -41,12 +41,12 @@ local_id x = x -- See Note [Mega-hack for coerce]
{- Note [Meta-hack for coerce]
If we just say
unsafeCoerce x = unsafeCoerc
s
# x
unsafeCoerce x = unsafeCoerc
e
# x
then the simple-optimiser that the desugarer runs will eta-reduce to
unsafeCoerce :: forall (a:*) (b:*). a -> b
unsafeCoercs = unsafeCoerce#
And that, sadly, is ill-typed because unsafeCoercs# has OpenKind type variables
And rightly so, bec
u
ase we shouldn't be calling unsafeCoerce# in a higher
And rightly so, beca
u
se we shouldn't be calling unsafeCoerce# in a higher
order way; it has a compulsory unfolding
unsafeCoerce# a b x = x |> UnsafeCo a b
and we really rely on it being inlined pronto. But the simple-optimiser doesn't.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new 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