From a9fd799164dd1530432fde6d86d9c872f6dafb9c Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Mon, 29 Aug 2011 12:07:42 -0400
Subject: [PATCH] Improve types for some date operations; fix typo.

original commit: e67415171a4655f1fa1f399abebb8e7d47abcf31
---
 collects/typed-scheme/base-env/base-env.rkt    |  3 ++-
 .../typed-scheme/base-env/base-structs.rkt     | 18 +++++++++---------
 2 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt
index 5396bd39..5b1d9217 100644
--- a/collects/typed-scheme/base-env/base-env.rkt
+++ b/collects/typed-scheme/base-env/base-env.rkt
@@ -685,7 +685,8 @@
 
 
 
-[seconds->date (-Integer . -> . (make-Name #'date))]
+[seconds->date (cl->* (-Integer . -> . (make-Name #'date))
+                      (-Integer Univ . -> . (make-Name #'date)))]
 [current-seconds (-> -Integer)]
 
 ;Section 14.2
diff --git a/collects/typed-scheme/base-env/base-structs.rkt b/collects/typed-scheme/base-env/base-structs.rkt
index daf97798..9751c719 100644
--- a/collects/typed-scheme/base-env/base-structs.rkt
+++ b/collects/typed-scheme/base-env/base-structs.rkt
@@ -50,16 +50,16 @@
      [span : (*Un -Integer (-val #f))]))
 
   (define-hierarchy date (#:kernel-maker k:date)
-    ([second : -Number]
-     [minute : -Number]
-     [hour : -Number]
-     [day : -Number]
-     [month : -Number]
-     [year : -Number]
-     [weekday : -Number]
-     [year-day : -Number]
+    ([second : -Nat]
+     [minute : -Nat]
+     [hour : -Nat]
+     [day : -Nat]
+     [month : -Nat]
+     [year : -Nat]
+     [week-day : -Nat]
+     [year-day : -Nat]
      [dst? : -Boolean]
-     [time-zone-offset : -Number]))
+     [time-zone-offset : -Integer]))
 
   (define-hierarchy arity-at-least (#:kernel-maker k:arity-at-least)
     ([value : -Nat]))