cvs commit: hugs98/src type.c

Jeff Lewis lewie@glass.cse.ogi.edu
Thu, 13 Dec 2001 10:51:19 -0800 

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