Formal semantics for Core?
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 Description: Digital signature ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
RE: GHC 6.12 + zlib + Mac OS 10.6
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 single hsc2hs instance to be used to target either 32 or 64bit ABIs on the same platform. Duncan ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
RE: GHC 6.12 + zlib + Mac OS 10.6
| 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-haskell-users@haskell.org; Haskell Libraries | Subject: RE: GHC 6.12 + zlib + Mac OS 10.6 | | 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 should also note that none of this is | necessary for ghc-6.12+. | | For ghc-6.12, we should just fix ticket #3681. | | http://hackage.haskell.org/trac/ghc/ticket/3681 | | | Duncan | | ___ | Libraries mailing list | librar...@haskell.org | http://www.haskell.org/mailman/listinfo/libraries ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
RE: GHC 6.12 + zlib + Mac OS 10.6
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 should also note that none of this is necessary for ghc-6.12+. For ghc-6.12, we should just fix ticket #3681. http://hackage.haskell.org/trac/ghc/ticket/3681 Duncan ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: GHC 6.12 + zlib + Mac OS 10.6
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 Peyton-Jones wrote: > 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: glasgow-haskell-users@haskell.org; Haskell Libraries > | Subject: Re: GHC 6.12 + zlib + Mac OS 10.6 > | > | On Sat, Nov 28, 2009 at 3:54 PM, Yusaku Hashimoto > wrote: > | > I think you installed zlib without proper flags to link with 32-bit > | > libraries. configuring with ./Setup configure > | > --with-hsc2hs='--cc-flag=-m32 --ld-flag=-m32' should do the tricks. > | > > | > See also http://hackage.haskell.org/trac/ghc/ticket/3681. > | > > | > HTH > | > -~nwn > | > | The following worked like a charm: > | > | cabal install --hsc2hs-options='--cc-flag=-m32 --ld-flag=-m32' > | > | Thanks for the tip. > | > | Antoine > | ___ > | Glasgow-haskell-users mailing list > | Glasgow-haskell-users@haskell.org > | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > > ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
RE: GHC 6.12 + zlib + Mac OS 10.6
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: glasgow-haskell-users@haskell.org; Haskell Libraries | Subject: Re: GHC 6.12 + zlib + Mac OS 10.6 | | On Sat, Nov 28, 2009 at 3:54 PM, Yusaku Hashimoto wrote: | > I think you installed zlib without proper flags to link with 32-bit | > libraries. configuring with ./Setup configure | > --with-hsc2hs='--cc-flag=-m32 --ld-flag=-m32' should do the tricks. | > | > See also http://hackage.haskell.org/trac/ghc/ticket/3681. | > | > HTH | > -~nwn | | The following worked like a charm: | | cabal install --hsc2hs-options='--cc-flag=-m32 --ld-flag=-m32' | | Thanks for the tip. | | Antoine | ___ | Glasgow-haskell-users mailing list | Glasgow-haskell-users@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users