[commit: ghc] type-nats: Fix up to build with renamed promoting functions. (191250b)

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 []