Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1
Dear GHC team, for your convenience, I have filed individual bugs about the build errors: Am Freitag, den 23.12.2011, 14:54 +0100 schrieb Joachim Breitner: the build system seems to be quite confused on arch/os-combinations besides {i386,amd64}/linux. All these worked fine with 7.2.2: https://buildd.debian.org/status/package.php?p=ghcsuite=experimental ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.4.0.20111219 for x86_64-unknown-kfreebsdgnu): Don't know if OSUnknown is elf ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.4.0.20111219 for i386-unknown-kfreebsdgnu): Don't know if OSUnknown is elf http://hackage.haskell.org/trac/ghc/ticket/5733 ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.4.0.20111219 for powerpc-unknown-linux): Cant do annotations without GHCi {libraries/vector/Data/Vector/Fusion/Stream/Monadic.hs:104:19-33} base:GHC.Exts.ForceSpecConstr{d rbL} Should disappear when vector is not shipped with GHC, but a fix to http://hackage.haskell.org/trac/ghc/ticket/4268 (ignore Annotations on architectures without GHCi support) would be appreciated. ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.4.0.20111219 for s390-ibm-linux): Don't know if ArchUnknown is 32bit ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.4.0.20111219 for s390x-ibm-linux): Don't know if ArchUnknown is 32bit http://hackage.haskell.org/trac/ghc/ticket/5735 ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.4.0.20111219 for sparc-unknown-linux): pprGlobalReg: Unsupported register: CCCS http://hackage.haskell.org/trac/ghc/ticket/5732 And another failure has manifested itself on mips/mipsell: http://hackage.haskell.org/trac/ghc/ticket/5734 Thanks, Joachim -- Joachim nomeata Breitner Debian Developer nome...@debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C JID: nome...@joachim-breitner.de | http://people.debian.org/~nomeata signature.asc Description: This is a digitally signed message part ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
7.4.1-cand for docon
Dear GHC team, The archive http://botik.ru/pub/local/Mechveliani/ghcBugs/ghc741candQuest.zip contains the source of the docon-2.12 application. ghc-7.0.1 compiles it and runs the test successfully. ghc-7.4.0.20111219 cannot compile it. 1. It requires to add Show a to Integral a in a certain place. It occurs that this requirement breaks the standard (?). But all right, so far, add Show a there and see what happens further. 2. It reports that certain two packages overlap at some module. This is a matter of the `build-depends' field in docon.cabal and of the import declarations. I tried to correct the build-depends list. But each time the compiler reports that a) some packages overlapor b) build-depends has a wrong line or c) it cannot find some module (for example, Random). Can you please, look into ghc741candQuest.zip and set there an appropriate build-depends ? (so thatmake configure make build make install finish correctly). How does the user guess of this list, what is the method? This also touches the question of the module Random - Thorkil Naur n...@post11.tele.dk wrote System.Random can be found in http://hackage.haskell.org/package/random. I do not find the Random class in Haskell-2010. Probably, DoCon imports Random from the GHC (non-standard) library. When installing ghc-7.01, I just download the source distribution, `make' it, and it installs automatically together with the module Random. Has the status of the module Random changed in ghc-7.4.1 ? What is a regular way to install ghc-7.4.1 together with the module Random ? 3. After the point (2) is fixed, there may appear some more of them ... Thank you in advance for your explanation, -- Sergei mech...@botik.ru ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Records in Haskell
On 30/12/2011, Andriy Polischuk quux...@gmail.com wrote: Yet another idea: Consider using '\' as record access operator. No conflicts with anything at all, and, moreover, it really looks like hierarchical access. Reminds of filesystems though. I hope this is a joke. Matthew Farkas-Dyck wrote Another thought: Perhaps bang as record selection operator. It would avoid further corner cases of dot, and it's not unprecedented in Haskell (e.g. Data.Map.!). -- View this message in context: http://haskell.1045720.n5.nabble.com/Records-in-Haskell-tp4806095p5109437.html Sent from the Haskell - Glasgow-haskell-users mailing list archive at Nabble.com. ___ 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: 7.4.1-cand for docon
Hello Serge, On Fri, Dec 30, 2011 at 07:55:05PM +0400, Serge D. Mechveliani wrote: ... Has the status of the module Random changed in ghc-7.4.1 ? Between ghc-7.0.4 and ghc-7.4.1, we find http://www.haskell.org/ghc/docs/7.2.1/html/users_guide/release-7-2-1.html that says: 1.5.12.22. random * GHC no longer includes the random library ... This seems to answer at least one of your questions. Best regards Thorkil ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Records in Haskell
Certainly not no conflicts: lambda expressions. On 30/12/2011, Colin Adams colinpaulad...@gmail.com wrote: On 30 December 2011 15:55, Matthew Farkas-Dyck strake...@gmail.com wrote: On 30/12/2011, Andriy Polischuk quux...@gmail.com wrote: Yet another idea: Consider using '\' as record access operator. No conflicts with anything at all, and, moreover, it really looks like hierarchical access. Reminds of filesystems though. I hope this is a joke. Why? ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Records in Haskell
You're right, i should have written ambiguities instead. That was not joke, just i somehow didn't notice Chris Smith answer. However, I think, there are some drawbacks in using dot for that in comparison with qualified imports access. The latter is easier to distinguish from composition by eye, because module-identifier is always one word, starting from uppercase letter (which, moreover, in many editors is highlighted differently). But in field access left operand is not always atomic - it can be expression. Consider this example: quux (y . (foo . bar).baz (f . g)) moo It's not that easy to distinguish from quux (y . (foo . bar) . baz (f . g)) moo Matthew Farkas-Dyck wrote Certainly not no conflicts: lambda expressions. -- View this message in context: http://haskell.1045720.n5.nabble.com/Records-in-Haskell-tp4806095p5111428.html Sent from the Haskell - Glasgow-haskell-users mailing list archive at Nabble.com. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Records in Haskell
On 30/12/2011, Andriy Polischuk quux...@gmail.com wrote: You're right, i should have written ambiguities instead. That was not joke, just i somehow didn't notice Chris Smith answer. Hm. I though at first that if backslash were the selection operator, then there must be programs of unclear semantics, but actually I can't find any. I'm sorry if my earlier message seemed unkind, by the way; it wasn't meant to be. However, I think, there are some drawbacks in using dot for that in comparison with qualified imports access. The latter is easier to distinguish from composition by eye, because module-identifier is always one word, starting from uppercase letter (which, moreover, in many editors is highlighted differently). But in field access left operand is not always atomic - it can be expression. Consider this example: quux (y . (foo . bar).baz (f . g)) moo It's not that easy to distinguish from quux (y . (foo . bar) . baz (f . g)) moo Yeah, that's why I dislike dot as compose operator (^_~) Matthew Farkas-Dyck wrote Certainly not no conflicts: lambda expressions. -- View this message in context: http://haskell.1045720.n5.nabble.com/Records-in-Haskell-tp4806095p5111428.html Sent from the Haskell - Glasgow-haskell-users mailing list archive at Nabble.com. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users Backslash is a possibility then, it seems, but in my opinion breaks the principle of least surprise, i.e. I can't believe it's not lambda! Cheers, Matthew Farkas-Dyck ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: 7.4.1-cand for docon
On Fri, Dec 30, 2011 at 07:55:05PM +0400, Serge D. Mechveliani wrote: Dear GHC team, The archive http://botik.ru/pub/local/Mechveliani/ghcBugs/ghc741candQuest.zip contains the source of the docon-2.12 application. ghc-7.0.1 compiles it and runs the test successfully. ghc-7.4.0.20111219 cannot compile it. 1. It requires to add Show a to Integral a in a certain place. It occurs that this requirement breaks the standard (?). But all right, so far, add Show a there and see what happens further. 2. It reports that certain two packages overlap at some module. This is a matter of the `build-depends' field in docon.cabal and of the import declarations. I tried to correct the build-depends list. But each time the compiler reports that a) some packages overlapor b) build-depends has a wrong line or c) it cannot find some module (for example, Random). Can you please, look into ghc741candQuest.zip and set there an appropriate build-depends ? (so thatmake configure make build make install finish correctly). How does the user guess of this list, what is the method? The attached patch fixes docon so that it compiles under ghc-7.4.0.20111219. Here is an explanation of the necessary changes: * The haskell98 and base packages are no longer compatible, you must choose one or the other. Choose 'haskell98' if you are coding to the Haskell 98 standard, and base if you are coding to Haskell 2010. I deleted the haskell98 package from the build-depends. * Module names like 'List', 'Maybe', 'Random' do not conform to the Haskell 2010 standard; they must be replaced with Data.List, Data.Maybe, and System.Random respectively. * Also, base no longer includes System.Random, so the 'random' package must be added to the build-depends field. -Brent diff -Naur docon/source/AlgSymmF.hs docon-fixed/source/AlgSymmF.hs --- docon/source/AlgSymmF.hs 2011-02-26 12:48:32.0 -0500 +++ docon-fixed/source/AlgSymmF.hs 2011-12-31 00:28:17.206999683 -0500 @@ -179,7 +179,7 @@ where import qualified Data.Map as Map (empty) -import List (partition, genericLength, genericTake, genericDrop, +import Data.List (partition, genericLength, genericTake, genericDrop, genericReplicate) import DPrelude (ct, ctr, factorial, sum1, product1, showsWithDom, diff -Naur docon/source/Common_.hs docon-fixed/source/Common_.hs --- docon/source/Common_.hs 2011-03-03 15:40:42.0 -0500 +++ docon-fixed/source/Common_.hs 2011-12-31 00:28:17.206999683 -0500 @@ -19,7 +19,7 @@ maxPartial, lexListComp ) where -import List (partition) +import Data.List (partition) import Prelude_ (Natural, Comparison, CompValue) diff -Naur docon/source/Det_.hs docon-fixed/source/Det_.hs --- docon/source/Det_.hs 2011-03-20 05:46:53.0 -0400 +++ docon-fixed/source/Det_.hs 2011-12-31 00:28:17.210332976 -0500 @@ -14,7 +14,7 @@ -- LinAlg reexports all needed from here. (det, det_euc, maxMinor, delColumn, adjointMt) where -import List (genericLength, transpose) +import Data.List (genericLength, transpose) import DPrelude (Natural, sortE, product1, del_n_th, invSign, compBy, showsn, showsWithDom) diff -Naur docon/source/DExport.hs docon-fixed/source/DExport.hs --- docon/source/DExport.hs 2005-06-20 08:36:51.0 -0400 +++ docon-fixed/source/DExport.hs 2011-12-31 00:28:17.210332976 -0500 @@ -14,18 +14,18 @@ module Pol, module Residue,module LinAlg, module GBasis, module Partition, module AlgSymmF, - module Complex, + module Data.Complex, - module Prelude, module List, module Ratio, module Random + module Prelude, module Data.List, module Data.Ratio, module System.Random ) where -import Complex +import Data.Complex -import Listhiding (minimum, maximum, sort, sortBy) +import Data.Listhiding (minimum, maximum, sort, sortBy) import Prelude hiding (minimum, maximum, ) -import Ratio -import Random +import Data.Ratio +import System.Random import DPrelude import Categs diff -Naur docon/source/docon.cabal docon-fixed/source/docon.cabal --- docon/source/docon.cabal 2011-03-02 02:39:04.0 -0500 +++ docon-fixed/source/docon.cabal 2011-12-31 00:14:53.056882730 -0500 @@ -12,7 +12,7 @@ -- should be like ghc-6.12.3 Hugs-5.5 ... . build-type: Simple -build-depends: base, haskell98, containers +build-depends: base, random, containers -- -- hs-source-dirs: . parse auxil lin residue pol pol/factor -- pol/symmfunc diff -Naur docon/source/DPair_.hs docon-fixed/source/DPair_.hs --- docon/source/DPair_.hs 2011-02-28 03:58:15.0 -0500 +++ docon-fixed/source/DPair_.hs 2011-12-31 00:28:17.210332976