[commit: base] imp-param-class: Remove 'ipDef', we just insert the newtype coercion manually. (f849706)

[Iavor Diatchki]

Repository : ssh://darcs.haskell.org//srv/darcs/packages/base

On branch  : imp-param-class

http://hackage.haskell.org/trac/ghc/changeset/f84970684b8502fa6df07c6be41d85e918741415

>---------------------------------------------------------------

commit f84970684b8502fa6df07c6be41d85e918741415
Author: Iavor S. Diatchki <iavor.diatchki at gmail.com>
Date:   Sun May 27 20:34:38 2012 -0700

    Remove 'ipDef', we just insert the newtype coercion manually.
    
    This gives a much better error message.

>---------------------------------------------------------------

 GHC/IP.hs |    6 +-----
 1 files changed, 1 insertions(+), 5 deletions(-)

diff --git a/GHC/IP.hs b/GHC/IP.hs
index 26fee1a..dd75d07 100644
--- a/GHC/IP.hs
+++ b/GHC/IP.hs
@@ -3,7 +3,7 @@
 {-# LANGUAGE KindSignatures #-}
 {-# LANGUAGE DataKinds #-}
 {-# OPTIONS_GHC -XNoImplicitPrelude #-}
-module GHC.IP (IP, IPName(..), ipUse, ipDef) where
+module GHC.IP (IP, IPName(..), ipUse) where
 
 import GHC.TypeLits
 
@@ -22,10 +22,6 @@ ipUse x = case val x of
   where val :: IP x a => IPName x -> IPValue x a
         val _ = ip
 
--- Used internally by the compiler to create `IP` dictionaries.
-ipDef :: a -> IPValue x a
-ipDef = IPValue
-
 -- | The syntax @?x :: a@ is desugared into @IP "x" a@
 class IP x a | x -> a where
   ip :: IPValue x a