[be] Clarify type of value block final value before change
Makes the type of the final value of a ValueBlock more precise, prior to changing it
Joe Savona committed
Jan 31, 2023 at 13:39 UTC
b1548100d1844331c8b1da3b221b2fe752116942
2 files changed
+2
-2
compiler/forget/src/HIR/HIR.ts
+1
-1
@@ -63,7 +63,7 @@ export type ReactiveValueBlock = {
63
kind: "value-block";
64
instructions: ReactiveBlock;
65
last: {
66
- value: InstructionValue;
66
+ value: Place;
67
id: InstructionId;
68
} | null;
69
};
compiler/forget/src/ReactiveScopes/BuildReactiveFunction.ts
+1
-1
@@ -418,7 +418,7 @@ class Driver {
418
visitValueBlock(
419
parent: ReactiveBlock,
420
block: BasicBlock,
421
- terminalValue?: { value: InstructionValue; id: InstructionId }
421
+ terminalValue?: { value: Place; id: InstructionId }
422
): ReactiveValueBlock {
423
const valueBlock: ReactiveValueBlock = {
424
kind: "value-block",