cvs commit: hugs98/src static.c

[ross at glass.cse.ogi.edu]

ross        2004/02/02 15:49:19 PST

  Modified files:
    src                  static.c 
  Log:
  Exclude class parameters from the check of explicitly quantified vars.
  
  In -98 mode, it is possible to add explicit quantification:
  
  	my_id = forall a. a -> a
  
  and then Hugs checks that the explicitly quantified vars are exactly
  those used.  But in the case of members of classes, it was rejecting
  
  	class Functor f => PreMonad f where
  		unit :: forall a. a -> f a
  
  saying that f wasn't quantified, when it's actually bound by the
  class declaration.
  
  Revision  Changes    Path
  1.168     +6 -4      hugs98/src/static.c