RE: GHC 6.12 + zlib + Mac OS 10.6

2009-11-30 Thread Simon Peyton-Jones
Should this go in a FAQ? For GHC? Or for a particular architecture? Simon | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-users- | boun...@haskell.org] On Behalf Of Antoine Latter | Sent: 28 November 2009 23:01 | To: Yusaku Hashimoto | Cc:

Re: GHC 6.12 + zlib + Mac OS 10.6

2009-11-30 Thread Yusaku Hashimoto
I think this is a problem for architectures in which can only build 32-bit binaries. On such architectures, hsc2hs should ensure to work for 32-bit binaries as possible. So I think hsc2hs wrapper should be fixed to give the flags if gcc is used. --nwn On Mon, Nov 30, 2009 at 5:44 PM, Simon

RE: GHC 6.12 + zlib + Mac OS 10.6

2009-11-30 Thread Duncan Coutts
On Mon, 2009-11-30 at 08:44 +, Simon Peyton-Jones wrote: Should this go in a FAQ? For GHC? Or for a particular architecture? For ghc-6.10, yes. It'd should be a section GHC on OSX 10.6 (Snow Leopard) and should describe the changes required to the shell script wrappers of ghc and hsc2hs. It

RE: GHC 6.12 + zlib + Mac OS 10.6

2009-11-30 Thread Simon Peyton-Jones
| For ghc-6.12, we should just fix ticket #3681. OK, good. But who is we? Simon | -Original Message- | From: libraries-boun...@haskell.org [mailto:libraries-boun...@haskell.org] On Behalf | Of Duncan Coutts | Sent: 30 November 2009 10:41 | To: Simon Peyton-Jones | Cc:

Formal semantics for Core?

2009-11-30 Thread Matthijs Kooijman
Hi All, I was wondering if there are any formal semantics defined for GHC's core language? I'm working with some core to core rewriting passes for which I'd like to verify the soundness, but that would require some formal definition of the Core semantics of sorts... Gr. Matthijs signature.asc