NOTE: My real "changelog" (a private document) is
over 8000 lines long, and I haven't really taken pains
to assure that this summary is complete.
The transition-5-6-7.html file probably contains better
information. It is in the ./HTML directory of the source
distribution, or online at
http://www.fremissant.net/deepseq-bounded/transition-5-6-7.html
(most up to date).
0.5.5 -> 0.6.0.0
- many misc. bug fixes
- much polishing of documentation (corrections, elaborations, refinements)
- renamed module "...Bounded.Generics" to "...Bounded.Generic"
- changed the pattern concrete syntax slightly (now more compact)
- refer to http://fremissant.net/deepseq-bounded/grammar.html
- more than "slightly", in the end!
- added nice data family FF :)
- changed PatNode so all constructors take a single parameter of
(new) type PatNodeAttrs
- several new capabilities (refer to the API docs for PatNodeAttrs)
- simplified the PatNode type itself
- using attoparsec to build the pattern DSL parser
- PatAlg.hs -> PatUtil.hs
- isSubPatOf -> subPat
- I hesitated to shed the "is", but the Bool result value
pretty much clears up any possible ambiguity there
- the ambiguity (which still remains) is, which is the
subpattern, which the host pattern, as the types don't
help you there!
- but we're pretty safe, corresponds to infix use as
if it were the mathematical inclusion symbol
- type constraints are now handled as a prefix modifier like
any other (except that internally they still have their
own PatNode's TI, TR etc.)
- more...