diff options
| -rw-r--r-- | compiler/cmm/CmmSink.hs | 2 | ||||
| -rw-r--r-- | compiler/deSugar/DsBinds.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/ClsInst.hs | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/compiler/cmm/CmmSink.hs b/compiler/cmm/CmmSink.hs index 7bfc07547b..6317cfe929 100644 --- a/compiler/cmm/CmmSink.hs +++ b/compiler/cmm/CmmSink.hs @@ -477,7 +477,7 @@ into (a != b) but there's one case it can't handle: when the comparison is over floating-point values, we can't invert it, because floating-point -comparisions aren't invertible (because NaN). +comparisons aren't invertible (because of NaNs). But we *can* optimise this conditional by swapping the true and false branches. Given diff --git a/compiler/deSugar/DsBinds.hs b/compiler/deSugar/DsBinds.hs index 6524e102d2..421adcaccd 100644 --- a/compiler/deSugar/DsBinds.hs +++ b/compiler/deSugar/DsBinds.hs @@ -1282,7 +1282,7 @@ ds_ev_typeable ty (EvTypeableTrFun ev1 ev2) ds_ev_typeable ty (EvTypeableTyLit ev) = -- See Note [Typeable for Nat and Symbol] in TcInteract do { fun <- dsLookupGlobalId tr_fun - ; dict <- dsEvTerm ev -- Of type KnownNat/KnownSym + ; dict <- dsEvTerm ev -- Of type KnownNat/KnownSymbol ; let proxy = mkTyApps (Var proxyHashId) [ty_kind, ty] ; return (mkApps (mkTyApps (Var fun) [ty]) [ dict, proxy ]) } where diff --git a/compiler/typecheck/ClsInst.hs b/compiler/typecheck/ClsInst.hs index de957b71fd..0af1965ec8 100644 --- a/compiler/typecheck/ClsInst.hs +++ b/compiler/typecheck/ClsInst.hs @@ -427,7 +427,7 @@ Note [Typeable for Nat and Symbol] We have special Typeable instances for Nat and Symbol. Roughly we have this instance, implemented here by doTyLit: instance KnownNat n => Typeable (n :: Nat) where - typeRep = tyepNatTypeRep @n + typeRep = typeNatTypeRep @n where Data.Typeable.Internals.typeNatTypeRep :: KnownNat a => TypeRep a |