On 28 April 2010 10:17, zaxis <[email protected]> wrote: > > newtype TypeMap = TypeMap (Map.Map TypeRep Dynamic) > > lookup :: Typeable a => TypeMap -> Maybe a > lookup (TypeMap mp) = res > where res = liftM (fromJust . fromDynamic) $ Map.lookup (typeOf $ > fromJust res) mp > > It seems that the `res` in `fromJust res` has not been defined ?
http://www.haskell.org/haskellwiki/Tying_the_Knot -- Ivan Lazar Miljenovic [email protected] IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
