===================================================================
Estimated hours taken: 0.1
compiler/polymorphism.m:
Disable the test which causes us to not pass type-infos to C
code which do not use the variable corresponding to that type-info.
For some reason, this is causing the compiler to abort when
compiling stage2/browser/declarative_execution.m.
===================================================================
Index: compiler/polymorphism.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/polymorphism.m,v
retrieving revision 1.212
diff -u -t -r1.212 polymorphism.m
--- compiler/polymorphism.m 2001/07/10 08:06:13 1.212
+++ compiler/polymorphism.m 2001/07/12 01:42:53
@@ -1773,6 +1773,10 @@
:- mode foreign_code_does_not_use_variable(in, in) is semidet.
foreign_code_does_not_use_variable(Impl, VarName) :-
+ % XXX This test is temporarily turned off, as it causes
+ % the compiler to abort when compiling
+ % stage2/browser/declarative_execution.m
+ semidet_fail,
(
Impl = ordinary(ForeignBody, _),
\+ string__sub_string_search(ForeignBody,
--
David Jeffery (dgj at cs.mu.oz.au) | If you want to build a ship, don't drum up
PhD student, | people together to collect wood or assign
Dept. of Comp. Sci. & Soft. Eng.| them tasks and work, but rather teach them
The University of Melbourne | to long for the endless immensity of the sea.
Australia | -- Antoine de Saint Exupery
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------