Hi Adam > The function at the end of this email walks over a Type, basically > (recursivey) replacing it with its coreView. The resulting tree has no > PredTy's except for (PredTy (EqPred _ _)).
Unrelated to your real point, but have you considered using a generics library? I don't know the details of what you are trying to do, but my guess is that might be able to write something like: import Data.Generics.Uniplate.Data coreViewDeep = transform (\x -> fromMaybe x $ coreView x) This function uses the uniplate library: http://community.haskell.org/~ndm/uniplate/ Thanks, Neil _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
