cvs commit: hugs98/src connect.h hugs.c static.c subst.c

[Jeff Lewis]

lewie       2001/12/20 12:38:51 PST

  Modified files:
    src                  connect.h hugs.c static.c subst.c 
  Log:
  Add `-O' flag to allow potentially inconsistent overlapping instances.
  Ordinarily, hugs will reject a generic instance if there's more than one way
  to satisfy it, because the two instances may not be consistent.  However,
  this is sometimes too restrictive for serious experimenters ;-)
  
  Revision  Changes    Path
  1.26      +5 -2      hugs98/src/connect.h
  1.56      +7 -2      hugs98/src/hugs.c
  1.51      +6 -3      hugs98/src/static.c
  1.20      +3 -3      hugs98/src/subst.c