# HG changeset patch # User Kim Alvefur # 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