Changelog

0.1.7.0

[incompatibility] with previous versions, CHR (and required code) moved to separate libs chr-*
[compatibility] with ghc 8.2.x

0.1.6.8

[api] addition of replacement for TreeTrie required for CHR solving (gives x4 performance improvement), also forcing changes in uhc
[api] rewrite of scoped lookup/map

0.1.6.7

0.1.6.6

[compatibility] with ghc 8.0.1
[chr engine] development, examples, debugging, ...
[libs] removed dependency on syb (and Data instances)

0.1.6.5

[libs] updated version lowerbound for hashable and fclabels
[chr] dependency on logict-state lib, as prep for new solver
[chr] CHR rules have an additional priority field, as prep for new solver
[api] additional PP instances
[serialize] generic impl of Serialize more efficiently generates tags (1 per datatype instead of log(nr of constructors))

0.1.6.4

[api] move of RLList functionality encoding lexical scoping to separate module LexScope (taken from UHC)

0.1.6.3

[api] move of RLList, TreeTrie, CHR, Substitutable (partial) from uhc to uhc-util

0.1.6.2

[uhc] as released with uhc 1.1.9.1

0.1.5.5

[compatibility] GHC 7.10 compatibility: sortOn has become more strict, addition of a sortOnLazy

0.1.5.4 - 20150416

[build] changelog.md included in cabal dist

0.1.5.3 - 20150402

[build] depends on uulib>=0.9.19 to avoid Applicative hiding imports

0.1.5.2 - 20150401

[build] should work with ghc 7.10