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 ;-)

	Florian

-- 

Home:
http://www.in.tum.de/~haftmann

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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