Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2003-08-11 14:31:31 -0700 (Mon, 11 Aug 2003)
Revision: 4821
Log message:
. Fixed several things to work with sequents.
. 1. In apply_redex, return *something* for a StackSeqContext.
. Even though we can't return the right thing, this should
. not fail.
. 2. term_match_table now works with sequents.
.
. It is possible to define display form for sequents the normal way.
. See core_ast.ml for an example.
.
. In core, the namer now works, type inference is stuck because
. Unify_mm needs to be upgraded to work with sequents.