Skip to content

v0.6.0
Compare
Choose a tag to compare
@sjrd sjrd released this 24 Feb 16:31
· 475 commits to main since this release
v0.6.0
d8cb675
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • Fix erasure of arrays of union types.
  • Cleanups of the Type hierarchy: Type is sealed, and some "internal" Type subclasses are removed.
  • The declaredType of parameterless defs is not wrapped in an ExprType anymore.
  • ExprType is renamed to ByNameType, clearly indicating that it only applies to by-name types of the form => A.
  • Better shapes of Trees for the right-hand-side of type definitions.
  • Add signature and targetName in TermSymbol.
  • TermSymbol.signedName is changed to return a simple name for parameterless defs. Use signature if you always want a signature.
  • Add support for type refinements.
Assets 2
Loading