This file is indexed.

/usr/share/mozart/doc/changes/node30.html is in mozart-doc 1.4.0-8ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>10.3 Bug Fixes in Detail</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node29.html#section.m121.changes">&lt;&lt; Prev</A></TD><TD><A href="node27.html">- Up -</A></TD><TD><A href="node31.html#section.m121.misc">Next &gt;&gt;</A></TD></TR></TABLE><DIV id="section.m121.fixes"><H2><A name="section.m121.fixes">10.3 Bug Fixes in Detail</A></H2><P></P><DL><DT>record unification</DT><DD><P>an invalid optimization was introduced in 1.2.0 that affected speculative unification of records</P></DD><DT>variable aliasing detection (Windows)</DT><DD><P>variable aliasing detection was inoperative. As a result propagation was weaker. This could be observed with the SEND+MORE=MONEY example which produced a larger search tree</P></DD><DT><CODE>oztool</CODE> (Windows)</DT><DD><P><CODE>oztool&nbsp;ld</CODE> now also works under Cygwin (not only Mingw32). Furthermore, options are now accepted in any order, and options <CODE><SPAN class="keyword">-</SPAN>I</CODE>, <CODE><SPAN class="keyword">-</SPAN>l</CODE>, <CODE><SPAN class="keyword">-</SPAN>L</CODE> and <CODE><SPAN class="keyword">-</SPAN>s</CODE> are supported for gcc and Microsoft Visual C++</P></DD><DT><CODE>OS<SPAN class="keyword">.</SPAN>system</CODE> and <CODE>Open<SPAN class="keyword">.</SPAN>pipe</CODE> (Windows)</DT><DD><P><CODE>OS<SPAN class="keyword">.</SPAN>system</CODE> was broken in 1.2.0 and has now been repaired; bug fixes in inheritance and closing of handles</P></DD><DT>failed futures</DT><DD><P>(dis)equality testing now correctly passes up exceptions. <CODE>Value<SPAN class="keyword">.</SPAN>byNeedFail</CODE> is now careful to be non-requesting.</P></DD><DT>IO problems (Windows 2000 Service Pack 2)</DT><DD><P>system would freeze if <CODE>ws2_32.dll</CODE> was not loaded</P></DD><DT>Entailment of propagators</DT><DD><P>propagators are now again included in the suspension count</P></DD><DT><CODE>Combinator<SPAN class="keyword">.</SPAN>reify</CODE></DT><DD><P>fixed bug related to merging</P></DD><DT><CODE>Schedule<SPAN class="keyword">.</SPAN>cumulative</CODE></DT><DD><P>fixed bug related to sorting task intervals</P></DD></DL><P></P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node29.html#section.m121.changes">&lt;&lt; Prev</A></TD><TD><A href="node27.html">- Up -</A></TD><TD><A href="node31.html#section.m121.misc">Next &gt;&gt;</A></TD></TR></TABLE><HR><ADDRESS><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>