cvs commit: hugs98/src type.c

Ross Paterson <[email protected]>
Newsgroups gmane.comp.lang.haskell.cvs.hugs
Message-ID <[email protected]> 
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.