Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/1086bc1c287ad0a486d7f9f716fbabfd2d8a6ddb >--------------------------------------------------------------- commit 1086bc1c287ad0a486d7f9f716fbabfd2d8a6ddb Author: Simon Peyton Jones <simo...@microsoft.com> Date: Wed Jan 2 09:17:56 2013 +0000 Add a reference to Note [SingI and EvLit] in the new SingI stuff >--------------------------------------------------------------- compiler/typecheck/TcInteract.lhs | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcInteract.lhs b/compiler/typecheck/TcInteract.lhs index e8a5047..ccb6251 100644 --- a/compiler/typecheck/TcInteract.lhs +++ b/compiler/typecheck/TcInteract.lhs @@ -1728,7 +1728,8 @@ matchClassInst _ clas [ k, ty ] _ where {- This adds a coercion that will convert the literal into a dictionary - of the appropriate type. The coercion happens in 3 steps: + of the appropriate type. See Note [SingI and EvLit] in TcEvidence. + The coercion happens in 3 steps: evLit -> Sing_k_n -- literal to representation of data family Sing_k_n -> Sing k n -- representation of data family to data family _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
