X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Frts%2Fgmp%2Fmpn%2Fgeneric%2Fdump.c;fp=ghc%2Frts%2Fgmp%2Fmpn%2Fgeneric%2Fdump.c;h=0000000000000000000000000000000000000000;hb=0065d5ab628975892cea1ec7303f968c3338cbe1;hp=66f375c74bd8cb3ac5367aa6cb64ddcc8fb1f2e5;hpb=28a464a75e14cece5db40f2765a29348273ff2d2;p=ghc-hetmet.git

diff --git a/ghc/rts/gmp/mpn/generic/dump.c b/ghc/rts/gmp/mpn/generic/dump.c
deleted file mode 100644
index 66f375c..0000000
--- a/ghc/rts/gmp/mpn/generic/dump.c
+++ /dev/null
@@ -1,76 +0,0 @@
-/* THIS IS AN INTERNAL FUNCTION WITH A MUTABLE INTERFACE.  IT IS NOT SAFE TO
-   CALL THIS FUNCTION DIRECTLY.  IN FACT, IT IS ALMOST GUARANTEED THAT THIS
-   FUNCTION WILL CHANGE OR DISAPPEAR IN A FUTURE GNU MP RELEASE.
-
-
-Copyright (C) 1996, 2000 Free Software Foundation, Inc.
-
-This file is part of the GNU MP Library.
-
-The GNU MP Library is free software; you can redistribute it and/or modify
-it under the terms of the GNU Lesser General Public License as published by
-the Free Software Foundation; either version 2.1 of the License, or (at your
-option) any later version.
-
-The GNU MP Library is distributed in the hope that it will be useful, but
-WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
-or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public
-License for more details.
-
-You should have received a copy of the GNU Lesser General Public License
-along with the GNU MP Library; see the file COPYING.LIB.  If not, write to
-the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
-MA 02111-1307, USA.
-*/
-
-#include <stdio.h>
-#include "gmp.h"
-#include "gmp-impl.h"
-
-void
-#if __STDC__
-mpn_dump (mp_srcptr ptr, mp_size_t size)
-#else
-mpn_dump (ptr, size)
-     mp_srcptr ptr;
-     mp_size_t size;
-#endif
-{
-  MPN_NORMALIZE (ptr, size);
-
-  if (size == 0)
-    printf ("0\n");
-  else
-    {
-      size--;
-      if (BYTES_PER_MP_LIMB > sizeof (long))
-	{
-	  if ((ptr[size] >> BITS_PER_MP_LIMB/2) != 0)
-	    {
-	      printf ("%lX",
-		      (unsigned long) (ptr[size] >> BITS_PER_MP_LIMB/2));
-	      printf ("%0*lX", (int) (BYTES_PER_MP_LIMB),
-		      (unsigned long) ptr[size]);
-	    }
-	  else
-	    printf ("%lX", (unsigned long) ptr[size]);
-	}
-      else
-	printf ("%lX", ptr[size]);
-
-      while (size)
-	{
-	  size--;
-	  if (BYTES_PER_MP_LIMB > sizeof (long))
-	    {
-	      printf ("%0*lX", (int) (BYTES_PER_MP_LIMB),
-		(unsigned long) (ptr[size] >> BITS_PER_MP_LIMB/2));
-	      printf ("%0*lX", (int) (BYTES_PER_MP_LIMB),
-		(unsigned long) ptr[size]);
-	    }
-	  else
-	    printf ("%0*lX", (int) (2 * BYTES_PER_MP_LIMB), ptr[size]);
-	}
-      printf ("\n");
-    }
-}