@shaclmate/compiler 4.0.10 → 4.0.11

package/dist/_ShapesGraphToAstTransformer/transformPropertyShapeToAstObjectTypeProperty.js

@@ -137,7 +137,10 @@ export function transformPropertyShapeToAstObjectTypeProperty({ objectType, prop
                     case "ObjectType":
                         return Either.of(astResolveType);
                     case "UnionType":
-                        if (!astResolveType.isObjectUnionType()) {
+                        if (
+                        // This check relies on .members being populated, which may not happen in cycles
+                        astResolveType.members.length > 0 &&
+                            !astResolveType.isObjectUnionType()) {
                             return Left(new Error(`${propertyShape} resolve cannot refer to a ${astResolveType.kind} with non-ObjectType members`));
                         }
                         return Either.of(astResolveType);

package/dist/ast/AbstractCompoundType.js

@@ -4,7 +4,6 @@ var __decorate = (this && this.__decorate) || function (decorators, target, key,
     else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
     return c > 3 && r && Object.defineProperty(target, key, r), r;
 };
-import { invariant } from "ts-invariant";
 import { Memoize } from "typescript-memoize";
 import { AbstractType } from "./AbstractType.js";
 /**
@@ -29,7 +28,6 @@ export class AbstractCompoundType extends AbstractType {
         this.#tsFeatures = tsFeatures;
     }
     get members() {
-        invariant(this.#members.length > 0);
         return this.#members;
     }
     get recursive() {

package/dist/ast/IntersectionType.js

@@ -5,9 +5,10 @@ import { AbstractCompoundType } from "./AbstractCompoundType.js";
 export class IntersectionType extends AbstractCompoundType {
     kind = "IntersectionType";
     isObjectIntersectionType() {
-        return this.members.every((member) => member.type.kind === "ObjectType" ||
-            (member.type.kind === "IntersectionType" &&
-                member.type.isObjectIntersectionType()));
+        return (this.members.length > 0 &&
+            this.members.every((member) => member.type.kind === "ObjectType" ||
+                (member.type.kind === "IntersectionType" &&
+                    member.type.isObjectIntersectionType())));
     }
 }
 (function (IntersectionType) {

package/dist/ast/UnionType.js

@@ -5,8 +5,9 @@ import { AbstractCompoundType } from "./AbstractCompoundType.js";
 export class UnionType extends AbstractCompoundType {
     kind = "UnionType";
     isObjectUnionType() {
-        return this.members.every((member) => member.type.kind === "ObjectType" ||
-            (member.type.kind === "UnionType" && member.type.isObjectUnionType()));
+        return (this.members.length > 0 &&
+            this.members.every((member) => member.type.kind === "ObjectType" ||
+                (member.type.kind === "UnionType" && member.type.isObjectUnionType())));
     }
 }
 (function (UnionType) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "dependencies": {
-    "@shaclmate/shacl-ast": "4.0.10",
+    "@shaclmate/shacl-ast": "4.0.11",
     "@rdfjs/data-model": "~2.1.1",
     "@rdfjs/dataset": "~2.0.2",
     "@rdfjs/prefix-map": "~0.1.2",
@@ -78,5 +78,5 @@
   },
   "type": "module",
   "types": "./dist/index.d.ts",
-  "version": "4.0.10"
+  "version": "4.0.11"
 }