diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-04 18:55:50 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-10-16 12:34:24 +0100 |
| commit | c503eff92a5d0b6601aa3cf5e752ce4b29714300 (patch) | |
| tree | 7272b05755797902142eba0f5774af5a19161aeb /libraries/base/Unsafe | |
| parent | c90b2dcfcc134ac34351d62b3f0d1182900dc89e (diff) | |
| download | haskell-c503eff92a5d0b6601aa3cf5e752ce4b29714300.tar.gz | |
Spelling in commments
Diffstat (limited to 'libraries/base/Unsafe')
| -rw-r--r-- | libraries/base/Unsafe/Coerce.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libraries/base/Unsafe/Coerce.hs b/libraries/base/Unsafe/Coerce.hs index 1cd70a6d1d..684de5a209 100644 --- a/libraries/base/Unsafe/Coerce.hs +++ b/libraries/base/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 |