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).