[GHC] #1738: GADT3 test failure

Manuel M T Chakravarty chak at cse.unsw.edu.au
Tue Oct 9 00:59:20 EDT 2007


Simon Marlow wrote,
> GHC wrote:
>> #1738: GADT3 test failure
>> -------------------------+-------------------------------------------------- 
>>
>>     Reporter:  simonmar  |        Owner:                     Type:  
>> bug       |       Status:  closed         Priority:  normal    |    
>> Milestone:  6.10 branch
>>    Component:  Compiler  |      Version:  6.9            Severity:  
>> normal    |   Resolution:  fixed          Keywords:            |   
>> Difficulty:  Unknown              Os:  Unknown   |     Testcase:  
>> GADT3      Architecture:  Unknown   |  
>> -------------------------+-------------------------------------------------- 
>>
>> Changes (by chak):
>>
>>   * status:  new => closed
>>   * resolution:  => fixed
> 
>     hunk ./tests/ghc-regress/indexed-types/should_compile/all.T 50
>     -test('GADT3', expect_broken_for(1738, ['normal','optc']), compile, 
> [''])
>     +test('GADT3', normal, compile, [''])
> 
> this test now fails on the stable branch - I assume the patch isn't 
> going to be merged, right?  In that case we want an 
> "expect_broken_if_compiler_lt" in all.T.

The fixing patch was tagged as "MERGE TO STABLE".

Manuel



More information about the Glasgow-haskell-bugs mailing list