Changes between Version 78 and Version 79 of IR


Ignore:
Timestamp:
11/28/15 08:52:43 (10 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IR

    v78 v79  
    88* quotes around function names in definitions, prototypes?
    99* is there ever a need for a function prototype?  Could variable decl notation be used instead? NO, variable decls are different, those are state variables.
    10 * should we leave our parameter names in abstract and system functions?  They are not needed for anything.
     10* should we leave our parameter names in abstract and system functions?  They are not needed for anything.  THEY ARE NEEDED FOR CONTRACTS, sometimes, and maybe for documentation.    Consider making them optional.
    1111
    1212