On Mar 13, 2013, at 12:54 AM, "Richard A. O'Keefe" <o...@cs.otago.ac.nz> wrote:
> The interesting challenge here is that we should have > > Date + Period -> Date Date - Period -> Date > Period + Date -> Date Period - Date -> ILLEGAL > Period + Period -> Deriod Period - Period -> Period > Date + Date -> ILLEGAL Date - Date -> Date > > and _also_ (remember we are trying to beat C++ here) Int +/- Int -> Int. I think I would also want Period * Int -> Period Period * Period -> ILLEGAL Donn _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe