Skip to content
GitLab

WIP: Add support for the `ScopedTypeVariables` language extension

Open 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