Changes between Initial Version and Version 2 of Ticket #2478


Ignore:
Timestamp:
Aug 1, 2008 12:29:01 PM (6 years ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #2478

    • Property Owner set to igloo
    • Property Test Case changed from to typecheck/should_compile/T2478
    • Property Type changed from bug to merge
  • Ticket #2478 – Description

    initial v2  
    3131 
    3232  data Extendable st t => Trafo st t a b = 
    33     Trafo ( forall env1  s. a s -> st t s env1 -> TrafoE st t a b env1 
    34 s ) 
     33    Trafo ( forall env1  s. a s -> st t s env1 -> TrafoE st t a b env1 s ) 
    3534  data Extendable st t => TrafoE st t a b env1 s = 
    3635    forall env2 . TrafoE