Closed maximemulder closed 1 month ago
Improve the global type checker by adding rules for a few things that can obviously be checked as errors even without the presence of types (unbound variables, useless type checks, unused expressions...).
Improve the global type checker by adding rules for a few things that can obviously be checked as errors even without the presence of types (unbound variables, useless type checks, unused expressions...).