[m-rev.] diff: merge 0.12 and 0.13/main branch BUGS files

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

Synchronize the 0.13 and main branch BUGS files with that of the 0.12
branch.  (I think we forgot to commit some late additions to the 0.12
BUGS file on the main branch.)

BUGS:
 	Add a bug reports from the 0.12 branch.

Julien.

Index: BUGS
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/BUGS,v
retrieving revision 1.21.2.1
diff -u -r1.21.2.1 BUGS
--- BUGS	7 Sep 2006 06:14:42 -0000	1.21.2.1
+++ BUGS	13 Sep 2006 10:28:19 -0000
@@ -166,3 +166,28 @@
  by using the option `--no-inlining'.

  -----------------------------------------------------------------------------
+
+Subject: higher-order specialisation bug 
+Date: 2 May 2005
+
+The Mercury compiler sometimes aborts at -O3 and higher with an error
+message similar to the following:
+
+	 Uncaught Mercury exception:
+	 Software Error: map__lookup: key not found
+		Key Type: term.var(parse_tree.prog_data.prog_var_type)
+ 		Key Value: var(20)
+ 		Value Type: ll_backend.var_locn.var_state
+
+This is due to a bug involving higher-order specialisation, type
+specialisation and typeclasses.  A workaround for this bug is to disable
+higher-order specialisation for any affected files.  This can be done
+by using the option `--no-higher-order'.
+
+-----------------------------------------------------------------------------
+
+Subject: segmentation fault in deep profiler
+Date: unknown
+
+The deep profiler may cause a segmentation fault when profiling large
+programs.  There is currently no known workaround for this problem.

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------