Skip to content

Latest commit

 

History

History
200 lines (137 loc) · 4.17 KB

CHANGELOG.md

File metadata and controls

200 lines (137 loc) · 4.17 KB

Changes

Version 0.9.1

  • Use haskell-src-exts 1.20

Version 0.9.0

  • Preliminary support for pattern synonyms
  • Relax bounds on aeson and haskell-src-exts
  • Fix bug with instance declarations where class is qualified
  • Fix bugs with record wildcards and record puns
  • Fix bug where we'd produce duplicate symbols in environment
  • Use traverse-with-class-1.0.0.0
  • haskell-names now requires GHC 8.0 or later

Version 0.8.0

  • Relax bounds on aeson
  • Relax bounds on transformers
  • Bugfixes
  • Use haskell-src-exts 1.18

Version 0.7.0

  • Improve annotation performance

Version 0.6.0

  • Use haskell-src-exts 1.17
  • Remove dependency on haskell-packages

Version 0.5.3

  • Compatibility with GHC 7.8.4

Version 0.5.2

  • Handle more syntactic constructs

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 for LocalSymbolTable.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 from Language.Haskell.Names.SyntaxUtils
  • Annotate QNames 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 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

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).