Changes between Initial Version and Version 2 of Ticket #7368


Ignore:
Timestamp:
Oct 26, 2012 11:53:02 AM (3 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7368

    • Property Difficulty changed from to Unknown
  • Ticket #7368 – Description

    initial v2  
    11This code: 
    2 ------------------------------------- 
     2{{{ 
    33f  = b  (l  () ) 
    44 
     
    88b :: (a -> b) -> c 
    99b = undefined 
    10  
    11 ------------------------------------- 
     10}}} 
    1211 
    1312Produces the following panic:  
     13{{{ 
    1414/tmp/Test.hs:4:10: 
    1515    Couldn't match kind `* -> *' with `*' 
     
    2525  (GHC version 7.7.20120909 for x86_64-unknown-linux): 
    2626        kindFunResult ghc-prim:GHC.Prim.*{(w) tc 34d} 
    27  
     27}}} 
    2828 
    2929I don't think this is the same as #6039 since that test code produces a parse error when I try to compile it (and it is listed as fixed).