From dd22d02f42cf007d5bf8be78ade260b19efec12f Mon Sep 17 00:00:00 2001 From: simonmar Date: Thu, 15 Dec 2005 11:17:31 +0000 Subject: [PATCH] [project @ 2005-12-15 11:17:31 by simonmar] Add dataCast1/dataCast2 methods to Data class, as per ticket #633. --- Data/IntMap.hs | 1 + Data/Map.hs | 1 + Data/Set.hs | 1 + 3 files changed, 3 insertions(+) diff --git a/Data/IntMap.hs b/Data/IntMap.hs index 4c5246c..d5fc9e7 100644 --- 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 --- 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 --- 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 -- 1.7.10.4