diff options
author | Oleg Grenrus <oleg.grenrus@iki.fi> | 2017-02-01 22:49:17 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-01 23:37:47 -0500 |
commit | 1fcede43d2b30f33b7505e25eb6b1f321be0407f (patch) | |
tree | 9c206c94aa567b0a8d53cc65156666c26030d955 /compiler/deSugar/DsBinds.hs | |
parent | f5b275a239d2554c4da0b7621211642bf3b10650 (diff) | |
download | haskell-1fcede43d2b30f33b7505e25eb6b1f321be0407f.tar.gz |
Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
Reviewers: dfeuer, austin, hvr, bgamari
Reviewed By: bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D3024
GHC Trac Issues: #13181
Diffstat (limited to 'compiler/deSugar/DsBinds.hs')
-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 c3704e382e..443a21e4fa 100644 --- a/compiler/deSugar/DsBinds.hs +++ b/compiler/deSugar/DsBinds.hs @@ -1151,7 +1151,7 @@ dsEvTerm :: EvTerm -> DsM CoreExpr dsEvTerm (EvId v) = return (Var v) dsEvTerm (EvCallStack cs) = dsEvCallStack cs dsEvTerm (EvTypeable ty ev) = dsEvTypeable ty ev -dsEvTerm (EvLit (EvNum n)) = mkIntegerExpr n +dsEvTerm (EvLit (EvNum n)) = mkNaturalExpr n dsEvTerm (EvLit (EvStr s)) = mkStringExprFS s dsEvTerm (EvCast tm co) |