cvs commit: hugs98/src type.c

[ross@glass.cse.ogi.edu]

ross        2003/02/20 08:44:39 PST

  Modified files:
    src                  type.c 
  Log:
  Re-instate unification of input and output type variables for fields
  not mentioned in a record update.  Though this always succeeds, it
  affects the type of the expression, and may trigger later errors.
  (cf. tests/tcheck/recupd.*)
  
  Revision  Changes    Path
  1.66      +2 -5      hugs98/src/type.c