Adds std.any and std.all to jsonnet-lint (#695)

Co-authored-by: Dave Cunningham <sparkprime@gmail.com>
google · May 25, 2023 · 44538a3 · 44538a3
1 parent 7edd5d3
commit 44538a3
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/linter/internal/types/graph.go b/linter/internal/types/graph.go
@@ -139,6 +139,13 @@ func newTypeGraph(importFunc ImportFunc) *typeGraph {
 		},
 	})
 
+	g.newPlaceholder()
+	g._placeholders[boolArrayType] = concreteTP(TypeDesc{
+		ArrayDesc: &arrayDesc{
+			furtherContain: []placeholderID{boolType},
+		},
+	})
+
 	g.newPlaceholder()
 	g._placeholders[anyObjectType] = concreteTP(TypeDesc{
 		ObjectDesc: anyObjectDesc,

diff --git a/linter/internal/types/placeholder.go b/linter/internal/types/placeholder.go
@@ -14,6 +14,7 @@ const (
 	nullType
 	anyArrayType
 	numberArrayType
+	boolArrayType
 	anyObjectType
 	anyFunctionType
 	stdlibType

diff --git a/linter/internal/types/stdlib.go b/linter/internal/types/stdlib.go
@@ -144,6 +144,9 @@ func prepareStdlib(g *typeGraph) {
 		"minArray":      g.newFuncType(anyArrayType, []ast.Parameter{required("arr"), optional("keyF")}),
 		"maxArray":      g.newFuncType(anyArrayType, []ast.Parameter{required("arr"), optional("keyF")}),
 		"contains":      g.newSimpleFuncType(boolType, "arr", "elem"),
+		// TODO these need test cases written by someone who understands how to make them
+		"all":           g.newSimpleFuncType(boolArrayType, "arr"),
+		"any":           g.newSimpleFuncType(boolArrayType, "arr"),
 		"remove":        g.newSimpleFuncType(anyArrayType, "arr", "elem"),
 		"removeAt":      g.newSimpleFuncType(anyArrayType, "arr", "i"),