[Bug 24547] Streamability of accumulators, missing initial-value

https://www.w3.org/Bugs/Public/show_bug.cgi?id=24547

C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
                 CC|                            |cmsmcq@blackmesatech.com

--- Comment #1 from C. M. Sperberg-McQueen <cmsmcq@blackmesatech.com> ---
We discussed this in Prague and agreed that the issue report identifies a
problem needing solution:  the streamability checks for accumulators needs to
account for their initializers.

We came to the view that error [ERR XTSE0548] in 6.6.1 should apply to
initializing expressions for accumulators; the discussion of posture and sweep
of variables in 19.8.4.38 should probably point to 6.6.1 for that variable. 
(Note that strictly speaking this error cannot always be detected at compile
time for the package in question -- it may not have any streamable initial
modes, and the error may arise only when compiling a package which includes it
together with some other package which does have public streamable modes.)

Note that the corresponding error for accumulators can, by contrast, be
detected in the package (assuming that the streamability of the accumulator and
its initializer are in the same package).

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Thursday, 13 February 2014 09:05:43 UTC