Changes between Initial Version and Version 1 of Ticket #75

Show
Ignore:
Timestamp:
05/14/09 04:54:04 (5 years ago)
Author:
benl
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #75 – description

    initial v1  
    1414 
    1515The example succeeds when the projection is removed in favor of its 
    16 corresponding function.  The example also fails for variants using let and 
    17 where and when dummy is removed.  If dummy is replaced by an underscore, 
    18 the failure message is the same for a do block, but let and where clauses 
    19 trigger a different compiler error. 
     16corresponding function.  The example also fails for variants using let and where and when dummy is removed.  If dummy is replaced by an underscore, the failure message is the same for a do block, but let and where clauses trigger a different compiler error. 
    2017 
    21 Type.Crush.Proj.crushProjClass3 is expecting a fully formed TData - but the result 
    22 type of map is a TApp which it gets from the sig in the Functor class definition. 
     18Type.Crush.Proj.crushProjClass3 is expecting a fully formed TData - but the result type of map is a TApp which it gets from the sig in the Functor class definition. 
     19 
     20Test is {{{T75-UnresolvedTApp}}}