60 lines
1.8 KiB
JavaScript
60 lines
1.8 KiB
JavaScript
import {
|
|
arrayPush,
|
|
identity,
|
|
makeArray,
|
|
Stringify,
|
|
useFragment,
|
|
} from 'shared-runtime';
|
|
|
|
/**
|
|
* Bug repro showing why it's invalid for function references to be annotated
|
|
* with a `Read` effect when that reference might lead to the function being
|
|
* invoked.
|
|
*
|
|
* Note that currently, `Array.map` is annotated to have `Read` effects on its
|
|
* operands. This is incorrect as function effects must be replayed when `map`
|
|
* is called
|
|
* - Read: non-aliasing data dependency
|
|
* - Capture: maybe-aliasing data dependency
|
|
* - ConditionallyMutate: maybe-aliasing data dependency; maybe-write / invoke
|
|
* but only if the value is mutable
|
|
*
|
|
* Invalid evaluator result: Found differences in evaluator results Non-forget
|
|
* (expected): (kind: ok)
|
|
* <div>{"x":[2,2,2],"count":3}</div><div>{"item":1}</div>
|
|
* <div>{"x":[2,2,2],"count":4}</div><div>{"item":1}</div>
|
|
* Forget:
|
|
* (kind: ok)
|
|
* <div>{"x":[2,2,2],"count":3}</div><div>{"item":1}</div>
|
|
* <div>{"x":[2,2,2,2,2,2],"count":4}</div><div>{"item":1}</div>
|
|
*/
|
|
|
|
function Component({extraJsx}) {
|
|
const x = makeArray();
|
|
const items = useFragment();
|
|
// This closure has the following effects that must be replayed:
|
|
// - MaybeFreeze / Capture of `items`
|
|
// - ConditionalMutate of x
|
|
const jsx = items.a.map((item, i) => {
|
|
arrayPush(x, 2);
|
|
return <Stringify item={item} key={i} />;
|
|
});
|
|
const offset = jsx.length;
|
|
for (let i = 0; i < extraJsx; i++) {
|
|
jsx.push(<Stringify item={0} key={i + offset} />);
|
|
}
|
|
const count = jsx.length;
|
|
identity(count);
|
|
return (
|
|
<>
|
|
<Stringify x={x} count={count} />
|
|
{jsx[0]}
|
|
</>
|
|
);
|
|
}
|
|
export const FIXTURE_ENTRYPOINT = {
|
|
fn: Component,
|
|
params: [{extraJsx: 0}],
|
|
sequentialRenders: [{extraJsx: 0}, {extraJsx: 1}],
|
|
};
|