Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-03-09 05:23:45 -0800 (Tue, 09 Mar 2004)
Revision: 327
Log message:

      Removing the distinction between the Hypothesis and HypBinding - it was
      causing too much trouble unnecessarily complicating a lot of code.
      
      The IO part of the distinction is still there - on IO the "unused" bindings
      are interpreted as variables with an empty "string" part.
      

Changes by: ( at unknown.email)
Date: 2004-03-09 05:23:45 -0800 (Tue, 09 Mar 2004)
Revision: 328
Log message:

      This commit was manufactured by cvs2svn to create branch
      'new_match_table'.

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-22 14:36:03 -0800 (Mon, 22 Mar 2004)
Revision: 331
Log message:

      Yay, the phone company fixed my DSL!
      
      This is an intermediate commit while I work on the backend.  There are
      some minor changes to the instruction set, and I removed Mcc_x86_inst_type
      because there is no longer any need to convert terms to an ML data type.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-22 19:23:29 -0800 (Mon, 22 Mar 2004)
Revision: 333
Log message:

      This is an initial commit of the x86_backend utilities.  This includes
      the printer, and the conversion to the abstract type used by the register
      allocator.  Still left: standardization and spill code generation.
      

Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2004-03-25 19:31:12 -0800 (Thu, 25 Mar 2004)
Revision: 337
Log message:

      The hoist phase now lifts out closed functions correctly.
      
      Added a new function Lm_symbol.new_name_gen that acts as
      a new name generator.  See Mcc_hoist for an example of use.
      Sorry about the massive recompile...
      
      Added editor/ml/mpshell for those of use who prefer keeping
      the xterm around.