-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Hi, another (maybe silly) question: How exactly to I extend the PPL (if possible) to my own number types? Is it sufficient to implement the checked_number policies? How do I add my type to the PPL afterwards? Best regards, Stefan - -- Stefan Schupp M.Sc. RWTH Aachen University Computer Science Department, Informatik 2 D-52056 Aachen, Germany http://www-i2.informatik.rwth-aachen.de/i2/schupp/ Tel.: +49 241 80 21243 -----BEGIN PGP SIGNATURE----- Version: GnuPG/MacGPG2 v2.0.22 (Darwin) Comment: GPGTools - https://gpgtools.org Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iQEcBAEBCgAGBQJT0RDDAAoJEFPSi5GyofDjH4sH/1gwYU2SQqVcV71bfcPYbFgl Y0HVGEqOB4rRu6UqYq2g9K/fVx/JFEyw+fo2qbJUKCdexvz8DyHje9NNtABdRZev 7a6EnUQtHbN97VPQPnTtujuslb925FVnzbt1rZoWTYJAPHlJfy71yC7wbNrg6I4V O3TFLz3T6ETH3Oi2NPx2efcZhRC1VXkc85FIFpKQ3gzjGeHiwymiddQICuX/Ufg0 hrHK/20/K1iqXJ4HuzWBTy43ZebtYWRSjOAAt7o78KOUBIz/StNHSXh0UFRkbu7y zX7ZF9wPbePd91DR6JrJR5SZbqYOx3+90IfZw0quB/5CtWe3OfuYng/mvHcWfuI= =lfHt -----END PGP SIGNATURE-----