InferReactiveIdentifiers handles Capture effect

Joe Savona committed over 3 years ago

[be] Use switch for exhaustiveness

Joe Savona committed over 3 years ago

InferReactiveIdentifiers uses IdentifierId

Joe Savona committed over 3 years ago

Move logic for making reactive scope decls all reactive

Joe Savona committed over 3 years ago

InferReactiveIdentifiers: fixpoint iteration is now unnecessary

Joe Savona committed over 3 years ago

Create a separate pass to prune non-reactive dependencies

Joe Savona committed over 3 years ago

[hir] Add a DropMemoCall pass

Sathya Gunasekaran committed over 3 years ago

[typer] Type hook callee as Hook type

Sathya Gunasekaran committed over 3 years ago

[typer] Introduce a Hook type

Sathya Gunasekaran committed over 3 years ago

[hir] Add name field to Hook

Sathya Gunasekaran committed over 3 years ago

[hir] Add Memo hooks

Sathya Gunasekaran committed over 3 years ago

[hir] Simplify HookKind

Sathya Gunasekaran committed over 3 years ago

[typer][be] Add helper for checking type.kind

Sathya Gunasekaran committed over 3 years ago

[be] Tidy up some mutableRange logic

Joe Savona committed over 3 years ago

Optimize DCE to visit CFG only once when there are no loops

Joe Savona committed over 3 years ago

Capturing a frozen value is a Read

Joe Savona committed over 3 years ago

Fix incorrectly recording declarations in reassignments in PropagateScopeDependencies

Lauren Tan committed over 3 years ago

Scopes with reassignments should still emit memo block

Lauren Tan committed over 3 years ago

Use IdentifierIds to when comparing Identifier

Lauren Tan committed over 3 years ago

[BE] Various linter fixes

Lauren Tan committed over 3 years ago