From 41c4e4a016ae7ed18a97125b2413ee0d4bf400a1 Mon Sep 17 00:00:00 2001
From: simonm <unknown>
Date: Fri, 29 May 1998 12:26:03 +0000
Subject: [PATCH] [project @ 1998-05-29 12:26:03 by simonm] Replace some
 GENERATE_SPECs with SPECIALISE pragmas.

---
 ghc/lib/std/PrelArr.lhs | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/ghc/lib/std/PrelArr.lhs b/ghc/lib/std/PrelArr.lhs
index b25ecaa64037..b738b6ed3f74 100644
--- 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}
 
-- 
GitLab