On Fri, May 8, 2015 at 7:56 PM, Brandon Allbery <allber...@gmail.com> wrote:
> On Fri, May 8, 2015 at 7:40 PM, Donn Cave <d...@avvanta.com> 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 allber...@gmail.com ballb...@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs