[m-rev.] for review: Update NEWS file
Paul Bone
paul at bone.id.au
Mon Dec 8 10:42:01 AEDT 2014
Branches: master
For review by anyone.
I forgot to add this as part of my previous changes.
---
Update NEWS file
NEWS:
Add the creation of psqueue.m to the NEWS file.
---
NEWS | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/NEWS b/NEWS
index 97cf360..53fc8ea 100644
--- a/NEWS
+++ b/NEWS
@@ -125,6 +125,10 @@ Changes to the Mercury standard library:
- month_to_int0/1
- same_date/1
++ We have added a new module, psqueue.m, that implements a priority search
+ queue ADT psqueue.m. This is a blend between a priority queue and a map.
+ This is contributed by Matthias Güdemann.
+
Changes to the Mercury compiler:
* We have enabled stricter checking of non-ground final insts to reject more
--
2.1.3
More information about the reviews
mailing list