Time.+

Henry Cejtin henry@sourcelight.com
Thu, 12 Jul 2001 00:26:38 -0500


I don't know about Time.fromString.  After all, it returns a Time.time option,
so NONE seems ok to me (as opposed to an exception).