Diff

teal-src/util/jsonschema.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
parent 11449:dabd1fae0540
child 11460:a8b4e04bc044
line wrap: on
line diff
--- a/teal-src/util/jsonschema.tl	Thu Mar 18 13:07:10 2021 +0100
+++ b/teal-src/util/jsonschema.tl	Thu Mar 18 23:16:41 2021 +0100
@@ -40,8 +40,8 @@
 	exclusiveMinimum : number
 
 	-- strings
-	maxLength : number
-	minLength : number
+	maxLength : integer
+	minLength : integer
 	pattern : string
 	format : string
 
@@ -49,16 +49,16 @@
 	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