[isabelle] char :: full_exhaustive



Dear Florian,

you changed the representation of characters a while back, but it seems
like the Quickcheck setup is lacking a "full_exhaustive" instance.

The stupidest possible workaround is

  quickcheck_generator char constructors: char_of_nat

... which I have just added locally to my theories.

Maybe we should think about a proper implementation.

Cheers
Lars




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