Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
Revert "Make "my $a of Array of Int" work (for typechecks at lowest l…
…evel)" This should already work for multilevel typechecks, so we shouldn't normalize the type to the lowest level. This reverts commit 2857585.
- Loading branch information