Impredicative polymorphism no longer deprecated.
authorEdward Z. Yang <ezyang@mit.edu>
Sun, 6 Mar 2011 21:59:16 +0000 (21:59 +0000)
committerEdward Z. Yang <ezyang@mit.edu>
Sun, 6 Mar 2011 21:59:16 +0000 (21:59 +0000)
commita630bb5e09ab8769d52d821f72631125f72770e8
tree95092fcd148f4e44d66fe34806a16b97b87f71af
parentb29919ba7845925dcf4bdbeb3fa0045ac4be2e26
Impredicative polymorphism no longer deprecated.
docs/users_guide/glasgow_exts.xml