search

amuletml / amulet

An ML-like functional programming language
https://amulet.works/
BSD 3-Clause "New" or "Revised" License
328 stars 16 forks source link

Qualify names when leaving a module #218

Closed plt-amy closed 5 years ago

plt-amy commented 5 years ago

And, indeed, unqualify names when leaving a module. In practice, this means that the entire TC scope consists of types that are writable, as printed, in the scope they are referring to. This fixes:

  1. Printing of types in error messages
  2. Suggestions offered by amuse Types.Holes