[m-rev.] diff: update the BUGS file

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

BUGS:
	Mention the puzzle_detism_bug and its workaround.

	Update a bit of syntax that we shortly won't
	support anymore.

Julien.

Index: BUGS
===================================================================
RCS file: /home/mercury1/repository/mercury/BUGS,v
retrieving revision 1.20
diff -u -r1.20 BUGS
--- BUGS	19 Jan 2005 05:52:54 -0000	1.20
+++ BUGS	26 Apr 2005 08:15:18 -0000
@@ -145,10 +145,24 @@

 test(Args0) :-
 	MakeIndex =
-		lambda([Elem0::in, Elem::out, Index0::in, Index::out] is det, (
+		(pred(Elem0::in, Elem::out, Index0::in, Index::out) is det :-
 			Elem = Elem0 - Index0,
 			Index is Index0 + 1
-		)),
-	list__map_foldl(MakeIndex, Args0, _, 0, _).
+	),
+	list.map_foldl(MakeIndex, Args0, _, 0, _).
+
+-----------------------------------------------------------------------------
+Subject: mode analysis bug
+Date: 1 December 2004
+
+The Mercury compiler sometimes aborts with the following error message:
+
+  	Uncaught Mercury exception:
+  	Software Error: inappropriate determinism inside a negation
+
+This bug is due to a limitation in the mode checker.  It has only
+been reported as occurring when inlining is enabled.  A workaround
+is to disable inlining for any affected files.  This can be done
+by using the option `--no-inlining'.

 -----------------------------------------------------------------------------

--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------