From d18097fb6700ede8bdb47388e51e0850d0d828f6 Mon Sep 17 00:00:00 2001
From: Kim Alvefur <zash@zash.se>
Date: Thu, 18 Mar 2021 23:16:41 +0100
Subject: teal: Use new integer support in Teal 0.13.0

---
 teal-src/util/jsonschema.tl | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

(limited to 'teal-src/util/jsonschema.tl')

diff --git a/teal-src/util/jsonschema.tl b/teal-src/util/jsonschema.tl
index 67e37329..3177c501 100644
--- a/teal-src/util/jsonschema.tl
+++ b/teal-src/util/jsonschema.tl
@@ -40,8 +40,8 @@ local record schema_t
 	exclusiveMinimum : number
 
 	-- strings
-	maxLength : number
-	minLength : number
+	maxLength : integer
+	minLength : integer
 	pattern : string
 	format : string
 
@@ -49,16 +49,16 @@ local record schema_t
 	prefixItems : { schema_t }
 	items : schema_t
 	contains : schema_t
-	maxItems : number
-	minItems : number
+	maxItems : integer
+	minItems : integer
 	uniqueItems : boolean
-	maxContains : number
-	minContains : number
+	maxContains : integer
+	minContains : integer
 
 	-- objects
 	properties : { string : schema_t | type_e }
-	maxProperties : number
-	minProperties : number
+	maxProperties : integer
+	minProperties : integer
 	required : { string }
 	dependentRequired : { string : { string } }
 	additionalProperties: schema_t
-- 
cgit v1.2.3