Commit a7147dfb authored by jpm@cs.ox.ac.uk's avatar jpm@cs.ox.ac.uk

Add missing dataCast1 method to the Data Bag instance

parent 9e056513
......@@ -268,5 +268,6 @@ instance Data a => Data (Bag a) where
toConstr _ = abstractConstr $ "Bag("++show (typeOf (undefined::a))++")"
gunfold _ _ = error "gunfold"
dataTypeOf _ = mkNoRepType "Bag"
dataCast1 x = gcast1 x
\end{code}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment