Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats
http://hackage.haskell.org/trac/ghc/changeset/35a3346740ab06ba9c89bdf41fb46c1088af7a9f >--------------------------------------------------------------- commit 35a3346740ab06ba9c89bdf41fb46c1088af7a9f Author: Iavor S. Diatchki <[email protected]> Date: Sun Apr 29 16:40:46 2012 -0700 Fix type in comment. >--------------------------------------------------------------- compiler/typecheck/TcEvidence.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcEvidence.lhs b/compiler/typecheck/TcEvidence.lhs index 8ec0a57..d2652d0 100644 --- a/compiler/typecheck/TcEvidence.lhs +++ b/compiler/typecheck/TcEvidence.lhs @@ -545,7 +545,7 @@ for "SingI (n :: Nat)" is of the form "EvLit (EvNum n)". We make the following assumptions about dictionaries in GHC: 1. The "dictionary" for classes with a single method---like SingI---is - a newtype for the type of the method, so using a evidence amounts + a newtype for the type of the method, so using evidence amounts to a coercion, and 2. Newtypes use the same representation as their definition types. _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
