Update internal state of the typer

type:internal

The typer (src/pass/10-checking) keeps information around about the context of E_application in an ad-hoc way through variables last and args. This MR improves the representation by keeping an application context structure where things are pushed/popped.

assigned to @er433

changed title from Draft: foo to Draft: update typer to keep app_context

added 1 commit

• 6d250d84 - Re-organize app_context

Compare with previous version

added 1 commit

• 52c07abc - Simplify pattern call

Compare with previous version

changed title from Draft: update typer to keep app_context to Draft: Update internal state of the typer

changed the description

added 1 commit

• e39c1d34 - Make App_context a module

Compare with previous version

marked this merge request as ready

added 1 commit

• 3c79ea81 - Use App_context.create

Compare with previous version

added 1 commit

• a2abf229 - Rename functions used in App_context

Compare with previous version

changed the description

mentioned in commit 4dbd38b8

added 2 commits

• 4dbd38b8 - Merge branch 'er433/typer/context' into 'dev'
• 45286511 - [Bot] add changelog entry

Compare with previous version

added 1 commit

• c04cdd1e - Simplify E_application

Compare with previous version

added 1 commit

• 7a79a4e0 - Add annotation

Compare with previous version

resolved all threads

added 1 commit

• e6e14f29 - Name parts in App_context

Compare with previous version

added 1 commit

• b50f99c4 - Move app_context to context.ml

Compare with previous version

added 1 commit

• cbd2f231 - Change from expression to type_expression in push/pop

Compare with previous version

added 1 commit

• ed361572 - Maintain context as a pair

Compare with previous version

added 1 commit

• 38435752 - Nit

Compare with previous version

added 1 commit

• fda013d8 - Renaming app_context, typing_context, context

Compare with previous version

added 1 commit

• 3fd1eace - Abstract Typing_context inside Context

Compare with previous version

resolved all threads

added 15 commits

• 3fd1eace...eca73e5a - 14 commits from branch dev
• 29ae7ff6 - Merge branch 'dev' into er433/typer/context

Compare with previous version

approved this merge request

enabled automatic add to merge train when the pipeline for ce2a91c9 succeeds

started a merge train

merged

mentioned in commit c37f3194

unassigned @er433