Changes between Initial Version and Version 1 of Ticket #7015, comment 13


Ignore:
Timestamp:
Aug 8, 2014 1:56:58 PM (5 years ago)
Author:
facundo.dominguez
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #7015, comment 13

    initial v1  
    2828static return :: Monad m => Ref (a -> m a)
    2929}}}
    30 or disallowed them completely.
     30or disallow them completely.
    3131
    3232The last option looked the simplest while still useful, so we disallowed  static forms whose bodies have qualified types. Now, say we want to type-check an expression like