https://hal.archives-ouvertes.fr/hal-01863457
Revision c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d authored by Software Heritage on 03 September 2018, 13:40:43 UTC, committed by Software Heritage on 03 September 2018, 13:40:43 UTC
0 parent
Tip revision: c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d authored by Software Heritage on 03 September 2018, 13:40:43 UTC
hal: Deposit 174 in collection hal
hal: Deposit 174 in collection hal
Tip revision: c812045
KNOWN-BUGS
The following problems have not been fixed at the time of this release:
1- Stream concatenation using [< ... >] does not always preserve the
sharing among streams, and sometimes duplicate stream subcomponents.
For instance, if you define s' = [< '1; s >] and then read alternatively
from s' and from s, a given element of s can be read twice.
The problem occurs only if s is in tail position inside s'.
To guarantee proper sharing, move s in non-tail position, e.g.
take s' = [< '1; s; [<>] >].
2- (macintosh) The graphics window does not work with monitors set to
more than 256 colors.
Computing file changes ...