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


Ignore:
Timestamp:
Sep 17, 2012 10:51:54 AM (3 years 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.