# HG changeset patch
# User Kim Alvefur <zash@zash.se>
# Date 1660754495 -7200
# Node ID 8cb6644ce46333aef7025d01ab7f951549199fe0
# Parent  5d8b0e0b9d483b828f31af633a7eb86903d0d7ee
util.datetime: Update Teal interface description

Integers were required before, now any number should work.

diff -r 5d8b0e0b9d48 -r 8cb6644ce463 teal-src/util/datetime.d.tl
--- a/teal-src/util/datetime.d.tl	Wed Aug 17 18:07:31 2022 +0200
+++ b/teal-src/util/datetime.d.tl	Wed Aug 17 18:41:35 2022 +0200
@@ -1,11 +1,9 @@
--- TODO s/number/integer/ once Teal gets support for that
-
 local record lib
-	date     : function (t : integer) : string
-	datetime : function (t : integer) : string
-	time     : function (t : integer) : string
-	legacy   : function (t : integer) : string
-	parse    : function (t : string) : integer
+	date     : function (t : number) : string
+	datetime : function (t : number) : string
+	time     : function (t : number) : string
+	legacy   : function (t : number) : string
+	parse    : function (t : string) : number
 end
 
 return lib