Changes between Initial Version and Version 2 of Ticket #4356


Ignore:
Timestamp:
Sep 30, 2010 5:42:43 PM (4 years ago)
Author:
igloo
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #4356

    • Property Owner set to simonpj
    • Property Priority changed from normal to high
    • Property Milestone changed from to 7.0.1
  • Ticket #4356 – Description

    initial v2  
    22It works fine in 6.12.3. 
    33 
     4{{{ 
    45{-# LANGUAGE TypeFamilies #-} 
    56type family T t :: * -> * -> * 
     
    78f :: T Bool Bool Bool 
    89f = not 
     10}}} 
    911 
    1012This is the error: 
    1113 
     14{{{ 
    1215    Couldn't match type `T Bool' with `(->)' 
    1316    Expected type: T Bool Bool Bool 
     
    1518    In the expression: not 
    1619    In an equation for `f': f = not 
     20}}}