cvs commit: hugs98/src type.c

Sat, 29 Oct 2005 04:40:56 -0700 

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
_______________________________________________
Cvs-hugs mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/cvs-hugs

Reply via email to