diff --git a/.release-notes/always-verify-ir.md b/.release-notes/always-verify-ir.md deleted file mode 100644 index fd3a90801b..0000000000 --- a/.release-notes/always-verify-ir.md +++ /dev/null @@ -1,7 +0,0 @@ -## Turn on `verify` pass by default - -The `verify` compiler pass will check the LLVM IR generated for the program being compiled for errors. Previously, you had to turn verify on. It is now on by default and can be turned off using the new `--noverify` option. - -We decided to turn on the pass for two reasons. The first is that it adds very little overhead to normal compilation times. The second is it will help generate error reports from Pony users for lurking bugs in our code generation. - -The errors reported don't generally result in incorrect programs, but could under the right circumstance. We feel that turning on the reports will allow us to find and fix bugs quicker and help move us closer to Pony version 1. diff --git a/.release-notes/next-release.md b/.release-notes/next-release.md index f18e96f4c1..3dbcc309b1 100644 --- a/.release-notes/next-release.md +++ b/.release-notes/next-release.md @@ -39,3 +39,11 @@ actor Main Where you had code "after the return" which would be unexpected by the compiler. +## Turn on `verify` pass by default + +The `verify` compiler pass will check the LLVM IR generated for the program being compiled for errors. Previously, you had to turn verify on. It is now on by default and can be turned off using the new `--noverify` option. + +We decided to turn on the pass for two reasons. The first is that it adds very little overhead to normal compilation times. The second is it will help generate error reports from Pony users for lurking bugs in our code generation. + +The errors reported don't generally result in incorrect programs, but could under the right circumstance. We feel that turning on the reports will allow us to find and fix bugs quicker and help move us closer to Pony version 1. +