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 ***