Changelog for haskell-names-0.5.1
Changes
Version 0.5.1
- Resolve associated types
- Resolve fixity declarations
- Resolve classes and instances
- Various bugfixes
Version 0.5.0
- Unify type-level and value-level symbols
- Remove fixities from symbol type
- Properly annotate classes and instances
- Inline original name into symbol type
- Remove original package from symbol type
- Annotate symbol references with the way they are referenced
Version 0.4.1
- Export types defined by top level data family declarations
- Update to haskell-src-exts 1.16
Version 0.4
Replace data-lens
with data-lens-light
Version 0.3.3.2
Remove the upper version bound on Cabal
Version 0.3.3.1
Update to work with haskell-src-exts 1.15
Version 0.3.3
- Expose
Language.Haskell.Names.ModuleSymbols.getTopDecls
- Define a
Monoid
instance forLocalSymbolTable.Table
- Support for parallel list comprehensions
Version 0.3.2.8
Introduce a lower dependency bound on tasty-golden
in the test suite
Version 0.3.2.7
type-eq
is fixed; depend on the new version
Version 0.3.2.6
Work around a regression in type-eq
Version 0.3.2.5
Relax pretty-show
version bound
Version 0.3.2.4
Make haskell-names build GHC 7.8
Version 0.3.2.3
Include interfaces for array
Version 0.3.2.2
Allow pretty-show-1.6.2
in the test suite
Version 0.3.2.1
Use pretty-show-1.6.1
in the test suite
Version 0.3.2
- Export
getDeclHead
fromLanguage.Haskell.Names.SyntaxUtils
- Annotate
QName
s in export lists - Update the bundled library interfaces (they were broken in earlier 0.3.* versions because of the interface format change)
Version 0.3.1
- Documentation improvements
- Add
rfoldMap
- Relax Cabal dependency constraint to include Cabal-1.14
Version 0.3
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 toSymSelector
- 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
andRecExpWildcard
Scope
now has a new field of typeWcNames
, which can be accessed through thewcNames
lens. This is needed for record wildcards resolution.- Add field selectors to
GName
- Don't export
GName
andOrigName
fromGlobalSymbolTable
Version 0.2.1
- Fix a bug where global symbols were annotated as local
- Make the code compile with aeson-0.6.2.0
Version 0.2
- Proper annotations for types and binding sites.
NameContext
now has a few new constructors. - Properly support n+k patterns
- Expose the
Alg
datatype for open name resolution - Expose the
HasOrigName
class
Version 0.1.2
Restore compatibility with Cabal 1.16
Version 0.1.1
Dummy release to force rebuild on hackage (now that haskell-src-exts 1.14 is released).