haskell-names v0.3 Release Notes

  • ๐Ÿš€ This release brings support for record puns and wildcards.

    Interface file format changes

    For field selectors, the new field constructors is added. It contains a list of constructors that contain that field.

    API changes

    • The sv_constructors field is added to SymSelector
    • โž• Add Language.Haskell.Names.SyntaxUtils.stringToName
    • ๐Ÿšš The class GetBound is moved to a new module, Language.Haskell.Names.GetBound. Its method, getBound, now has a new argument, the global symbol table
    • NameInfo got two more constructors to annotate wildcards, RecPatWildcard and RecExpWildcard
    • Scope now has a new field of type WcNames, which can be accessed through the wcNames lens. This is needed for record wildcards resolution.
    • โž• Add field selectors to GName
    • Don't export GName and OrigName from GlobalSymbolTable