Re: ghc and aarch64?

2013-03-26 Thread Karel Gardas
Hi David, AArch64 is completely new architecture so it's not about extending current ARM support but rather write a new beside it -- at least as a prototype, if there is a lot of synergies you can merge both together later, but I don't see it having a high chance. Well the situation with

Re: ghc and aarch64?

2013-03-26 Thread David Terei
Sure. 'Extend' was the wrong phrasing. I meant more that given the work gone into ARM support in GHC in the sense of the build system, RTS, cross compilation.. e.t.c, I'd be surprised if this didn't help porting to AArch64. Just human expertise we have now helps a huge amount. On 26 March 2013

Re: Allowing (Char ~ Bool = Void)?

2013-03-26 Thread Brent Yorgey
On Sun, Mar 24, 2013 at 10:49:24AM -0400, Richard Eisenberg wrote: Though I've never run into the problem Shachaf mentions, this certainly seems useful. However, when testing Shachaf's code, I get the same error that I get when writing an impossible branch of a case statement. I imagine that