- First version. Released on an unsuspecting world.
- Rationalise the choice operators. Drop (//) and provide detailed comments explaining the use of (/).
- Improvements in the pretty printer - various groups should be formatted more cleanly
collectFrom
now adds a first definition in the generated Huddle referencing the top level elements, to be compatible with the CDDL spec.
- Leading rather than trailing commas in the pretty printer.
- Introduce HuddleM, another way to define a Huddle spec. This allows total control over the order that items are presented in the CDDL, at the cost of making it somewhat harder to re-use items (they need to be returned from the monad).
- Add support for constraints on references and generic references.
- Add support for using references as range bounds. Note that this breaks
backwards compatibility - because the range arguments are now more generic,
additional hints are required to type literal numerics correctly. Typically
this is most easily fixed by adding a call
int
for any numeric literals in ranges. An example is shown inexample/Conway.hs
-
Support having keys in group entries. This is needed when using a group to define a map, or when wishing to include keys in for-use-in-array groups for documentation purposes. This may introduce problems with existing specifications where some type hints (using 'a') are needed to properly type entries in groups, where previously they were unambiguous.
Note that it is not yet supported to use a group inside a map, where the issue of merging keys arises.