Custom Query (7507 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Results (19 - 21 of 7507)

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
Ticket Resolution Summary Owner Reporter
#311 fixed gmp's memory management as49
Description

I assume ghc allocates the lumps of gmp integers still on ghc's heap, making it impossible (or very awkward) to interface to C libraries that use gmp themselves. Is there a chance that you could use the default memory allocator for lumps starting from ghc 6.4? That would make my life much easier.

Thanks, Axel.

#312 fixed Poor error message for kind error simonpj simonpj
Description
A kind error can lead to the following poor error msg:

tcfail132.hs:30:51:
    Kind error: Expecting kind `k_a18s -> k_a18w -> 
k_a18A -> *',
		but `DUnit t' has kind `k_a18s -> 
k_a18w -> *'
    In the type synonym declaration for `LiftObject'


The source program is

newtype Object f' f t o1 o2  = Object (f' t o1 -> f t o2)
type DUnit t o1 o2       = ()

type T f g t o1 o2  = Either (f t o1 o2) (g t o1 o2)

type LiftObject t f' f         = T (Object f' f t) (DUnit t)

#317 fixed Simplifier doesn't preserve bottoms sometimes simonmar
Description
Here's a test due to Iavor Diatchki
[[email protected]]:

>> test2  :: Bool
>> test2   = stops (bot ())
>>   where
>>   stops  :: Int# -> Bool
>>   stops _ = True

ghc 6.4 gives the value True for test2.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
Note: See TracQuery for help on using queries.