Subject: publish
From: Vassily Litvinov (vass@cs.washington.edu)
Date: Fri Feb 23 2001 - 16:30:45 PST
I published typechecker-related changes in Cecil/src/compiler:
Added two new vortex> commands: itc and full_itc to do implementation-side
typechecking. The commands [full]typecheck now perform only client-side
checking. Documented in "help typecheck."
Instead of "help typechecker" the command now is "help typecheck"
(i.e. without the trailing "er" - I find it more intuitive this way).
Added shortcut commands: tc for typecheck and pm for pmake.
Separated file_info's time stamps for client-side and impl-side
typechecking so can track files going out-of-date independently for
the two kinds of checks.
Replaced option tc_debugprint_decls with more general tc_debug (well
it's only of interest to me). tc_debugprint_decls is removed.
Replaced some calls to generic warning_msg() with calls to more
specific procedures. Essentially, the typechecker produces messages
that indicate type errors, places where the program does not conform
to limitations of typechecker, places where typechecker gives up, and
things that are only of interest to me. I made this dichotomy a bit
more clear.
Merged in the changes which have been sitting in my version for a while
(that's one very long while). Removed a bunch of commmented out code.
Dusted off AST traversal code. Got really upset by how convoluted my
traversals and initializations are.
Changed the way make_typecheck_option works, to allow arbitrary
combinations of modes: full/incremental, client-side yes/no,
implementation-side yes/no.
Vass
_______________________________________________
Cecil mailing list
Cecil@cs.washington.edu
http://majordomo.cs.washington.edu/mailman/listinfo/cecil
This archive was generated by hypermail 2b25 : Fri Feb 23 2001 - 16:31:04 PST