[m-rev.] diff: Restore news about stricter checking of non-ground final insts.
novalazy at gmail.com
Fri Dec 4 17:18:14 AEDT 2015
The news item being restored is for
"Do not allow ground insts to match incomplete bound insts."
It is not describing the changes about putting functions with
nondefault signatures into terms.
Restore the new item.
NEWS | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/NEWS b/NEWS
index dc5d34e..2a6cf2d 100644
@@ -3,6 +3,11 @@ NEWS since Mercury 14.01.x
Changes that may break compatibility:
+* We have enabled stricter checking of non-ground final insts to reject more
+ mode-incorrect code. Due to compiler limitations, some code that should be
+ accepted will now be rejected. They will require modifications to appease
+ the compiler.
* We have enabled stricter checking of the requirement that a type, inst
or a mode that is *not* exported from a module may not be used in the
declarations of entities (such as predicates and typeclasses) that *is*
More information about the reviews