On 2013-09-30 04:00, Patrick Palka wrote:

+ isPrelude :: ImportDecl Name -> Bool + isPrelude = (== "Prelude") . moduleNameString . unLoc . ideclName

Can't you just do unLoc (ideclName imp) == pRELUDE_NAME here?

I think I hardcoded the name because I wanted to make sure not to run into the problem we've had before again, the "tryTc oddity": what happens when the Prelude isn't compiled yet and the typechecker refers to it? In case Prelude is handled specially here (i.e. pRELUDE_NAME always makes sense), your suggestion looks like it's a much better way of writing that definition. David/quchen