Re: small errors in ghc 6.6

2006-09-20 Thread Einar Karttunen
On 19.09 21:28, Tomasz Zielonka wrote:
 On Tue, Sep 19, 2006 at 09:13:56PM +0200, Rene de Visser wrote:
  I would suggest -fforce-recomp for force recompilation.
 

-frecompile-all

- Einar Karttunen
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


one more typo

2006-09-20 Thread Bulat Ziganshin
Hello glasgow-haskell-users,

7.4.10 of user guide say:

  -- f and g assume that 'a' is already in scope
  f = \(x::Int, y) - x
  g (x::a) = x

seems that f definition should contain 'a'
   

-- 
Best regards,
 Bulat  mailto:[EMAIL PROTECTED]

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


TArray

2006-09-20 Thread Bulat Ziganshin
Hello glasgow-haskell-users,

can someone try to compile this one-line module:

import Control.Concurrent.STM.TArray

with a recent 6.5 builds, preferably mingw32 ones?

it doesn't work for me, although TVar and other modules import
without any problems; and i see TArray.hi module along with TVar.hi
and so on. the message is:

Failed to load interface for `Control.Concurrent.STM.TArray':
  locations searched:
Control/Concurrent/STM/TArray.hi
Control/Concurrent/STM/TArray.hi-boot

compiler is, again,
http://www.haskell.org/ghc/dist/current/dist/ghc-6.5.20060901-i386-unknown-mingw32.tar.gz


-- 
Best regards,
 Bulat  mailto:[EMAIL PROTECTED]

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: TArray

2006-09-20 Thread Josef Svenningsson

Hi,

I get the exact same thing with ghc-6.5.20060914.

Weird.

Josef

On 9/20/06, Bulat Ziganshin [EMAIL PROTECTED] wrote:

Hello glasgow-haskell-users,

can someone try to compile this one-line module:

import Control.Concurrent.STM.TArray

with a recent 6.5 builds, preferably mingw32 ones?

it doesn't work for me, although TVar and other modules import
without any problems; and i see TArray.hi module along with TVar.hi
and so on. the message is:

Failed to load interface for `Control.Concurrent.STM.TArray':
  locations searched:
Control/Concurrent/STM/TArray.hi
Control/Concurrent/STM/TArray.hi-boot

compiler is, again,
http://www.haskell.org/ghc/dist/current/dist/ghc-6.5.20060901-i386-unknown-mingw32.tar.gz


--
Best regards,
 Bulat  mailto:[EMAIL PROTECTED]

___
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: Data.FiniteMap

2006-09-20 Thread Christian Maeder
Malcolm Wallace schrieb:
 I think there is a wrapper somewhere that provides the old
 Data.FiniteMap in terms of the Data.Map implementation.
 
 Darcs patch attached, if it is of interest.

This patch does not have the functions:
   foldFM_GE, fmToList_GE, keysFM_GE, eltsFM_GE,
   foldFM_LE, fmToList_LE, keysFM_LE, eltsFM_LE,

Currently I need to replace fmToList_LE and keysFM_LE. Does someone have
 code for these (in terms of Data.Map)?

Christian
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


6.6 strikes me again :)

2006-09-20 Thread Bulat Ziganshin
Hello glasgow-haskell-users,

attached module compiles fine with ghc 6.4.2, hugs 2003+, but not with
my ghc 6.5 snapshot. it says:

66.hs:9:0:
Illegal instance declaration for `Stream m (StringReader r)'
(the Coverage Condition fails for one of the functional dependencies)
In the instance declaration for `Stream m (StringReader r)'

-- 
Best regards,
 Bulat  mailto:[EMAIL PROTECTED]

66.hs
Description: Binary data
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: Data.FiniteMap

2006-09-20 Thread Christian Maeder
I've copied the old code from Data.FiniteMap and only implemented:

foldFM_LE f v k =
 Map.foldWithKey (\ i w c - if i  k then c else f i w c) v

Christian Maeder schrieb:
 Malcolm Wallace schrieb:
 I think there is a wrapper somewhere that provides the old
 Data.FiniteMap in terms of the Data.Map implementation.
 Darcs patch attached, if it is of interest.
 
 This patch does not have the functions:
foldFM_GE, fmToList_GE, keysFM_GE, eltsFM_GE,
foldFM_LE, fmToList_LE, keysFM_LE, eltsFM_LE,
 
 Currently I need to replace fmToList_LE and keysFM_LE. Does someone have
  code for these (in terms of Data.Map)?
 
 Christian


