Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

2011-12-30 Thread Joachim Breitner
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

2011-12-30 Thread Serge D. Mechveliani
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

2011-12-30 Thread Matthew Farkas-Dyck
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

2011-12-30 Thread Thorkil Naur
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

2011-12-30 Thread Matthew Farkas-Dyck
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

2011-12-30 Thread Andriy Polischuk
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

2011-12-30 Thread Matthew Farkas-Dyck
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

2011-12-30 Thread Brent Yorgey
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