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

[Julien Fischer]

Estimated hours taken: 0
Branches: main

BUGS:
 	Delete the entry for the ho_and_type_spec bug that Simon
 	just fixed.

Julien.

Index: BUGS
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/BUGS,v
retrieving revision 1.25
diff -u -r1.25 BUGS
--- BUGS	13 Apr 2007 04:56:32 -0000	1.25
+++ BUGS	2 May 2007 07:29:19 -0000
@@ -156,25 +156,5 @@
  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'. 
+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'.
-
------------------------------------------------------------------------------

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------