cvs commit: hugs98/src type.c

13 Dec 2001


      lewie       2001/12/13 10:51:19 PST

  Modified files:
    src                  type.c 
  Log:
  Clean up tautologies before complaining about being unable to justify
  constraints in a typed expression.  Fixes bug reported Nov 00 by Koen.
  
  Revision  Changes    Path
  1.38      +3 -2      hugs98/src/type.c

Jeff Lewis

tags

participants (1)