Added another bounded type, GuessANumber, for testing purposes.
A bit more progress on a macro helper for bounded numerics.
Moved the + method of PosInt out to a BoundedIntOps trait.
Added a comment about how to turn on deprecation warnings on the fly to project/scalatest.scala.
Renamed PosWidening to IntNarrowing.
Cleaned up some tests, using newly added apply method for positive types.
Added Int methods to PosInt and PozInt.
Dropped the == and != methods from PosInt and PozInt.
Commented out tests that don't currently compile. Not sure how this slipped through last time.
Adding non-working exmaple.
Got one working.
Just pass a function that returns Boolean to the checkBounds method, which means I can
change it to be more general.
Dropping BoundedIntOps and IntNarrowing. Going in a different direction.
Renamed "bounded" to "restricted", since the macro is more general now. Could do EvenInt or OddInt easily now, for example.
Refactor numerics to use macro helpers
Fix typos
Add numeric operations to Pos/Poz numbers
Merge two of the NumericMacroHelpers arg lists into one
Trying moving the widening conversions all into the PosInt companion. Seems to work.
Got rid of commented out implicits that were being prioritized apparently unecessarily.