Changes between Version 3 and Version 4 of ArrayIndexing


Ignore:
Timestamp:
Feb 1, 2013 3:47:10 PM (2 years 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.