Re: [isabelle] name of locale predicate

Hi Christian,

> I have a type class that is essentially the same as Haskell's Show
> class. Hence I wanted to name it show, but then I can not define a
> function named 'show' (for showing a string) inside the class. Currently
> I'm using to_string instead of show, but I thought it would be nice to
> have the same naming as in Haskell :)

this problem will disappear in the next Isabelle release: we introduced
mandatory prefixes for locale predicates stemming from classes ;-)




PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.