Hello fellow hackers,
Here is a big, gnarly patch that finishes the work I started in Bergen,
which was to change the way we handle library dependencies so that units
can be loaded conditionally. This was inspired by Peter's changes to
make import expressions lexically-scoped, so that you can writ
Hi,
Here's a new version of the patch. This tries to handle #!optional and
#!rest in procedure types correctly, in addition to the parameter
contravariance stuff. The implementation should be cleaner now.
This is still not ready to be merged to the master. At least the
signatures in types.db shou
