Changes between Version 10 and Version 11 of RankNTypes


Ignore:
Timestamp:
Feb 17, 2007 11:31:39 PM (8 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