Hello, bug readers,


Simon L Peyton Jones <[EMAIL PROTECTED]>
replies to my request

> ... It's a definite and embarassing bug
> ...
> I guess we'll have to put out 3.03 shortly to fix this (and other trivia).
> If you are stuck we'll hurry it up.
> ...


It appeares that so far, i am not stuck. 
The reasonable walk around was found: some sort of removing of this  
let...in.
But the whole DoCon program is being rewised, and we do not know how 
it will finally compile and work with ghc-3.02.

By the way,  DoCon-1.07  (http://haskell.org/docon/)
compiles with  ghc-3.01,  but *very probably* it would not do it with 
ghc-3.02  - even after the above bug is fixed.



> Thanks again for boiling it down to a small example...

You are welcome.


------------------
Sergey Mechveliani
[EMAIL PROTECTED]


********************************************************************
>> ghc-3.02-i386-unknown-bin...
>> runs into a bug (?) when compiling the program
>...
>> type Cp a =  a -> a -> Ordering
>> 
>> m :: Eq a => Cp a -> [a] -> a
>> m            _       [x,y,z] =  if x==y then x else z  
>>      
>> cpPairs :: Cp [j] -> (a,[j]) -> (a,[j]) -> Ordering
>> cpPairs    cp        (_,p)      (_,q)   =  cp p q
>> 
>> mp :: (Eq i,Eq j) => Cp [j] -> [(i,[j])] -> (i,[j])
>> mp                   cp        dD          =  
>>                                     let  minInRow = m (cpPairs cp)
>>                                     in   minInRow dD
...







Reply via email to