Changeset

12634:8cb6644ce463

util.datetime: Update Teal interface description Integers were required before, now any number should work.
author Kim Alvefur <zash@zash.se>
date Wed, 17 Aug 2022 18:41:35 +0200
parents 12633:5d8b0e0b9d48
children 12635:f928cb5c5d04
files teal-src/util/datetime.d.tl
diffstat 1 files changed, 5 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- 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