Skip to content

Fix tag inference for bytecode interpreter

Andreas Klebinger requested to merge wip/andreask/infer-bytecode into master

Adjust tag inference for bytecode operational semantics.

In bytecode every rhs is a thunk so no binding starts out properly tagged.

This needs more work but I want to see what CI says first.

This will eventually fix #22840 (closed)

Edited by Andreas Klebinger

Merge request reports