Handle closures with environment for autoclosures#1194

Open

lucteo wants to merge 4 commits intomainfrom autoclosure-env

+80-16

Commits on Nov 19, 2023

Pass the ID of the argument expression to ParameterConstraint
lucteo
committed

Commits on Nov 25, 2023

Type-check autoclosures arguments with environments.
lucteo
committed

Commits on Dec 5, 2023

Merge branch 'main' into autoclosure-env
lucteo
committed

Commits on Dec 6, 2023

Merge branch 'main' into autoclosure-env
lucteo
committed