cvs commit: hugs98/src type.c

[Ross Paterson]

ross        2005/10/29 04:40:50 PDT

  Modified files:
    src                  type.c 
  Log:
  When checking for escaping skolem type variables, check preds too.
  Formerly Hugs accepted
  
  	data T = forall a. C a
  
  	test (C x) = toInteger x
  
  The error message is poor though.
  
  Revision  Changes    Path
  1.80      +3 -2      hugs98/src/type.c