Re: Making (useful subsets of) bytecode portable between targets

It's certainly far from ideal, but for CI, what obstacles are there besides needing a runner accessible from cross compiling machine? E.g. Start the runner app on an iPhone plugged in into a USB power source and leave it there? Sent from my iPhone > On 24 Nov 2016, at 12:42 PM, Manuel M T

Re: Making (useful subsets of) bytecode portable between targets

If you use Travis CI or such, do you really want to have a runner accessible from an arbitrary host on the Internet? > Moritz Angermann : > > It's certainly far from ideal, but for CI, what obstacles are there besides > needing a runner accessible from cross compiling

Re: Making (useful subsets of) bytecode portable between targets

Sorry, but I don’t think running on the device is practical. How do you want to do CI, for example? Manuel > Moritz Angermann : > > >> On Nov 23, 2016, at 7:50 PM, Simon Marlow wrote: >> >> […] >> >> My question would be: are you *sure* you can't

Re: Making (useful subsets of) bytecode portable between targets

Hi, just to also note: that this completely ignores any host / target IO actions that TH might want to run. cheers, moritz > On Nov 24, 2016, at 12:51 PM, Moritz Angermann wrote: > > It's certainly far from ideal, but for CI, what obstacles are there besides >

Reading source annotations during type checking

Dear GHC devs, Is there a way to retrieve "source annotations" (as defined by https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/extending_ghc.html#source-annotations) during type checking. In particular, I am interested in reading them in TcExpr and TcCanonical. Regards, Alejandro

Re: DWARF patches for 8.2

Awesome stuff Ben. I'll try to find some time to review these. On 22 November 2016 at 06:18, Ben Gamari wrote: > Hello fellow DWARF enthusiasts, > > Tonight I finally made something of a breakthrough on the DWARF front; > after finding a small logic error in one of my