Changes between Version 6 and Version 7 of Development/ReleaseProcess


Ignore:
Timestamp:
Dec 2, 2012, 12:01:18 PM (7 years ago)
Author:
benl
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Development/ReleaseProcess

    v6 v7  
    2020
    2121=== Forbidden functions ===
    22 Grep the source for forbidden functions. These all fail with an unhelpful error message and are banned from the DDC source tree. At some stage we should add an automated test for these.
     22Grep the source for forbidden functions. These all fail with an unhelpful error message and are banned from the DDC source tree.
    2323
    24 {{{head tail init fromJust (!!)}}}
     24{{{undefined head tail init fromJust (!!)}}}
    2525
    2626=== Add release notes to `doc/release` ===