From sean.seefried at gmail.com Sat Mar 7 11:18:18 2015 From: sean.seefried at gmail.com (Sean Seefried) Date: Sat, 7 Mar 2015 22:18:18 +1100 Subject: -staticlib flag for building standalone static libraries producing very large libraries Message-ID: Hi all, Can anyone explain the following problem I'm having? I'm currently writing a game in Haskell. When I produce a plain old executable (for local testing) it's about 23M. However, when I create a static lib using the -staticlib flag it is 54M. Why the discrepancy? Sean -------------- next part -------------- An HTML attachment was scrubbed... URL: From shumovichy at gmail.com Sat Mar 7 11:46:28 2015 From: shumovichy at gmail.com (Yuras Shumovich) Date: Sat, 07 Mar 2015 14:46:28 +0300 Subject: -staticlib flag for building standalone static libraries producing very large libraries In-Reply-To: References: Message-ID: <1425728788.2756.11.camel@gmail.com> On Sat, 2015-03-07 at 22:18 +1100, Sean Seefried wrote: > Hi all, > > Can anyone explain the following problem I'm having? > > I'm currently writing a game in Haskell. When I produce a plain old > executable (for local testing) it's about 23M. However, when I create a > static lib using the -staticlib flag it is 54M. Most likely that is because executable contains only necessary/used definitions, while static lib is just an archive of all object files, including all dependencies. Note also that by default core libs are compiled using --split-objs, so when linking executable, all unused top level definitions are filtered out. (And you can decrease size of the executable even more by compiling it and all its dependencies using --split-objs if you are not using it already.) Without the flag, unused definitions are filtered out on per module basis. (I'm not an expert here, so the above description can be partially or totally wrong :) ) Thanks, Yuras > > Why the discrepancy? > > Sean > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users From austin at well-typed.com Mon Mar 16 20:30:09 2015 From: austin at well-typed.com (Austin Seipp) Date: Mon, 16 Mar 2015 15:30:09 -0500 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 Message-ID: We are pleased to announce the third release candidate for GHC 7.10.1: https://downloads.haskell.org/~ghc/7.10.1-rc3 https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/ This includes the source tarball and bindists for Windows and Debian Linux. FreeBSD, CentOS and Mac OS X binary distributions will follow soon. These binaries and tarballs have an accompanying SHA256SUMS file signed by my GPG key id (0x3B58D86F). We plan to make the 7.10.1 final release at the end of this week - so please test as much as possible; bugs are much cheaper if we find them before the release! The list of issues we plan on fixing can always be found in an up-to-date form here: https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ From strake888 at gmail.com Mon Mar 16 23:29:19 2015 From: strake888 at gmail.com (M Farkas-Dyck) Date: Mon, 16 Mar 2015 18:29:19 -0500 Subject: [PATCH] generalize filterM, mapAndUnzipM, zipWithM, zipWithM_, replicateM, replicateM_ Message-ID: <20150316232919.GA25140@mintha> --- libraries/base/Control/Monad.hs | 37 ++++++++++++++++--------------------- 1 file changed, 16 insertions(+), 21 deletions(-) diff --git a/libraries/base/Control/Monad.hs b/libraries/base/Control/Monad.hs index 6fa4a07..02eabd1 100644 --- a/libraries/base/Control/Monad.hs +++ b/libraries/base/Control/Monad.hs @@ -75,9 +75,9 @@ module Control.Monad , (<$!>) ) where -import Data.Foldable ( Foldable, sequence_, msum, mapM_, foldlM, forM_ ) -import Data.Functor ( void ) -import Data.Traversable ( forM, mapM, sequence ) +import Data.Functor ( void, (<$>) ) +import Data.Foldable ( Foldable, sequence_, sequenceA_, msum, mapM_, foldlM, forM_ ) +import Data.Traversable ( forM, mapM, traverse, sequence, sequenceA ) import GHC.Base hiding ( mapM, sequence ) import GHC.List ( zipWith, unzip, replicate ) @@ -94,13 +94,8 @@ guard False = empty -- | This generalizes the list-based 'filter' function. {-# INLINE filterM #-} -filterM :: (Monad m) => (a -> m Bool) -> [a] -> m [a] -filterM p = foldr go (return []) - where - go x r = do - flg <- p x - ys <- r - return (if flg then x:ys else ys) +filterM :: (Applicative m) => (a -> m Bool) -> [a] -> m [a] +filterM p = foldr (\ x -> liftA2 (\ flg -> if flg then (x:) else id) (p x)) (pure []) infixr 1 <=<, >=> @@ -125,19 +120,19 @@ forever a = let a' = a >> a' in a' -- | The 'mapAndUnzipM' function maps its first argument over a list, returning -- the result as a pair of lists. This function is mainly used with complicated -- data structures or a state-transforming monad. -mapAndUnzipM :: (Monad m) => (a -> m (b,c)) -> [a] -> m ([b], [c]) +mapAndUnzipM :: (Applicative m) => (a -> m (b,c)) -> [a] -> m ([b], [c]) {-# INLINE mapAndUnzipM #-} -mapAndUnzipM f xs = sequence (map f xs) >>= return . unzip +mapAndUnzipM f xs = unzip <$> traverse f xs --- | The 'zipWithM' function generalizes 'zipWith' to arbitrary monads. -zipWithM :: (Monad m) => (a -> b -> m c) -> [a] -> [b] -> m [c] +-- | The 'zipWithM' function generalizes 'zipWith' to arbitrary applicative functors. +zipWithM :: (Applicative m) => (a -> b -> m c) -> [a] -> [b] -> m [c] {-# INLINE zipWithM #-} -zipWithM f xs ys = sequence (zipWith f xs ys) +zipWithM f xs ys = sequenceA (zipWith f xs ys) -- | 'zipWithM_' is the extension of 'zipWithM' which ignores the final result. -zipWithM_ :: (Monad m) => (a -> b -> m c) -> [a] -> [b] -> m () +zipWithM_ :: (Applicative m) => (a -> b -> m c) -> [a] -> [b] -> m () {-# INLINE zipWithM_ #-} -zipWithM_ f xs ys = sequence_ (zipWith f xs ys) +zipWithM_ f xs ys = sequenceA_ (zipWith f xs ys) {- | The 'foldM' function is analogous to 'foldl', except that its result is encapsulated in a monad. Note that 'foldM' works from left-to-right over @@ -175,18 +170,18 @@ foldM_ f a xs = foldlM f a xs >> return () -- | @'replicateM' n act@ performs the action @n@ times, -- gathering the results. -replicateM :: (Monad m) => Int -> m a -> m [a] +replicateM :: (Applicative m) => Int -> m a -> m [a] {-# INLINEABLE replicateM #-} {-# SPECIALISE replicateM :: Int -> IO a -> IO [a] #-} {-# SPECIALISE replicateM :: Int -> Maybe a -> Maybe [a] #-} -replicateM n x = sequence (replicate n x) +replicateM n x = sequenceA (replicate n x) -- | Like 'replicateM', but discards the result. -replicateM_ :: (Monad m) => Int -> m a -> m () +replicateM_ :: (Applicative m) => Int -> m a -> m () {-# INLINEABLE replicateM_ #-} {-# SPECIALISE replicateM_ :: Int -> IO a -> IO () #-} {-# SPECIALISE replicateM_ :: Int -> Maybe a -> Maybe () #-} -replicateM_ n x = sequence_ (replicate n x) +replicateM_ n x = sequenceA_ (replicate n x) -- | The reverse of 'when'. unless :: (Applicative f) => Bool -> f () -> f () -- 2.3.1 From mietek at bak.io Tue Mar 17 02:09:23 2015 From: mietek at bak.io (=?iso-8859-1?Q?Mi=EBtek_Bak?=) Date: Tue, 17 Mar 2015 02:09:23 +0000 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: References: Message-ID: <4FF22F98-5B3F-4A0A-8BEB-1DE1A71BAC51@bak.io> Thanks. 7.10.1-rc3 is now available in Halcyon, on CentOS 6 (x86_64 only), CentOS 7, Debian 7, Fedora 19, Fedora 20, Fedora 21 (x86_64 only), Ubuntu 12.04 LTS, Ubuntu 14.04 LTS, and Ubuntu 14.10. As with 7.10.1-rc2, installation fails on CentOS 6 (i386), Debian 6, and Ubuntu 10.04 LTS, in one of two following ways ? 1. On i386: "utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist" copy libraries/ghc-prim dist-install "strip" '' '/app/ghc' '/app/ghc/lib/ghc-7.10.0.20150316' '/app/ghc/share/doc/ghc/html/libraries' 'v p dyn' ghc-cabal/dist-install/build/tmp/ghc-cabal: symbol lookup error: libraries/integer-gmp2/dist-install/build/libHSinteger-gmp-1.0.0.0-6zeGtnFHpaVBJ80QaL9uVu-ghc7.10.0.20150316.so: undefined symbol: __gmpn_ior_n 2. On x86_64: ghc-cabal: '/app/ghc/lib/ghc-7.10.0.20150316/bin/ghc' exited with an error: /app/ghc/lib/ghc-7.10.0.20150316/bin/ghc: symbol lookup error: /app/ghc/lib/ghc-7.10.0.20150316/bin/../rts/libHSrts_thr-ghc7.10.0.20150316.so: undefined symbol: pthread_setname_np -- Mi?tek On 2015-03-16, at 20:30, Austin Seipp wrote: > We are pleased to announce the third release candidate for GHC 7.10.1: > > https://downloads.haskell.org/~ghc/7.10.1-rc3 > https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/ > > This includes the source tarball and bindists for Windows and Debian > Linux. FreeBSD, CentOS and Mac OS X binary distributions will follow > soon. These binaries and tarballs have an accompanying > SHA256SUMS file signed by my GPG key id (0x3B58D86F). > > We plan to make the 7.10.1 final release at the end of this week - so > please test as much as possible; bugs are much cheaper if we find them > before the release! > > The list of issues we plan on fixing can always be found in an > up-to-date form here: > https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 > > -- > Regards, > > Austin Seipp, Haskell Consultant > Well-Typed LLP, http://www.well-typed.com/ > _______________________________________________ > ghc-devs mailing list > ghc-devs at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4203 bytes Desc: not available URL: From Garrett.Morris at ed.ac.uk Tue Mar 17 02:54:33 2015 From: Garrett.Morris at ed.ac.uk (J. Garrett Morris) Date: Tue, 17 Mar 2015 02:54:33 +0000 Subject: Qualified names in TH? Message-ID: I'm trying to write some Template Haskell code that (among other things) manipulates IntSets. So, for example, I'd like a splice to generate a call to Data.IntSet.fromList. However, I'm not sure how IntSet will be imported in the target module. Is there a way to resolve the fully qualified name (or similar) to a TH Name, without having to know how it's imported in the splicing module? (The obvious approach---mkName "Data.IntSet.fromList"---seems not to work in GHC 7.8.) Thanks! /g -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From ekmett at gmail.com Tue Mar 17 05:01:11 2015 From: ekmett at gmail.com (Edward Kmett) Date: Tue, 17 Mar 2015 01:01:11 -0400 Subject: Qualified names in TH? In-Reply-To: References: Message-ID: Using {-# LANGUAGE TemplateHaskell #-} you can use 'foo and ''Foo to get access to the names in scope in the module that is building the splice, rather than worrying about what names are in scope in the module the code gets spliced into. -Edward On Mon, Mar 16, 2015 at 10:54 PM, J. Garrett Morris wrote: > I'm trying to write some Template Haskell code that (among other > things) manipulates IntSets. So, for example, I'd like a splice to > generate a call to Data.IntSet.fromList. However, I'm not sure how > IntSet will be imported in the target module. Is there a way to > resolve the fully qualified name (or similar) to a TH Name, without > having to know how it's imported in the splicing module? (The obvious > approach---mkName "Data.IntSet.fromList"---seems not to work in GHC > 7.8.) > > Thanks! > > /g > > -- > The University of Edinburgh is a charitable body, registered in > Scotland, with registration number SC005336. > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > -------------- next part -------------- An HTML attachment was scrubbed... URL: From jan.stolarek at p.lodz.pl Tue Mar 17 07:12:07 2015 From: jan.stolarek at p.lodz.pl (Jan Stolarek) Date: Tue, 17 Mar 2015 08:12:07 +0100 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: <4FF22F98-5B3F-4A0A-8BEB-1DE1A71BAC51@bak.io> References: <4FF22F98-5B3F-4A0A-8BEB-1DE1A71BAC51@bak.io> Message-ID: <201503170812.07988.jan.stolarek@p.lodz.pl> > 2. On x86_64: > > ghc-cabal: '/app/ghc/lib/ghc-7.10.0.20150316/bin/ghc' exited with an > error: /app/ghc/lib/ghc-7.10.0.20150316/bin/ghc: symbol lookup error: > /app/ghc/lib/ghc-7.10.0.20150316/bin/../rts/libHSrts_thr-ghc7.10.0.2015031 >6.so: undefined symbol: pthread_setname_np Same happens with the released x86_64 binary build on openSUSE 11.4 during "make install" step. $ uname -a Linux xerxes.discovery 2.6.37.6-24-desktop #1 SMP PREEMPT 2012-10-18 22:36:08 +0200 x86_64 x86_64 x86_64 GNU/Linux $ /lib64/libc.so.6 GNU C Library stable release version 2.11.3 (20110203), by Roland McGrath et al. Copyright (C) 2009 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Configured for x86_64-suse-linux. Compiled by GNU CC version 4.5.1 20101208 [gcc-4_5-branch revision 167585]. Compiled on a Linux 2.6.36 system on 2012-07-09. Available extensions: crypt add-on version 2.1 by Michael Glad and others GNU Libidn by Simon Josefsson Native POSIX Threads Library by Ulrich Drepper et al BIND-8.2.3-T5B Janek --- Politechnika ??dzka Lodz University of Technology Tre?? tej wiadomo?ci zawiera informacje przeznaczone tylko dla adresata. Je?eli nie jeste?cie Pa?stwo jej adresatem, b?d? otrzymali?cie j? przez pomy?k? prosimy o powiadomienie o tym nadawcy oraz trwa?e jej usuni?cie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system. From mietek at bak.io Tue Mar 17 08:33:59 2015 From: mietek at bak.io (=?iso-8859-1?Q?Mi=EBtek_Bak?=) Date: Tue, 17 Mar 2015 08:33:59 +0000 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: <87vbi0kp2p.fsf@gmail.com> References: <4FF22F98-5B3F-4A0A-8BEB-1DE1A71BAC51@bak.io> <87vbi0kp2p.fsf@gmail.com> Message-ID: <3D055B5C-0DBF-49D0-B398-21F25E0E627C@bak.io> As I wrote previously ? the bindist name does mention ?deb7?, so perhaps this is all working as intended, and perhaps supporting such ancient distributions is not actually needed. However, the GHC 7.8.4, 7.8.3, and 7.8.2 bindists work fine with glibc 2.11, so this is a regression. -- Mi?tek On 2015-03-17, at 08:25, Herbert Valerio Riedel wrote: > On 2015-03-17 at 03:09:23 +0100, Mi?tek Bak wrote: >> As with 7.10.1-rc2, installation fails on CentOS 6 (i386), Debian 6, and Ubuntu 10.04 LTS, in one of two following ways ? >> >> 1. On i386: >> >> "utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist" copy libraries/ghc-prim dist-install "strip" '' '/app/ghc' '/app/ghc/lib/ghc-7.10.0.20150316' '/app/ghc/share/doc/ghc/html/libraries' 'v p dyn' >> ghc-cabal/dist-install/build/tmp/ghc-cabal: symbol lookup error: libraries/integer-gmp2/dist-install/build/libHSinteger-gmp-1.0.0.0-6zeGtnFHpaVBJ80QaL9uVu-ghc7.10.0.20150316.so: undefined symbol: __gmpn_ior_n > > Well, it shouldn't be very surprising that the deb7 (wheezy) ghc bindist > doesn't work on deb6 (squeeze), as it's been compile-time configured for > the environment provided by deb7 which has newer libraries with more > features/symbols. > > So what's needed here is probably a 2nd linux bindist build on an > ancient enough (i.e. the one with the oldest libraries among > CentOS6/Deb6/Ubuntu10.04) Linux environment. -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4203 bytes Desc: not available URL: From simonpj at microsoft.com Tue Mar 17 08:42:05 2015 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Tue, 17 Mar 2015 08:42:05 +0000 Subject: Qualified names in TH? In-Reply-To: References: Message-ID: <618BE556AADD624C9C918AA5D5911BEF7BF66F98@DB3PRD3001MB020.064d.mgd.msft.net> What Edward says also applies to code quotations. So, for example: module M import IntSet f :: Q Exp -> Q Exp f blah = [| fromList $blah |] module N where import M h x = $(f [| [x,x] |]) The splice expands to (fromList [x,x]), but the fromList guaranteed to be the fromList in scope where f is defined (in M), and NOT whatever other fromList might be in scope at the splice site in N. Moreover, you do not need to import IntSet. I hope that helps. Would someone like to add a section to https://wiki.haskell.org/Template_Haskell, to explain? There are several tutorials there as well. Simon From: Glasgow-haskell-users [mailto:glasgow-haskell-users-bounces at haskell.org] On Behalf Of Edward Kmett Sent: 17 March 2015 05:01 To: J. Garrett Morris Cc: GHC users Subject: Re: Qualified names in TH? Using {-# LANGUAGE TemplateHaskell #-} you can use 'foo and ''Foo to get access to the names in scope in the module that is building the splice, rather than worrying about what names are in scope in the module the code gets spliced into. -Edward On Mon, Mar 16, 2015 at 10:54 PM, J. Garrett Morris > wrote: I'm trying to write some Template Haskell code that (among other things) manipulates IntSets. So, for example, I'd like a splice to generate a call to Data.IntSet.fromList. However, I'm not sure how IntSet will be imported in the target module. Is there a way to resolve the fully qualified name (or similar) to a TH Name, without having to know how it's imported in the splicing module? (The obvious approach---mkName "Data.IntSet.fromList"---seems not to work in GHC 7.8.) Thanks! /g -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users at haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users -------------- next part -------------- An HTML attachment was scrubbed... URL: From bjp at informatik.uni-kiel.de Tue Mar 17 09:23:20 2015 From: bjp at informatik.uni-kiel.de (=?windows-1252?Q?Bj=F6rn_Peem=F6ller?=) Date: Tue, 17 Mar 2015 10:23:20 +0100 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: References: Message-ID: <5507F288.8030806@informatik.uni-kiel.de> Am 16.03.2015 um 21:30 schrieb Austin Seipp: > We are pleased to announce the third release candidate for GHC 7.10.1: > > https://downloads.haskell.org/~ghc/7.10.1-rc3 > https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/ The current version of cabal-install located at Hackage can not be installed for the RC because of the following dependency error: Setup: At least the following dependencies are missing: filepath >=1.0 && <1.4 The problem is that cabal-install require filepath < 1.4, while the RC ships with filepath-1.4. This issue [1] has already been solved in cabal-install, so a new release available at Hackage would be desirable. Regards, Bj?rn [1]: https://github.com/haskell/cabal/issues/2461 From jan.stolarek at p.lodz.pl Tue Mar 17 10:03:24 2015 From: jan.stolarek at p.lodz.pl (Jan Stolarek) Date: Tue, 17 Mar 2015 11:03:24 +0100 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: <5507F288.8030806@informatik.uni-kiel.de> References: <5507F288.8030806@informatik.uni-kiel.de> Message-ID: <201503171103.25116.jan.stolarek@p.lodz.pl> > The current version of cabal-install located at Hackage can not be > installed for the RC because of the following dependency error: > > Setup: At least the following dependencies are missing: > filepath >=1.0 && <1.4 > > The problem is that cabal-install require filepath < 1.4, while the RC > ships with filepath-1.4. This issue [1] has already been solved in > cabal-install, so a new release available at Hackage would be desirable. I've hit the same issue just moments ago. The solution was to install cabal-install from 1.22 branch of Cabal repo: cabal get -s cabal ; cd Cabal ; git checkout 1.22 ; cd cabal-install; ./bootstrap.sh Janek --- Politechnika ????dzka Lodz University of Technology Tre???? tej wiadomo??ci zawiera informacje przeznaczone tylko dla adresata. Je??eli nie jeste??cie Pa??stwo jej adresatem, b??d?? otrzymali??cie j?? przez pomy??k?? prosimy o powiadomienie o tym nadawcy oraz trwa??e jej usuni??cie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system. From ndmitchell at gmail.com Tue Mar 17 12:52:49 2015 From: ndmitchell at gmail.com (Neil Mitchell) Date: Tue, 17 Mar 2015 12:52:49 +0000 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: References: Message-ID: All of the mingw links give me 403 forbidden errors. Do they have permission issues? Thanks, Neil On Mon, Mar 16, 2015 at 8:30 PM, Austin Seipp wrote: > We are pleased to announce the third release candidate for GHC 7.10.1: > > https://downloads.haskell.org/~ghc/7.10.1-rc3 > https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/ > > This includes the source tarball and bindists for Windows and Debian > Linux. FreeBSD, CentOS and Mac OS X binary distributions will follow > soon. These binaries and tarballs have an accompanying > SHA256SUMS file signed by my GPG key id (0x3B58D86F). > > We plan to make the 7.10.1 final release at the end of this week - so > please test as much as possible; bugs are much cheaper if we find them > before the release! > > The list of issues we plan on fixing can always be found in an > up-to-date form here: > https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 > > -- > Regards, > > Austin Seipp, Haskell Consultant > Well-Typed LLP, http://www.well-typed.com/ > _______________________________________________ > ghc-devs mailing list > ghc-devs at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs From austin at well-typed.com Tue Mar 17 13:47:00 2015 From: austin at well-typed.com (Austin Seipp) Date: Tue, 17 Mar 2015 08:47:00 -0500 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: References: Message-ID: Neil, this has been fixed. On Tue, Mar 17, 2015 at 7:52 AM, Neil Mitchell wrote: > All of the mingw links give me 403 forbidden errors. Do they have > permission issues? > > Thanks, Neil > > > On Mon, Mar 16, 2015 at 8:30 PM, Austin Seipp wrote: >> We are pleased to announce the third release candidate for GHC 7.10.1: >> >> https://downloads.haskell.org/~ghc/7.10.1-rc3 >> https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/ >> >> This includes the source tarball and bindists for Windows and Debian >> Linux. FreeBSD, CentOS and Mac OS X binary distributions will follow >> soon. These binaries and tarballs have an accompanying >> SHA256SUMS file signed by my GPG key id (0x3B58D86F). >> >> We plan to make the 7.10.1 final release at the end of this week - so >> please test as much as possible; bugs are much cheaper if we find them >> before the release! >> >> The list of issues we plan on fixing can always be found in an >> up-to-date form here: >> https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 >> >> -- >> Regards, >> >> Austin Seipp, Haskell Consultant >> Well-Typed LLP, http://www.well-typed.com/ >> _______________________________________________ >> ghc-devs mailing list >> ghc-devs at haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ From karel.gardas at centrum.cz Tue Mar 17 13:48:26 2015 From: karel.gardas at centrum.cz (Karel Gardas) Date: Tue, 17 Mar 2015 14:48:26 +0100 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: References: Message-ID: <550830AA.50608@centrum.cz> BTW, *-testsuite tarball contains bits left from the amd64/linux build so gmake test is not working due to missing /lib64/ld-linux* library for ghc-config. Solaris 11 builds are uploading now... Karel On 03/16/15 09:30 PM, Austin Seipp wrote: > We are pleased to announce the third release candidate for GHC 7.10.1: > > https://downloads.haskell.org/~ghc/7.10.1-rc3 > https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/ > > This includes the source tarball and bindists for Windows and Debian > Linux. FreeBSD, CentOS and Mac OS X binary distributions will follow > soon. These binaries and tarballs have an accompanying > SHA256SUMS file signed by my GPG key id (0x3B58D86F). > > We plan to make the 7.10.1 final release at the end of this week - so > please test as much as possible; bugs are much cheaper if we find them > before the release! > > The list of issues we plan on fixing can always be found in an > up-to-date form here: > https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 > From ndmitchell at gmail.com Tue Mar 17 13:58:30 2015 From: ndmitchell at gmail.com (Neil Mitchell) Date: Tue, 17 Mar 2015 13:58:30 +0000 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: References: Message-ID: Confirmed, thanks a lot! On Tue, Mar 17, 2015 at 1:47 PM, Austin Seipp wrote: > Neil, this has been fixed. > > On Tue, Mar 17, 2015 at 7:52 AM, Neil Mitchell wrote: >> All of the mingw links give me 403 forbidden errors. Do they have >> permission issues? >> >> Thanks, Neil >> >> >> On Mon, Mar 16, 2015 at 8:30 PM, Austin Seipp wrote: >>> We are pleased to announce the third release candidate for GHC 7.10.1: >>> >>> https://downloads.haskell.org/~ghc/7.10.1-rc3 >>> https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/ >>> >>> This includes the source tarball and bindists for Windows and Debian >>> Linux. FreeBSD, CentOS and Mac OS X binary distributions will follow >>> soon. These binaries and tarballs have an accompanying >>> SHA256SUMS file signed by my GPG key id (0x3B58D86F). >>> >>> We plan to make the 7.10.1 final release at the end of this week - so >>> please test as much as possible; bugs are much cheaper if we find them >>> before the release! >>> >>> The list of issues we plan on fixing can always be found in an >>> up-to-date form here: >>> https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 >>> >>> -- >>> Regards, >>> >>> Austin Seipp, Haskell Consultant >>> Well-Typed LLP, http://www.well-typed.com/ >>> _______________________________________________ >>> ghc-devs mailing list >>> ghc-devs at haskell.org >>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >> > > > > -- > Regards, > > Austin Seipp, Haskell Consultant > Well-Typed LLP, http://www.well-typed.com/ From austin at well-typed.com Tue Mar 17 14:40:46 2015 From: austin at well-typed.com (Austin Seipp) Date: Tue, 17 Mar 2015 09:40:46 -0500 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: <3D055B5C-0DBF-49D0-B398-21F25E0E627C@bak.io> References: <4FF22F98-5B3F-4A0A-8BEB-1DE1A71BAC51@bak.io> <87vbi0kp2p.fsf@gmail.com> <3D055B5C-0DBF-49D0-B398-21F25E0E627C@bak.io> Message-ID: The only reason they work on glibc 2.11 is, AFAIK, because we built separate CentOS 6.5 binaries for them. :) FWIW, the source should build fine on these platforms, so once we add the bindists for those systems, it should work Out Of The Box. But the Debian 7 bindist isn't going to work on them, that's true. We should probably rename the tarballs however... it's clear "deb7" and "centos65" aren't very enlightening names; something like "-glibc211-gmp4" vs "glibc212-gmp5" would be better, even if slightly longer. On Tue, Mar 17, 2015 at 3:33 AM, Mi?tek Bak wrote: > As I wrote previously ? the bindist name does mention ?deb7?, so perhaps this is all working as intended, and perhaps supporting such ancient distributions is not actually needed. > > However, the GHC 7.8.4, 7.8.3, and 7.8.2 bindists work fine with glibc 2.11, so this is a regression. > > > -- > Mi?tek > > > > > On 2015-03-17, at 08:25, Herbert Valerio Riedel wrote: > >> On 2015-03-17 at 03:09:23 +0100, Mi?tek Bak wrote: >>> As with 7.10.1-rc2, installation fails on CentOS 6 (i386), Debian 6, and Ubuntu 10.04 LTS, in one of two following ways ? >>> >>> 1. On i386: >>> >>> "utils/ghc-cabal/dist-install/build/tmp/ghc-cabal-bindist" copy libraries/ghc-prim dist-install "strip" '' '/app/ghc' '/app/ghc/lib/ghc-7.10.0.20150316' '/app/ghc/share/doc/ghc/html/libraries' 'v p dyn' >>> ghc-cabal/dist-install/build/tmp/ghc-cabal: symbol lookup error: libraries/integer-gmp2/dist-install/build/libHSinteger-gmp-1.0.0.0-6zeGtnFHpaVBJ80QaL9uVu-ghc7.10.0.20150316.so: undefined symbol: __gmpn_ior_n >> >> Well, it shouldn't be very surprising that the deb7 (wheezy) ghc bindist >> doesn't work on deb6 (squeeze), as it's been compile-time configured for >> the environment provided by deb7 which has newer libraries with more >> features/symbols. >> >> So what's needed here is probably a 2nd linux bindist build on an >> ancient enough (i.e. the one with the oldest libraries among >> CentOS6/Deb6/Ubuntu10.04) Linux environment. > > -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ From v.dijk.bas at gmail.com Tue Mar 17 16:25:34 2015 From: v.dijk.bas at gmail.com (Bas van Dijk) Date: Tue, 17 Mar 2015 17:25:34 +0100 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: References: Message-ID: On 16 March 2015 at 21:30, Austin Seipp wrote: > We are pleased to announce the third release candidate for GHC 7.10.1: > > https://downloads.haskell.org/~ghc/7.10.1-rc3 > https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/ I noticed that the Haddock docs return 404s: https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/libraries/Prelude.html From pali.gabor at gmail.com Tue Mar 17 17:46:00 2015 From: pali.gabor at gmail.com (=?UTF-8?B?UMOhbGkgR8OhYm9yIErDoW5vcw==?=) Date: Tue, 17 Mar 2015 18:46:00 +0100 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: References: Message-ID: 2015-03-16 21:30 GMT+01:00 Austin Seipp : > We are pleased to announce the third release candidate for GHC 7.10.1: > [..] FreeBSD [..] binary distributions will follow > soon. There you can find the FreeBSD tarballs and their checksums: http://haskell.inf.elte.hu/ghc/ghc-7.10.0.20150316-i386-portbld-freebsd.tar.bz2 http://haskell.inf.elte.hu/ghc/ghc-7.10.0.20150316-i386-portbld-freebsd.tar.xz http://haskell.inf.elte.hu/ghc/ghc-7.10.0.20150316-x86_64-portbld-freebsd.tar.bz2 http://haskell.inf.elte.hu/ghc/ghc-7.10.0.20150316-x86_64-portbld-freebsd.tar.xz http://haskell.inf.elte.hu/ghc/SHA256SUMS A brief install guide is also available, although it says GHC 7.8.4, it shall work for this version as well: http://haskell.inf.elte.hu/ghc/README.html From voldermort at hotmail.com Wed Mar 18 09:19:30 2015 From: voldermort at hotmail.com (Jeremy) Date: Wed, 18 Mar 2015 02:19:30 -0700 (MST) Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: <201503171103.25116.jan.stolarek@p.lodz.pl> References: <5507F288.8030806@informatik.uni-kiel.de> <201503171103.25116.jan.stolarek@p.lodz.pl> Message-ID: <1426670370261-5767158.post@n5.nabble.com> I haven't been able to test my build scripts with RC2 or RC3 because cabal-install won't install automatically from Hackage. Please release the fixed version. -- View this message in context: http://haskell.1045720.n5.nabble.com/ANNOUNCE-GHC-7-10-1-Release-Candidate-3-tp5767071p5767158.html Sent from the Haskell - Glasgow-haskell-users mailing list archive at Nabble.com. From george.colpitts at gmail.com Thu Mar 19 13:53:58 2015 From: george.colpitts at gmail.com (George Colpitts) Date: Thu, 19 Mar 2015 10:53:58 -0300 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: References: Message-ID: Do we have an ETA for a MacOS binary distribution? Regards George On Mon, Mar 16, 2015 at 5:30 PM, Austin Seipp wrote: > We are pleased to announce the third release candidate for GHC 7.10.1: > > https://downloads.haskell.org/~ghc/7.10.1-rc3 > https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/ > > This includes the source tarball and bindists for Windows and Debian > Linux. FreeBSD, CentOS and Mac OS X binary distributions will follow > soon. These binaries and tarballs have an accompanying > SHA256SUMS file signed by my GPG key id (0x3B58D86F). > > We plan to make the 7.10.1 final release at the end of this week - so > please test as much as possible; bugs are much cheaper if we find them > before the release! > > The list of issues we plan on fixing can always be found in an > up-to-date form here: > https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 > > -- > Regards, > > Austin Seipp, Haskell Consultant > Well-Typed LLP, http://www.well-typed.com/ > _______________________________________________ > ghc-devs mailing list > ghc-devs at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > -------------- next part -------------- An HTML attachment was scrubbed... URL: From hesselink at gmail.com Thu Mar 19 14:41:42 2015 From: hesselink at gmail.com (Erik Hesselink) Date: Thu, 19 Mar 2015 15:41:42 +0100 Subject: ANNOUNCE: GHC 7.10.1 Release Candidate 3 In-Reply-To: References: Message-ID: I made an unofficial OS X build again [0]. I'd be happy to offer my services to make an official build as well if people are interested and know how to get this on the ghc download page. Regards, Erik [0] http://www.reddit.com/r/haskell/comments/2rims6/ghc_7100rc1_build_for_mac_os_x/ On Thu, Mar 19, 2015 at 2:53 PM, George Colpitts wrote: > Do we have an ETA for a MacOS binary distribution? > > Regards > George > > On Mon, Mar 16, 2015 at 5:30 PM, Austin Seipp wrote: >> >> We are pleased to announce the third release candidate for GHC 7.10.1: >> >> https://downloads.haskell.org/~ghc/7.10.1-rc3 >> https://downloads.haskell.org/~ghc/7.10.1-rc3/docs/html/ >> >> This includes the source tarball and bindists for Windows and Debian >> Linux. FreeBSD, CentOS and Mac OS X binary distributions will follow >> soon. These binaries and tarballs have an accompanying >> SHA256SUMS file signed by my GPG key id (0x3B58D86F). >> >> We plan to make the 7.10.1 final release at the end of this week - so >> please test as much as possible; bugs are much cheaper if we find them >> before the release! >> >> The list of issues we plan on fixing can always be found in an >> up-to-date form here: >> https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 >> >> -- >> Regards, >> >> Austin Seipp, Haskell Consultant >> Well-Typed LLP, http://www.well-typed.com/ >> _______________________________________________ >> ghc-devs mailing list >> ghc-devs at haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > > > > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > From Garrett.Morris at ed.ac.uk Mon Mar 23 12:47:15 2015 From: Garrett.Morris at ed.ac.uk (J. Garrett Morris) Date: Mon, 23 Mar 2015 12:47:15 +0000 Subject: Splices returning splices Message-ID: Hello, I'm attempting to write a quasiquoter with relatively full antiquotation support. In doing so, I've arrived at I think an odd problem: the expression grammar in Language.Haskell.TH.Syntax doesn't seem to include splices. This seems to mean that my antiquotations can't themselves include splices, which is quite limiting. Am I misinterpreting? The type system in "Template metaprogramming for Haskell" seems to imply no such restriction on the occurrences of splices. (As an additional complication: what I really need to do is return typed splices; my "quasiquoter" relies on its expected type to determine its behavior. However, this seems like an uninteresting extension of the above problem.) Thanks, /g -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From simonpj at microsoft.com Mon Mar 23 15:43:42 2015 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Mon, 23 Mar 2015 15:43:42 +0000 Subject: Splices returning splices In-Reply-To: References: Message-ID: <499e9311457b470fa9513f0065bf6a5c@DB4PR30MB030.064d.mgd.msft.net> Currently it just isn't supported. Suppose you say f x = [| ....$(g y).... |] ...$(f 3).... Does $(f 3) mean "run (f 3) returning some code with embedded splices, and then run those", or does it mean (as now) "call (f 3), and to do so run (g y) first, to generate some code that is spliced into the code returned by f"? A quasiquoter is really a splice. That is [foo| blah |] is the same as $(foo "blah"). So it might be easier to discuss your question in the context of ordinary splices and quotes. You want foo to return code with a splice, thus: foo input_string = [| ...$(other_fun args).... |] But foo is in the Q monad anyway, so why not just run (other_fun args) right there in the quasiquoter? Or perhaps make a tiny example to show what you mean (but not using quasiquotation). Simon | -----Original Message----- | From: Glasgow-haskell-users [mailto:glasgow-haskell-users- | bounces at haskell.org] On Behalf Of J. Garrett Morris | Sent: 23 March 2015 12:47 | To: GHC users | Subject: Splices returning splices | | Hello, | | I'm attempting to write a quasiquoter with relatively full antiquotation | support. In doing so, I've arrived at I think an odd problem: the | expression grammar in Language.Haskell.TH.Syntax doesn't seem to include | splices. This seems to mean that my antiquotations can't themselves | include splices, which is quite limiting. Am I misinterpreting? The | type system in "Template metaprogramming for Haskell" seems to imply no | such restriction on the occurrences of splices. | | (As an additional complication: what I really need to do is return typed | splices; my "quasiquoter" relies on its expected type to determine its | behavior. However, this seems like an uninteresting extension of the | above problem.) | | Thanks, | | /g | | -- | The University of Edinburgh is a charitable body, registered in Scotland, | with registration number SC005336. | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users at haskell.org | http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users From Garrett.Morris at ed.ac.uk Mon Mar 23 16:10:36 2015 From: Garrett.Morris at ed.ac.uk (J. Garrett Morris) Date: Mon, 23 Mar 2015 16:10:36 +0000 Subject: Splices returning splices In-Reply-To: <499e9311457b470fa9513f0065bf6a5c@DB4PR30MB030.064d.mgd.msft.net> References: <499e9311457b470fa9513f0065bf6a5c@DB4PR30MB030.064d.mgd.msft.net> Message-ID: On Mon, Mar 23, 2015 at 3:43 PM, Simon Peyton Jones wrote: > A quasiquoter is really a splice. That is [foo| blah |] is the same as > $(foo "blah"). So it might be easier to discuss your question in the > context of ordinary splices and quotes. You want foo to return code > with a splice, thus: > > foo input_string = [| ...$(other_fun args).... |] > > But foo is in the Q monad anyway, so why not just run (other_fun args) > right there in the quasiquoter? > > Or perhaps make a tiny example to show what you mean (but not using > quasiquotation). This may not make any sense, but consider something like this: $$(p "a: 1, b: $$(p \"x: 2, y: 3\"), c: 3") Now, my understanding is that 'p' has a type like 'String -> Q (TExp a)', where 'a' is instantiated with the expected type of the resulting expression. But I don't see how to synthesize the expected type for the nested (antiquoted) call to 'p' without implementing my own version of Haskell type inference. I'd like to be able to return a term that includes the antiquoted expression, and then rely on the type checker to properly make the second call to 'p'. /g -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From austin at well-typed.com Fri Mar 27 07:43:48 2015 From: austin at well-typed.com (Austin Seipp) Date: Fri, 27 Mar 2015 02:43:48 -0500 Subject: ANNOUNCE: GHC version 7.10.1 Message-ID: ============================================================== The (Interactive) Glasgow Haskell Compiler -- version 7.10.1 ============================================================== The GHC Team is pleased to announce a new major release of GHC. There have been a number of significant changes since the last major release, including: * Several new language features and changes have been implemented: - Applicative is now a superclass of Monad and in the Prelude. - Many prelude combinators have been generalized - Static pointers * GHC now has preliminary and experimental support for DWARF based debugging. * `integer-gmp` has been completely rewritten. * Type-checking plugins can now extend the type checker. * Support for partial type signatures * Many bugfixes and other performance improvements. * Preliminary support for 'backpack' features like signatures. * Typeable is now generated by default for all data types automatically. We've also fixed a handful of issues reported since RC3: - A bug in the call arity analysis that would result in invalid core was fixed (#10176) - A bug in the Win32 package causing it to fail to load was fixed (#10165) - ghc-prim has (correctly) been bumped to version 0.4.0.0, to comply with the PVP. - Several libraries have been bumped to their latest available versions after coordination. The full release notes are here: https://downloads.haskell.org/~ghc/7.10.1/docs/html/users_guide/release-7-10-1.html How to get it ~~~~~~~~~~~~~ The easy way is to go to the web page, which should be self-explanatory: https://www.haskell.org/ghc/ We supply binary builds in the native package format for many platforms, and the source distribution is available from the same place. Packages will appear as they are built - if the package for your system isn't available yet, please try again later. Background ~~~~~~~~~~ Haskell is a standard lazy functional programming language. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, whatever). GHC is distributed under a BSD-style open source license. A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page (see below). On-line GHC-related resources ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ GHC developers' home page http://ghc.haskell.org/trac/ghc/ Haskell home page http://www.haskell.org/ Supported Platforms ~~~~~~~~~~~~~~~~~~~ The list of platforms we support, and the people responsible for them, is here: https://ghc.haskell.org/trac/ghc/wiki/Platforms https://ghc.haskell.org/trac/ghc/wiki/CodeOwners Ports to other platforms are possible with varying degrees of difficulty. The Building Guide describes how to go about porting to a new platform: https://ghc.haskell.org/trac/ghc/wiki/Building Developers ~~~~~~~~~~ We welcome new contributors. Instructions on accessing our source code repository, and getting started with hacking on GHC, are available from the GHC's developer's site run by Trac: https://ghc.haskell.org/trac/ghc/ Mailing lists ~~~~~~~~~~~~~ We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at https://www.haskell.org/mailman/listinfo/glasgow-haskell-users https://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see https://www.haskell.org/mailman/listinfo/ Some GHC developers hang out on #haskell on IRC, too: https://www.haskell.org/haskellwiki/IRC_channel Please report bugs using our bug tracking system. Instructions on reporting bugs can be found here: https://www.haskell.org/ghc/reportabug Hashes & Signatures ~~~~~~~~~~~~~~~~~ On https://downloads.haskell.org/~ghc/7.10.1/ you will find a signed copy of the SHA256 hashes for the tarballs, using my GPG key (0F8F 3AA9 9235 C704 ADA0 B419 B942 AEE5 3B58 D86F). -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ From jan.stolarek at p.lodz.pl Fri Mar 27 08:21:09 2015 From: jan.stolarek at p.lodz.pl (Jan Stolarek) Date: Fri, 27 Mar 2015 09:21:09 +0100 Subject: ANNOUNCE: GHC version 7.10.1 In-Reply-To: References: Message-ID: <201503270921.10136.jan.stolarek@p.lodz.pl> Austin, links to x86_64 linux versions for CentOS don't work. Janek Dnia pi?tek, 27 marca 2015, Austin Seipp napisa?: > ============================================================== > The (Interactive) Glasgow Haskell Compiler -- version 7.10.1 > ============================================================== > > The GHC Team is pleased to announce a new major release of GHC. There > have been a number of significant changes since the last major > release, including: > > * Several new language features and changes have been implemented: > - Applicative is now a superclass of Monad and in the Prelude. > > - Many prelude combinators have been generalized > > - Static pointers > > * GHC now has preliminary and experimental support for DWARF based > debugging. > > * `integer-gmp` has been completely rewritten. > > * Type-checking plugins can now extend the type checker. > > * Support for partial type signatures > > * Many bugfixes and other performance improvements. > > * Preliminary support for 'backpack' features like signatures. > > * Typeable is now generated by default for all data types automatically. > > We've also fixed a handful of issues reported since RC3: > > - A bug in the call arity analysis that would result in invalid core > was fixed (#10176) > - A bug in the Win32 package causing it to fail to load was fixed > (#10165) - ghc-prim has (correctly) been bumped to version 0.4.0.0, to > comply with the PVP. > - Several libraries have been bumped to their latest available > versions after coordination. > > The full release notes are here: > > https://downloads.haskell.org/~ghc/7.10.1/docs/html/users_guide/release-7-1 >0-1.html > > > How to get it > ~~~~~~~~~~~~~ > > The easy way is to go to the web page, which should be self-explanatory: > > https://www.haskell.org/ghc/ > > We supply binary builds in the native package format for many > platforms, and the source distribution is available from the same > place. > > Packages will appear as they are built - if the package for your > system isn't available yet, please try again later. > > > Background > ~~~~~~~~~~ > > Haskell is a standard lazy functional programming language. > > GHC is a state-of-the-art programming suite for Haskell. Included is > an optimising compiler generating good code for a variety of > platforms, together with an interactive system for convenient, quick > development. The distribution includes space and time profiling > facilities, a large collection of libraries, and support for various > language extensions, including concurrency, exceptions, and foreign > language interfaces (C, whatever). GHC is distributed under a > BSD-style open source license. > > A wide variety of Haskell related resources (tutorials, libraries, > specifications, documentation, compilers, interpreters, references, > contact information, links to research groups) are available from the > Haskell home page (see below). > > > On-line GHC-related resources > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > Relevant URLs on the World-Wide Web: > > GHC home page http://www.haskell.org/ghc/ > GHC developers' home page http://ghc.haskell.org/trac/ghc/ > Haskell home page http://www.haskell.org/ > > > Supported Platforms > ~~~~~~~~~~~~~~~~~~~ > > The list of platforms we support, and the people responsible for them, > is here: > > https://ghc.haskell.org/trac/ghc/wiki/Platforms > https://ghc.haskell.org/trac/ghc/wiki/CodeOwners > > Ports to other platforms are possible with varying degrees of > difficulty. The Building Guide describes how to go about porting to a > new platform: > > https://ghc.haskell.org/trac/ghc/wiki/Building > > > Developers > ~~~~~~~~~~ > > We welcome new contributors. Instructions on accessing our source > code repository, and getting started with hacking on GHC, are > available from the GHC's developer's site run by Trac: > > https://ghc.haskell.org/trac/ghc/ > > > Mailing lists > ~~~~~~~~~~~~~ > > We run mailing lists for GHC users and bug reports; to subscribe, use > the web interfaces at > > https://www.haskell.org/mailman/listinfo/glasgow-haskell-users > https://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs > > There are several other haskell and ghc-related mailing lists on > www.haskell.org; for the full list, see > > https://www.haskell.org/mailman/listinfo/ > > Some GHC developers hang out on #haskell on IRC, too: > > https://www.haskell.org/haskellwiki/IRC_channel > > Please report bugs using our bug tracking system. Instructions on > reporting bugs can be found here: > > https://www.haskell.org/ghc/reportabug > > > Hashes & Signatures > ~~~~~~~~~~~~~~~~~ > > On https://downloads.haskell.org/~ghc/7.10.1/ you will find a signed > copy of the SHA256 hashes for the tarballs, using my GPG key (0F8F > 3AA9 9235 C704 ADA0 B419 B942 AEE5 3B58 D86F). --- Politechnika ??dzka Lodz University of Technology Tre?? tej wiadomo?ci zawiera informacje przeznaczone tylko dla adresata. Je?eli nie jeste?cie Pa?stwo jej adresatem, b?d? otrzymali?cie j? przez pomy?k? prosimy o powiadomienie o tym nadawcy oraz trwa?e jej usuni?cie. This email contains information intended solely for the use of the individual to whom it is addressed. If you are not the intended recipient or if you have received this message in error, please notify the sender and delete it from your system. From Garrett.Morris at ed.ac.uk Fri Mar 27 14:30:10 2015 From: Garrett.Morris at ed.ac.uk (J. Garrett Morris) Date: Fri, 27 Mar 2015 14:30:10 +0000 Subject: Typed splices and type checking Message-ID: Hello, I've run into another misunderstanding with Template Haskell and typed splices. For example, I was hoping to use typed splices to generate earlier errors from Printf. Here's the world's least handy printf: > class Printf t > where printf :: String -> Q (TExp String) -> Q (TExp t) > > instance Printf String > where printf s t | '%' `notElem` s = [|| $$t ++ s ||] > | otherwise = fail ("Unexpected format %" > ++ [c]) > where (_, _:c:_) = break ('%' ==) s > > instance Printf t => Printf (Char -> t) > where printf s t > | c /= 'c' = fail ("Unexpected format %" ++ [c] ++ > " for character") > | otherwise = [|| \c -> $$(printf s'' > [|| $$t ++ s' ++ [c] ||]) > ||] > where (s', '%':c:s'') = break ('%' ==) s Now, consider these two definitions: > f :: Char -> String > f = $$(printf "foo %c" [||""||]) > h :: Char -> String > h y = $$(printf "foo %c" [||""||]) y I would have expected these to be equivalent, from a type checking perspective. However, while the first types fine, the second generates the error message: > Printing.hs:14:12: > No instance for (Printf t0) arising from a use of `printf' > The type variable `t0' is ambiguous > Note: there are several potential instances: > instance Printf t => Printf (Char -> t) > -- Defined at Printf.hs:20:10 > instance Printf String -- Defined at Printf.hs:9:10 > In the expression: printf "foo %c" [|| "" ||] > In the Template Haskell splice > $$(printf "foo %c" [|| "" ||]) > In the expression: $$(printf "foo %c" [|| "" ||]) Should I have anticipated this? Ought the interaction of typed splices and eta-expansion be problematic? /g -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. From allbery.b at gmail.com Fri Mar 27 15:11:01 2015 From: allbery.b at gmail.com (Brandon Allbery) Date: Fri, 27 Mar 2015 11:11:01 -0400 Subject: Typed splices and type checking In-Reply-To: References: Message-ID: On Fri, Mar 27, 2015 at 10:30 AM, J. Garrett Morris wrote: > Should I have anticipated this? Ought the interaction of typed splices > and eta-expansion be problematic? > In the specific case of printf, which uses typeclasses to play dirty tricks that interact "interestingly" with eta expansion, it's not particularly surprising. I would suggest using wrappers if possible. -- brandon s allbery kf8nh sine nomine associates allbery.b at gmail.com ballbery at sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net -------------- next part -------------- An HTML attachment was scrubbed... URL: From dominic at steinitz.org Mon Mar 30 17:37:45 2015 From: dominic at steinitz.org (Dominic Steinitz) Date: Mon, 30 Mar 2015 18:37:45 +0100 Subject: Parallel Profiling Message-ID: <0CD0B231-DF22-4D83-8334-E44540D1993E@steinitz.org> Does anyone know of any tools for analysing parallel program performance? I am trying to use threadscope but it keeps crashing with my 100M log file and ghc-events-analyze is not going to help as I have many hundreds of threads all carrying out the same computation. I think I?d like a library that would allow me to construct my own analyses rather than display them via GTK. There is ghc-events but that seems to be just for parsing the logs and I couldn?t find anything that used it in the way I would like to (apart from threadscope and ghc-events-analyze of course). Thanks Dominic Steinitz dominic at steinitz.org http://idontgetoutmuch.wordpress.com From asr at eafit.edu.co Tue Mar 31 12:02:15 2015 From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=) Date: Tue, 31 Mar 2015 07:02:15 -0500 Subject: SHA256SUMS file for GHC 7.4.2 Message-ID: Hi, For GHC 7.10.1 or GHC 7.8.4 I could find the SHA256SUMS files in http://downloads.haskell.org/~ghc/7.10.1/ and http://downloads.haskell.org/~ghc/7.8.4/, respectively. The SHA256SUMS file for GHC 7.4.2 isn't in http://downloads.haskell.org/~ghc/7.4.2/. Where can I find this file? Thanks, -- Andr?s From johnw at newartisans.com Tue Mar 31 13:21:31 2015 From: johnw at newartisans.com (John Wiegley) Date: Tue, 31 Mar 2015 08:21:31 -0500 Subject: Welcome, and getting started In-Reply-To: (Neil Mitchell's message of "Tue, 31 Mar 2015 09:32:04 +0100") References: <1427774311.417813.247365205.2E3A4A9D@webmail.messagingengine.com> Message-ID: >>>>> Neil Mitchell writes: > Is the ability to generate dlls with both shared and non-shared RTS's a > feature of dynamic linking? At Standard Chartered we build non-shared > (static) dlls on Windows 32bit and shared-RTS dlls/sos on Linux 64bit. Both > are essential to us. I believe for your scenario you would use: Windows: -shared Linux: -dynamic -shared This is from http://www.vex.net/~trebla/haskell/so.xhtml. John From johnw at newartisans.com Tue Mar 31 13:18:21 2015 From: johnw at newartisans.com (John Wiegley) Date: Tue, 31 Mar 2015 08:18:21 -0500 Subject: Welcome, and getting started In-Reply-To: <551A9D2C.3040202@gmail.com> (Simon Marlow's message of "Tue, 31 Mar 2015 14:12:12 +0100") References: <551A9D2C.3040202@gmail.com> Message-ID: >>>>> Simon Marlow writes: > Perhaps some of this would be solved by switching to -dynamic by default for > everything, but there are performance issues with that. Some of these performance issues are documented at: https://ghc.haskell.org/trac/ghc/wiki/DynamicByDefault John From austin at well-typed.com Tue Mar 31 16:02:22 2015 From: austin at well-typed.com (Austin Seipp) Date: Tue, 31 Mar 2015 11:02:22 -0500 Subject: SHA256SUMS file for GHC 7.4.2 In-Reply-To: References: Message-ID: Hi Andres, The SHA256SUMS file and signature are part of my modus operandi. :) I began doing the release management work for GHC during the GHC 7.8 release cycle, and since then I've shipped every release with said file, and a detached GPG signature. Ian, my predecessor, didn't previously sign releases in this manner. As a result, you'll only find SHA256SUMS officially available for 7.8.1 and beyond. On Tue, Mar 31, 2015 at 7:02 AM, Andr?s Sicard-Ram?rez wrote: > Hi, > > For GHC 7.10.1 or GHC 7.8.4 I could find the SHA256SUMS files in > http://downloads.haskell.org/~ghc/7.10.1/ and > http://downloads.haskell.org/~ghc/7.8.4/, respectively. > > The SHA256SUMS file for GHC 7.4.2 isn't in > http://downloads.haskell.org/~ghc/7.4.2/. Where can I find this file? > > Thanks, > > -- > Andr?s > _______________________________________________ > Glasgow-haskell-users mailing list > Glasgow-haskell-users at haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users -- Regards, Austin Seipp, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ From asr at eafit.edu.co Tue Mar 31 16:17:40 2015 From: asr at eafit.edu.co (=?UTF-8?B?QW5kcsOpcyBTaWNhcmQtUmFtw61yZXo=?=) Date: Tue, 31 Mar 2015 11:17:40 -0500 Subject: SHA256SUMS file for GHC 7.4.2 In-Reply-To: References: Message-ID: On 31 March 2015 at 11:02, Austin Seipp wrote: > Ian, my predecessor, didn't previously sign releases in this manner. > As a result, you'll only find SHA256SUMS officially available for > 7.8.1 and beyond. Austin, thanks for the information. -- Andr?s