« Previous | Next » 

Revision 9eec6d67

ID9eec6d67f2e2b24cc3da6515cbfa730dce567b85
Parent bdfd7802
Child f96c51a0

Added by Michael Hanselmann over 12 years ago

ht: Allow adding comment to type descriptions

This will be used to add some more details to type descriptions, e.g. on
opcode parameters or result values. The implementation is very similar
to “WithDesc”.

I chose to use “[…]” after finding “/*…*/” hard to read and spot. At
some we'll have to introduce proper formatting (e.g. using HTML).

Example with a comment:
List of ((Length 2) and (Item 0 is (NonEmptyString [name of changed
parameter]), item 1 is Anything))

Signed-off-by: Michael Hanselmann <>
Reviewed-by: René Nussbaumer <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences