Skip to content

WIP: Add support for the `ScopedTypeVariables` language extension

Jan-Hendrik Matthes requested to merge scoped-type-variables into master

This merge request adds support for the ScopedTypeVariables language extension so that type variables can be lexically scoped when explicitly introduced with the forall keyword.

Edited by Jan-Hendrik Matthes

Merge request reports