Re: Question about typechecker renaming of tyvars

2009-05-04 Thread Jean Yang
error messages seem to be coming from trying to do this for type > class instances that involve type variables in some context. (For example, > (Show a, Show b, Show c) => Show ((,,) a b c).) Any suggestions about what > to watch out for when dealing with these? > > I’m

Re: Question about typechecker renaming of tyvars

2009-05-03 Thread Jean Yang
us traceTc to print lots of debug output, so that you can narrow down > just what is emitting the error you are seeing. > > > > S > > > > *From:* cvs-ghc-boun...@haskell.org [mailto:cvs-ghc-boun...@haskell.org] *On > Behalf Of *Jean Yang > *Sent:* 29 April 2009

Re: Question about typechecker renaming of tyvars

2009-04-29 Thread Jean Yang
r -> PredTy (case pr of ClassP cl tys -> ClassP cl (map inst' tys) IParam ipn ty -> IParam ipn ty EqPred t1 t2 -> EqPred (inst' t1) (inst' t2)) On Fri, Mar 6, 2009 at 11:37 AM, Ian Lynagh wrote: > > Hi Jean, > > On Thu, Feb 19, 2

Question about typechecker renaming of tyvars

2009-02-19 Thread Jean Yang
') at compile time when I am accessing type classes not defined in my source code (ex. Show). Could this be caused by some renaming stage? If so, could someone point me to where this occurs? Also, is this the right place for such questions? Thanks, Jean -- Jean Yang http://web.mit.ed