Changes between Version 6 and Version 7 of Commentary/Compiler/Demand


Ignore:
Timestamp:
Sep 17, 2012 10:51:54 AM (19 months ago)
Author:
ilya
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/Demand

    v6 v7  
    6363Additional information (demand signature suffix) 
    6464 
    65   * `m`  -- a function returns a constructed product result (CPR) 
     65  * `m`  -- a function returns a [http://research.microsoft.com/en-us/um/people/simonpj/Papers/cpr/index.htm  constructed product result] 
    6666 
    6767  * `b` -- the function is a ''bottoming'' one, i.e., some decoration of `error` and friends.