On Wed, Jul 9, 2014 at 5:57 PM, Raoul Duke <[email protected]> wrote: > possible to make it a separate system, like Dialyizer or (sorta) Typed > Racket so that the core language doesn't care, and the > inference/analysis can be revised and revamped separately?
Not possible. The inference mechanism *is* the type checker.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
