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