Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-03-22 10:12:24 -0800 (Tue, 22 Mar 2005)
Revision: 6998
Log message:
- In type inference, if any free variables are generated, replace them with
TyTop. This is a HACK, of course, but this is less of a hack then what we
had before (actually allowing free FO variables in type positions and
considering them to be "implicitly quantified" types). At some point we need
to figure out what exactly such free variables mean.
After this change /mmc_core_test/test_prog1 passes the closeure stage (and
fails in x86codegenC with
"progress: codegen type(Mmc_x86_codegen!CodegenTypeVar{!ty_p1011})" )
- Since MMC does not have any real I/O yet, updated the x86_runtime to print
the value returned from the main function instead of just using it as an
exit code int.