___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


RE: 6.6 strikes me again :)

2006-09-20 Thread Simon Peyton-Jones
Quite right; that's just as specified.  The coverage condition is
documented in the manual.  (GHC 6.4 and Hugs are too liberal, and
thereby risk divergence during type checking.)   If you want this
program to work, use -fallow-undecidable-instances

Simon

| -Original Message-
| From: [EMAIL PROTECTED]
[mailto:glasgow-haskell-users-
| [EMAIL PROTECTED] On Behalf Of Bulat Ziganshin
| Sent: 20 September 2006 14:14
| To: glasgow-haskell-users@haskell.org
| Subject: 6.6 strikes me again :)
| 
| Hello glasgow-haskell-users,
| 
| attached module compiles fine with ghc 6.4.2, hugs 2003+, but not with
| my ghc 6.5 snapshot. it says:
| 
| 66.hs:9:0:
| Illegal instance declaration for `Stream m (StringReader r)'
| (the Coverage Condition fails for one of the functional
dependencies)
| In the instance declaration for `Stream m (StringReader r)'
| 
| --
| Best regards,
|  Bulat  mailto:[EMAIL PROTECTED]
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


UTF-8 decoding error

2006-09-20 Thread Christian Maeder
How can I convince ghc version 6.5.20060919 to accept latin1 characters
 in literals?

I wish to keep source files (containing umlauts in strings) that can be
compiled by either ghc-6.4.2 and ghc-6.6.

Christian
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re[2]: 6.6 strikes me again :)

2006-09-20 Thread Bulat Ziganshin
Hello Simon,

Wednesday, September 20, 2006, 7:35:39 PM, you wrote:

 Quite right; that's just as specified.  The coverage condition is
 documented in the manual.  (GHC 6.4 and Hugs are too liberal, and
 thereby risk divergence during type checking.)   If you want this
 program to work, use -fallow-undecidable-instances

let's look at the slightly modified program:

class (Monad m) =  MRef m r | r-m, m-r
class (Monad m) =  Stream m h | h-m
newtype StringReader r  =  StringReader r
instance (Monad m, MRef m r) =  Stream m (StringReader r)

coverage condition requires that monad type 'm' should occur in stream
handle type 'StringReader r'. With MRef defined as bijective type
function between m and r that is, in fact, true. may be compiler is just not 
smart
enough to figure this?

is using -fallow-undecidable-instances safe in this situation?
what of MRef fundeps, r-m or m-r, is really necessary in this case -
i think it is r-m ?


-- 
Best regards,
 Bulatmailto:[EMAIL PROTECTED]

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Update to Replacement GMP page

2006-09-20 Thread Peter Tanski

Hello all,

I made another update to the notes on Replacing GMP, at http:// 
hackage.haskell.org/trac/ghc/wiki/ReplacingGMPNotes .  It's pretty  
basic and you'd probably find it shabby, but comments, modifications  
appreciated.  I am still in the throes of trying to *portably* beat  
GMP for speed and accuracy.  (The portability problem comes in when I  
may no longer rely on Altivec/SSE/3DNow! support on other processors  
and need to optimise in pure C.)


-Pete
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: Data.FiniteMap

2006-09-20 Thread Tomasz Zielonka
On Wed, Sep 20, 2006 at 02:54:57PM +0200, Christian Maeder wrote:
 This patch does not have the functions:
foldFM_GE, fmToList_GE, keysFM_GE, eltsFM_GE,
foldFM_LE, fmToList_LE, keysFM_LE, eltsFM_LE,

It should be quite easy to do with split or splitLookup.

Best regards
Tomasz
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: UTF-8 decoding error

2006-09-20 Thread Duncan Coutts
On Wed, 2006-09-20 at 18:14 +0200, Christian Maeder wrote:
 How can I convince ghc version 6.5.20060919 to accept latin1 characters
  in literals?
 
 I wish to keep source files (containing umlauts in strings) that can be
 compiled by either ghc-6.4.2 and ghc-6.6.

You can use numeric escapes like \222.

Duncan

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: threadDelay not ending

2006-09-20 Thread Volker Stolz
* Rich Fought [EMAIL PROTECTED]:
 I've got some unit test code that forks off test processes using the 
 'system' function and then delays using 'threadDelay' to synchronize 
 with the test process.

 This has worked fine until I upgraded to 6.4.2, now some of the 
 'threadDelay' calls never return - it's like they are stuck in limbo.

You could build an RTS with debugging support to see what is going on.

Volker

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users