From 08ede0e5beab5990b0ae42d105b98a3c3e2a8c56 Mon Sep 17 00:00:00 2001
From: Sam Tobin-Hochstadt <samth@racket-lang.org>
Date: Mon, 22 Aug 2011 09:46:12 -0400
Subject: [PATCH] Typed version of `racket/date'.

Contracts make it hard to have this library automatically typed.

original commit: e39abf17da79f55966a8e356ee423c902c47614b
---
 collects/typed/racket/date.rkt | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 collects/typed/racket/date.rkt

diff --git a/collects/typed/racket/date.rkt b/collects/typed/racket/date.rkt
new file mode 100644
index 00000000..50370916
--- /dev/null
+++ b/collects/typed/racket/date.rkt
@@ -0,0 +1,15 @@
+#lang typed/racket/base
+(require "../private/utils.rkt")
+(require/typed/provide 
+ racket/date
+ [date->seconds (case-> (date -> Integer)
+                        (date Any -> Integer))]
+ [date->string (case-> (date -> String)
+                       (date Any -> String))]
+ [current-date (-> date)]
+ [date-display-format (Parameterof (U 'american 'chinese 'german 'indian 
+                                      'irish 'iso-8601 'rfc2822 'julian))]
+ [find-seconds (case-> (Integer Integer Integer Integer Integer Integer -> Integer)
+                       (Integer Integer Integer Integer Integer Integer Any -> Integer))]
+ [date->julian/scalinger (date -> Integer)]
+ [julian/scalinger->string (Integer -> String)])
\ No newline at end of file