[project @ 1998-05-29 12:26:03 by simonm]

Replace some GENERATE_SPECs with SPECIALISE pragmas.

diff --git a/ghc/lib/std/PrelArr.lhs b/ghc/lib/std/PrelArr.lhs
index b25ecaa..b738b6e 100644 (file)
--- a/ghc/lib/std/PrelArr.lhs
+++ b/ghc/lib/std/PrelArr.lhs
@@ -24,21 +24,22 @@ infixl 9  !, //
 \end{code}
 
 \begin{code}
-{-# GENERATE_SPECS array a{~,Int,IPr} b{} #-}
+{-# SPECIALISE array :: (Int,Int) -> [(Int,b)] -> Array Int b #-}
 array                :: (Ix a) => (a,a) -> [(a,b)] -> Array a b
 
-{-# GENERATE_SPECS (!) a{~,Int,IPr} b{} #-}
+{-# SPECIALISE (!) :: Array Int b -> Int -> b #-}
 (!)                  :: (Ix a) => Array a b -> a -> b
 
+{-# SPECIALISE bounds :: Array Int b -> (Int,Int) #-}
 bounds               :: (Ix a) => Array a b -> (a,a)
 
-{-# GENERATE_SPECS (//) a{~,Int,IPr} b{} #-}
+{-# SPECIALISE (//) :: Array Int b -> [(Int,b)] -> Array Int b #-}
 (//)                 :: (Ix a) => Array a b -> [(a,b)] -> Array a b
 
-{-# GENERATE_SPECS accum a{~,Int,IPr} b{} c{} #-}
+{-# SPECIALISE accum  :: (b -> c -> b) -> Array Int b -> [(Int,c)] -> Array Int b #-}
 accum                :: (Ix a) => (b -> c -> b) -> Array a b -> [(a,c)] -> Array a b
 
-{-# GENERATE_SPECS accumArray a{~,Int,IPr} b{} c{} #-}
+{-# SPECIALISE accumArray :: (b -> c -> b) -> b -> (Int,Int) -> [(Int,c)] -> Array Int b #-}
 accumArray           :: (Ix a) => (b -> c -> b) -> b -> (a,a) -> [(a,c)] -> Array a b
 \end{code}