diff options
| author | Gabor Greif <ggreif@gmail.com> | 2018-08-30 18:38:38 +0200 |
|---|---|---|
| committer | Gabor Greif <ggreif@gmail.com> | 2018-08-30 18:45:41 +0200 |
| commit | 12e6e194f6c533e0d41bc1942dce9176a3bccf1c (patch) | |
| tree | 2daf6d3c6b80cdddc24639c3d86a6a32828f13af /compiler/deSugar | |
| parent | 97826e343c482f1c2fb7c74fbbe6958682608ac7 (diff) | |
| download | haskell-12e6e194f6c533e0d41bc1942dce9176a3bccf1c.tar.gz | |
A few typos [ci skip]
Diffstat (limited to 'compiler/deSugar')
| -rw-r--r-- | compiler/deSugar/DsBinds.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |