On Fri, May 8, 2015 at 7:56 PM, Brandon Allbery wrote:

On Fri, May 8, 2015 at 7:40 PM, Donn Cave wrote:

...

But fatal if compilation is conditional on something that affects the ability to type check, am I right? Such as different compilers or versions of same compiler.

Not per the abstract (paper itself seems to be paywalled). They had an earlier work with that issue, the linked one is about how to be robust in the face of such conditionals.

There's also the question about handling changes in syntax, e.g. LambdaCase throws parse errors in older compilers. -- brandon s allbery kf8nh sine nomine associates allbery.b@gmail.com ballbery@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net