Making (useful subsets of) bytecode portable between targets

[Manuel M T Chakravarty]

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 <moritz at lichtzwerge.de>:
> 
> 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 Chakravarty <chak at justtesting.org> wrote:
>> 
>> Sorry, but I don’t think running on the device is practical. How do you want to do CI, for example?
>> 
>> Manuel
>> 
>>> Moritz Angermann <moritz at lichtzwerge.de>:
>>> 
>>> 
>>>> On Nov 23, 2016, at 7:50 PM, Simon Marlow <marlowsd at gmail.com> wrote:
>>>> 
>>>> […]
>>>> 
>>>> My question would be: are you *sure* you can't run target code at compile time?  Not even with an iphone simulator?
>>> 
>>> This should be possible. However for proper development one would need to run on the
>>> device (iPhone, iPad, …) for armv7 or arm64, as the Simulator is i386 or x86_64.
>>> 
>>> There is a bit of additional engineering required here to get the shipping of
>>> code from ghc to the runner on the target required (e.g. via network).  As executing
>>> and controlling applications on the actual hardware is limited, I guess a custom
>>> ghc-runner application would have to be manually started on the device, which could
>>> trivially be discovered using bonjour/zeroconf (or just giving ghc the host:port information).
>>> 
>>> In general though, the runner does not have to obey all the restrictions apple puts
>>> onto app-store distributed apps, as I expect that everyone could build and install
>>> the runner themselves when intending to do iOS development with ghc.
>>> 
>>> cheers,
>>> moritz
>>> _______________________________________________
>>> ghc-devs mailing list
>>> ghc-devs at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>> 
>