equal
deleted
inserted
replaced
316 * The constant "xxx_(un)fold" and related theorems are no longer generated. |
316 * The constant "xxx_(un)fold" and related theorems are no longer generated. |
317 Use "xxx_(co)rec" or define "xxx_(un)fold" manually using "prim(co)rec". |
317 Use "xxx_(co)rec" or define "xxx_(un)fold" manually using "prim(co)rec". |
318 INCOMPATIBILITY. |
318 INCOMPATIBILITY. |
319 * No discriminators are generated for nullary constructors by default, |
319 * No discriminators are generated for nullary constructors by default, |
320 eliminating the need for the odd "=:" syntax. |
320 eliminating the need for the odd "=:" syntax. |
|
321 INCOMPATIBILITY. |
|
322 * No discriminators or selectors are generated by default by |
|
323 "datatype_new", unless custom names are specified or the new |
|
324 "discs_sels" option is passed. |
321 INCOMPATIBILITY. |
325 INCOMPATIBILITY. |
322 |
326 |
323 * Old datatype package: |
327 * Old datatype package: |
324 * The generated theorems "xxx.cases" and "xxx.recs" have been renamed |
328 * The generated theorems "xxx.cases" and "xxx.recs" have been renamed |
325 "xxx.case" and "xxx.rec" (e.g., "sum.cases" -> "sum.case"). |
329 "xxx.case" and "xxx.rec" (e.g., "sum.cases" -> "sum.case"). |