racket/collects/typed-racket
Matthew Flatt f2d870859a logging: allow name in `log-message', report it in a log-receiver evt
The synchronization result of a log receiver is now a vector of four
values, instead of three, where the last one reports the name.

Also, an optional argument to `make-logger' provides a notification
callback for each event sent to the logger.

These changes enable more control over loggers and events. Suppose
that you have processes A and B, and you want all log events of A
to be visible to B, but not vice-versa. Furthermore, you want the
log events to appear at B in the right order: if A logs an event
before B, then A's event should arrive at a log receiver's before
B's. Now that a log receiver gets the name associated with the
original event, and now that the name can be re-sent in a
`log-receiver', it's possible to give A and B separate loggers and
send all of the events from A's logger to B's logger. Furthermore,
you can use the notification callback so that when an event is logged
in B, you can make sure that all available events from from A's
logger have been transferred to B's logger.
2012-12-27 14:12:40 -06:00
..
base-env logging: allow name in `log-message', report it in a log-receiver evt 2012-12-27 14:12:40 -06:00
env Fix unsound type variable scoping 2012-12-13 17:54:58 -05:00
infer Rename control types to be consistent with other types 2012-11-30 17:37:33 -05:00
minimal/lang Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
optimizer Disable optimization of mixed-mode arithmetic that may involve exact 0. 2012-12-04 19:29:16 -05:00
private Fix contract generation for functions with optionals and keyword arguments. 2012-12-17 13:57:32 -05:00
rep Fix unsound type variable scoping 2012-12-13 17:54:58 -05:00
scribblings Add define: form variant for polymorphic non-function values 2012-12-19 13:08:41 -05:00
typecheck Fix unsound type variable scoping 2012-12-13 17:54:58 -05:00
types Support path/object reasoning for promises 2012-12-04 18:03:11 -05:00
utils Support Any wrapping for promises 2012-12-03 17:59:55 -05:00
core.rkt Add tests for make-predicate and cast, also add support for the top-level. 2012-08-20 12:39:41 -04:00
info.rkt Rename Performance Report to Optimization Coach. 2012-07-11 10:59:35 -04:00
language-info.rkt Move typed-scheme to typed-racket collection. 2011-09-03 20:49:39 -04:00
minimal.rkt Minor refactorings. 2012-06-25 18:07:45 -04:00
tc-setup.rkt Track mutable variables across modules. 2012-08-31 17:45:11 -04:00
typed-racket.rkt Apply Any wrappers for default-continuation-prompt-tag in TR 2012-11-30 17:37:33 -05:00
typed-reader.rkt scheme -> racket 2012-06-25 13:39:07 -04:00