Changes between Version 3 and Version 4 of ArrayIndexing


Ignore:
Timestamp:
Feb 1, 2013 3:47:10 PM (15 months ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ArrayIndexing

    v3 v4  
    2929A more useful definition of '!' would be 
    3030 
     31{{{ 
    3132f ! x = x `seq` f x 
    32  
     33}}} 
    3334where '!' has the exact same fixity as function application. so  
    34  
     35{{{ 
    3536foo !x !y 
    36  
     37}}} 
    3738could be used to call foo with x and y evaluated strictly beforehand.