@apple/tree-sitter-pkl 0.17.0 → 0.18.1

package/test/corpus/snippetTests/basic/is2.txt

@@ -0,0 +1,677 @@
+===
+basic/is2.pkl
+===
+
+amends "../snippetTest.pkl"
+
+facts {
+  ["List"] {
+    List(1, 2, 3) is List<Int>
+    !(List(1, 2, 3) is List<String>)
+    !(Set(1, 2, 3) is List<Int>)
+  }
+
+  ["Set"] {
+    Set(1, 2, 3) is Set<Int>
+    !(List(1, 2, 3) is Set<Int>)
+    !(Set(1, 2, 3) is Set<String>)
+  }
+
+  ["Map"] {
+    Map("Pigeon", 42, "Barn Owl", 21) is Map<String, Int>
+    !(Map("Pigeon", 42, "Barn Owl", 21) is Map<Int, String>)
+  }
+
+  ["Listing"] {
+    new Listing { 1; 2; 3 } is Listing<Int>
+    !(new Listing { 1; 2; 3 } is Listing<String>)
+  }
+
+  ["Mapping"] {
+    new Mapping { ["Pigeon"] = 42; ["Barn Owl"] = 21 } is Mapping<String, Int>
+    !(new Listing { 1; 2; 3 } is Mapping<Int, String>)
+    !(new Mapping { ["Pigeon"] = 42; ["Barn Owl"] = 21 } is Mapping<Int, String>)
+  }
+
+  ["union type"] {
+    42 is Int|String
+    42 is String|Int
+    42 is Number|String
+    !(42 is String|Duration)
+
+    List(1, 2, 3) is List<String>|List<Int>
+    List(1, 2, 3) is List<String|Int>
+    !(List(1, 2, 3) is List<String>|Set<Int>)
+  }
+
+  ["nullable type"] {
+    null is String?
+    null is Map<String, Int>?
+    !(null is Map<String, Int?>)
+  }
+
+  ["function type"] {
+    ((x) -> x) is (Int) -> Int
+    ((x) -> x) is (String) -> String
+    !(((x, y) -> x) is (Int) -> Int)
+  }
+
+  ["string literal type"] {
+    "Pigeon" is "Pigeon"|"Barn Owl"
+    !("Pigeon" is "Piggy"|"Barn Owl")
+  }
+
+  ["constraint"] {
+    "abc" is String(length == 3)
+    List("a", "b", "c") is List<String(length == 1)>
+    "abc" is String(this is String(this is String(length == 3)))
+    !("abc" is String(length == 4))
+  }
+}
+
+---
+
+(module
+  (moduleHeader
+      (extendsOrAmendsClause
+      (stringConstant
+        (slStringLiteralPart))))
+  (classProperty
+    (identifier)
+    (objectBody
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeTestExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (intLiteralExpr)
+                      (intLiteralExpr)
+                      (intLiteralExpr)))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (intLiteralExpr)
+                      (intLiteralExpr)
+                      (intLiteralExpr)))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeTestExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (intLiteralExpr)
+                      (intLiteralExpr)
+                      (intLiteralExpr)))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (intLiteralExpr)
+                      (intLiteralExpr)
+                      (intLiteralExpr)))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeTestExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (intLiteralExpr)))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr)
+                      (slStringLiteralExpr
+                        (slStringLiteralPart))
+                      (intLiteralExpr)))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeTestExpr
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectElement
+                    (intLiteralExpr))
+                  (objectElement
+                    (intLiteralExpr))
+                  (objectElement
+                    (intLiteralExpr))))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (newExpr
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (objectBody
+                      (objectElement
+                        (intLiteralExpr))
+                      (objectElement
+                        (intLiteralExpr))
+                      (objectElement
+                        (intLiteralExpr))))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeTestExpr
+              (newExpr
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (objectBody
+                  (objectEntry
+                    (slStringLiteralExpr
+                      (slStringLiteralPart))
+                    (intLiteralExpr))
+                  (objectEntry
+                    (slStringLiteralExpr
+                      (slStringLiteralPart))
+                    (intLiteralExpr))))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier)))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (newExpr
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (objectBody
+                      (objectElement
+                        (intLiteralExpr))
+                      (objectElement
+                        (intLiteralExpr))
+                      (objectElement
+                        (intLiteralExpr))))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (newExpr
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (objectBody
+                      (objectEntry
+                        (slStringLiteralExpr
+                          (slStringLiteralPart))
+                        (intLiteralExpr))
+                      (objectEntry
+                        (slStringLiteralExpr
+                          (slStringLiteralPart))
+                        (intLiteralExpr))))
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeTestExpr
+              (intLiteralExpr)
+              (unionType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (objectElement
+            (typeTestExpr
+              (intLiteralExpr)
+              (unionType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (objectElement
+            (typeTestExpr
+              (intLiteralExpr)
+              (unionType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (intLiteralExpr)
+                  (unionType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))))
+          (objectElement
+            (typeTestExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))
+              (unionType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))
+                  (typeArgumentList
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))))
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))
+                  (typeArgumentList
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))))
+          (objectElement
+            (typeTestExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (intLiteralExpr)
+                  (intLiteralExpr)
+                  (intLiteralExpr)))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (unionType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (unqualifiedAccessExpr
+                    (identifier)
+                    (argumentList
+                      (intLiteralExpr)
+                      (intLiteralExpr)
+                      (intLiteralExpr)))
+                  (unionType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))
+                      (typeArgumentList
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))
+                      (typeArgumentList
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeTestExpr
+              (nullLiteralExpr)
+              (nullableType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (objectElement
+            (typeTestExpr
+              (nullLiteralExpr)
+              (nullableType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))
+                  (typeArgumentList
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (nullLiteralExpr)
+                  (declaredType
+                    (qualifiedIdentifier
+                      (identifier))
+                    (typeArgumentList
+                      (declaredType
+                        (qualifiedIdentifier
+                          (identifier)))
+                      (nullableType
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier))))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeTestExpr
+              (parenthesizedExpr
+                (functionLiteralExpr
+                  (parameterList
+                    (typedIdentifier
+                      (identifier)))
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (functionLiteralType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (objectElement
+            (typeTestExpr
+              (parenthesizedExpr
+                (functionLiteralExpr
+                  (parameterList
+                    (typedIdentifier
+                      (identifier)))
+                  (unqualifiedAccessExpr
+                    (identifier))))
+              (functionLiteralType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (parenthesizedExpr
+                    (functionLiteralExpr
+                      (parameterList
+                        (typedIdentifier
+                          (identifier))
+                        (typedIdentifier
+                          (identifier)))
+                      (unqualifiedAccessExpr
+                        (identifier))))
+                  (functionLiteralType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeTestExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (unionType
+                (stringLiteralType
+                  (stringConstant
+                    (slStringLiteralPart)))
+                (stringLiteralType
+                  (stringConstant
+                    (slStringLiteralPart))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (unionType
+                    (stringLiteralType
+                      (stringConstant
+                        (slStringLiteralPart)))
+                    (stringLiteralType
+                      (stringConstant
+                        (slStringLiteralPart))))))))))
+      (objectEntry
+        (slStringLiteralExpr
+          (slStringLiteralPart))
+        (objectBody
+          (objectElement
+            (typeTestExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (constrainedType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (equalityExpr
+                  (unqualifiedAccessExpr
+                    (identifier))
+                  (intLiteralExpr)))))
+          (objectElement
+            (typeTestExpr
+              (unqualifiedAccessExpr
+                (identifier)
+                (argumentList
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))))
+              (declaredType
+                (qualifiedIdentifier
+                  (identifier))
+                (typeArgumentList
+                  (constrainedType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (equalityExpr
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (intLiteralExpr)))))))
+          (objectElement
+            (typeTestExpr
+              (slStringLiteralExpr
+                (slStringLiteralPart))
+              (constrainedType
+                (declaredType
+                  (qualifiedIdentifier
+                    (identifier)))
+                (typeTestExpr
+                  (thisExpr)
+                  (constrainedType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (typeTestExpr
+                      (thisExpr)
+                      (constrainedType
+                        (declaredType
+                          (qualifiedIdentifier
+                            (identifier)))
+                        (equalityExpr
+                          (unqualifiedAccessExpr
+                            (identifier))
+                          (intLiteralExpr)))))))))
+          (objectElement
+            (logicalNotExpr
+              (parenthesizedExpr
+                (typeTestExpr
+                  (slStringLiteralExpr
+                    (slStringLiteralPart))
+                  (constrainedType
+                    (declaredType
+                      (qualifiedIdentifier
+                        (identifier)))
+                    (equalityExpr
+                      (unqualifiedAccessExpr
+                        (identifier))
+                      (intLiteralExpr))))))))))))