[commit: packages/base] master: Spelling in commments (f1b4bc2)
git at git.haskell.org
git at git.haskell.org
Fri Oct 18 11:33:02 UTC 2013
Repository : ssh://git@git.haskell.org/base
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/f1b4bc2daca7269b4a5d0338ecb9d32589e0badf/base
>---------------------------------------------------------------
commit f1b4bc2daca7269b4a5d0338ecb9d32589e0badf
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Fri Oct 4 18:55:50 2013 +0100
Spelling in commments
>---------------------------------------------------------------
f1b4bc2daca7269b4a5d0338ecb9d32589e0badf
Unsafe/Coerce.hs | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/Unsafe/Coerce.hs b/Unsafe/Coerce.hs
index 1cd70a6..684de5a 100644
--- a/Unsafe/Coerce.hs
+++ b/Unsafe/Coerce.hs
@@ -37,14 +37,14 @@ import GHC.Prim (unsafeCoerce#)
local_id :: a -> a
local_id x = x -- See Note [Mega-hack for coerce]
-{- Note [Meta-hack for coerce]
+{- Note [Mega-hack for coerce]
If we just say
unsafeCoerce x = unsafeCoerce# 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
+ unsafeCoerce = unsafeCoerce#
+And that, sadly, is ill-typed because unsafeCoerce# has OpenKind type variables
And rightly so, because we shouldn't be calling unsafeCoerce# in a higher
order way; it has a compulsory unfolding
unsafeCoerce# a b x = x |> UnsafeCo a b
More information about the ghc-commits
mailing list