Fix: move Tezos.create_contract check of free variables to aggregated

type:fixed

This MR fixes #1396 (closed) by moving the free variables calculation of a Tezos.create_contract to ast_aggregated, where modules have been resolved already.

assigned to @er433

added 1 commit

• c6f11d9e - Further clean-up in Free_variables for Ast_aggregated

Compare with previous version

added 1 commit

• a614f8f3 - Add file for test case

Compare with previous version

added 1 commit

• eaf13e06 - Rename test file

Compare with previous version

added 1 commit

• fc90fd9c - Add test case

Compare with previous version

marked this merge request as ready

added 1 commit

• 43437567 - [Bot] add changelog entry

Compare with previous version

approved this merge request

added 1 commit

• fbf3e554 - Update Self_ast_aggregated.all_expression to take a test flag

Compare with previous version

added 68 commits

• fbf3e554...0ea93253 - 67 commits from branch dev
• 06959d2f - Merge branch 'dev' into er433/fix/modules+create_contract

Compare with previous version

added 1 commit

• 04d78099 - Move check of being an E_lambda to create_contract pass in 13-self_ast_aggregated

Compare with previous version

added 1 commit

• bc04bce3 - Remove non-used errors from typer

Compare with previous version

resolved all threads

enabled automatic add to merge train when the pipeline for 20fdf300 succeeds

started a merge train

merged

mentioned in commit dc42795d

unassigned @er433