diff teal-src/util/error.d.tl @ 11459:86904555bffc

teal: Use new integer support in Teal 0.13.0
author Kim Alvefur <zash@zash.se>
date Thu, 18 Mar 2021 23:16:41 +0100
parents 113f3912c7cb
children 608443cc765c
line wrap: on
line diff
--- a/teal-src/util/error.d.tl	Thu Mar 18 13:07:10 2021 +0100
+++ b/teal-src/util/error.d.tl	Thu Mar 18 23:16:41 2021 +0100
@@ -35,14 +35,14 @@
 	type : error_type
 	condition : error_condition
 	text : string
-	code : number
+	code : integer
 end
 
 local record error
 	type : error_type
 	condition : error_condition
 	text : string
-	code : number
+	code : integer
 	context : { any : any }
 	source : string
 end