On Fri, Dec 26, 2014 at 7:44 PM, David Jeske <[email protected]> wrote: > Personally, the pattern-like behavior I miss the most in > modular-compilation-land is the ability for the compiler to statically > validated that matching covers all cases. However, with modular compilation > this requires all types used in the matching to be defined in the module the > match exists in (so they can't later change after a dependent module > update). I suspect this is one of the reasons most languages with solid > matching are whole-program-compilers.
I don't follow the reasoning here. Please explain? _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
