[m-rev.] diff: Restore news about stricter checking of non-ground final insts.

Peter Wang novalazy at gmail.com
Fri Dec 4 17:18:14 AEDT 2015


The news item being restored is for
commit 491bb0ab5f19745635058a99dcc02bcbd748fc49
"Do not allow ground insts to match incomplete bound insts."

It is not describing the changes about putting functions with
nondefault signatures into terms.

NEWS:
	Restore the new item.
---
 NEWS | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/NEWS b/NEWS
index dc5d34e..2a6cf2d 100644
--- a/NEWS
+++ b/NEWS
@@ -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*
-- 
2.1.2




More information about the reviews mailing list