merged in 110.7 changes

This commit was generated by cvs2svn to compensate for changes in r116,
which included commits to RCS files with non-trunk default branches.

This commit was generated by cvs2svn to compensate for changes in r113,
which included commits to RCS files with non-trunk default branches.

Initial revision

merged in 110.6 changes

This commit was generated by cvs2svn to compensate for changes in r106,
which included commits to RCS files with non-trunk default branches.

Initial revision

merged in 110.5.1 from Zhong

This commit was generated by cvs2svn to compensate for changes in r100,
which included commits to RCS files with non-trunk default branches.

Initial revision

merged with 110.5

This commit was generated by cvs2svn to compensate for changes in r93,
which included commits to RCS files with non-trunk default branches.

Initial revision

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

*** empty log message ***

removing assert and rc-file changes for now.

*** empty log message ***

added real inlining support (with alpha-renaming)
added limited type information

Changed the semantics of "inline".

assertions and .smlnjrc

*** empty log message ***

debugging code

changed max # elements to flatten to 5, to support x86 floating
points.  should be made machine dependent?

added checking for redefined lvars.

minimal checking for lvars in dict and conrep.

*** empty log message ***

cleaned up the previous merge

merged in Zhong's 110.4

This commit was generated by cvs2svn to compensate for changes in r69,
which included commits to RCS files with non-trunk default branches.

Initial revision

made changes to kind-checking so that enc_tvar need not be exported
by ltykernel.  one awkwardness is that the tkLookupFreeVars function
in ltykernel manipulates a tkindenv, which is technically not defined
until ltyextern.

dummy

*** empty log message ***

*** empty log message ***

just added a comment.  there is apparently a subtle bug in inlining
across different depths.  it causes a type error in a FIX node when
compiling CodeGen/cpscompile/mkRecord.sml.

major change to tc_eqv_gen and its clients; now they properly check
equivalence of two FIX nodes.

Renaming of Control.CG flags related to type-checking.  Now we have
`checkFlint', `checkKinds', and `checkDatatypes'.

*** empty log message ***

undoing the hack that has been replaced by a proper fix

properly newline-terminate the output when hitting eof

properly newline-terminate xmakeml's output

properly newline-terminate xmakeml's output

Type and kind-checking working and turned on by default.
Datatype equality still not implemented.

buildcm -full and
xmakeml

split printLambda into printLambda and printFlint

moved TAPP handling from `tolexp' to `tolvar' since it always
binds one and only one variable.

*** empty log message ***

*** empty log message ***

This commit was generated by cvs2svn to compensate for changes in r45,
which included commits to RCS files with non-trunk default branches.

Initial revision

*** empty log message ***

This commit was generated by cvs2svn to compensate for changes in r24,
which included commits to RCS files with non-trunk default branches.

Initial revision

Initial revision

*** empty log message ***