[project @ 2005-12-15 11:17:31 by simonmar]

Add dataCast1/dataCast2 methods to Data class, as per ticket #633.

diff --git a/Data/IntMap.hs b/Data/IntMap.hs
index 4c5246c..d5fc9e7 100644 (file)
--- a/Data/IntMap.hs
+++ b/Data/IntMap.hs
@@ -236,6 +236,7 @@ instance Data a => Data (IntMap a) where
   toConstr _    = error "toConstr"
   gunfold _ _   = error "gunfold"
   dataTypeOf _  = mkNorepType "Data.IntMap.IntMap"
+  dataCast1      = gcast1
 
 #endif
 

diff --git a/Data/Map.hs b/Data/Map.hs
index da12f9d..96dc045 100644 (file)
--- a/Data/Map.hs
+++ b/Data/Map.hs
@@ -212,6 +212,7 @@ instance (Data k, Data a, Ord k) => Data (Map k a) where
   toConstr _     = error "toConstr"
   gunfold _ _    = error "gunfold"
   dataTypeOf _   = mkNorepType "Data.Map.Map"
+  dataCast2      = gcast2
 
 #endif
 

diff --git a/Data/Set.hs b/Data/Set.hs
index fe3b0b4..34cb16a 100644 (file)
--- a/Data/Set.hs
+++ b/Data/Set.hs
@@ -171,6 +171,7 @@ instance (Data a, Ord a) => Data (Set a) where
   toConstr _     = error "toConstr"
   gunfold _ _    = error "gunfold"
   dataTypeOf _   = mkNorepType "Data.Set.Set"
+  dataCast1      = gcast1
 
 #endif