Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : type-nats
http://hackage.haskell.org/trac/ghc/changeset/191250b426dbdff013bb0ac49f6ed7a3894e5962 >--------------------------------------------------------------- commit 191250b426dbdff013bb0ac49f6ed7a3894e5962 Author: Iavor S. Diatchki <diatchki@Perun.(none)> Date: Mon Oct 29 23:30:43 2012 -0700 Fix up to build with renamed promoting functions. >--------------------------------------------------------------- compiler/prelude/TysWiredIn.lhs | 12 ++++++------ 1 files changed, 6 insertions(+), 6 deletions(-) diff --git a/compiler/prelude/TysWiredIn.lhs b/compiler/prelude/TysWiredIn.lhs index 90fef82..2bcfb93 100644 --- a/compiler/prelude/TysWiredIn.lhs +++ b/compiler/prelude/TysWiredIn.lhs @@ -818,9 +818,9 @@ Promoted Booleans \begin{code} boolKindCon, trueTyCon, falseTyCon :: TyCon -boolKindCon = buildPromotedTyCon boolTyCon -trueTyCon = buildPromotedDataCon trueDataCon -falseTyCon = buildPromotedDataCon falseDataCon +boolKindCon = promoteTyCon boolTyCon +trueTyCon = promoteDataCon trueDataCon +falseTyCon = promoteDataCon falseDataCon boolKind :: Kind @@ -857,9 +857,9 @@ zeroDataCon = pcDataCon zeroDataConName [] [] nat1TyCon nat1KindCon, zeroTyCon, succTyCon :: TyCon -nat1KindCon = buildPromotedTyCon nat1TyCon -zeroTyCon = buildPromotedDataCon zeroDataCon -succTyCon = buildPromotedDataCon succDataCon +nat1KindCon = promoteTyCon nat1TyCon +zeroTyCon = promoteDataCon zeroDataCon +succTyCon = promoteDataCon succDataCon nat1Ty :: Type nat1Ty = mkTyConApp nat1TyCon [] _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
