Changes between Version 10 and Version 11 of RankNTypes


Ignore:
Timestamp:
Feb 17, 2007 11:31:39 PM (7 years ago)
Author:
ross@…
Comment:

runST example

Legend:

Unmodified
Added
Removed
Modified
  • RankNTypes

    v10 v11  
    5858 * Both checking and inference are monotonic with respect to the generalization preorder. 
    5959 
     60However it does not permit 
     61{{{ 
     62runST $ do { ... } 
     63}}} 
     64as that requires impredicative types. 
     65 
    6066=== Boxy types === 
    6167