-
Kim Nguyễn authored
Revert "Partially revert commit 46a5262a (only file typing/typer.ml) to make balance type (in toplevel). This should be investigated more thoroughly." This partial revert allows us to typecheck the wrong version of balance. This reverts commit b98abca3.
521a5685