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
On Mon, 2009-11-30 at 12:20 +, Simon Peyton-Jones wrote:
> | For ghc-6.12, we should just fix ticket #3681.
>
> OK, good. But who is "we"?
I think the short-term fix is just to change the hsc2hs wrapper script.
So that'd be Ian.
Longer term we might want to do it differently to allow a si
| 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: glasgow-haske
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. I
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 Peyto
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: gl