Changes between Version 11 and Version 12 of Holes


Ignore:
Timestamp:
Feb 13, 2012 10:22:32 AM (2 years ago)
Author:
nomeata
Comment:

typo

Legend:

Unmodified
Added
Removed
Modified
  • Holes

    v11 v12  
    179179== Not ranges, but types == 
    180180 
    181 A variation of the previous proposal that is a bit more powerful and less syntactically intrusive is to implement this in the type language. So giving an expression (or even a pattern) a type of {{__}} would leave this type arbitrary and make GHC print the type. This subsumes the previous proposals, e.g.  
     181A variation of the previous proposal that is a bit more powerful and less syntactically intrusive is to implement this in the type language. So giving an expression (or even a pattern) a type of {{{__}}} would leave this type arbitrary and make GHC print the type. This subsumes the previous proposals, e.g.  
    182182{{{ 
    183183test :: [Bool]