added failing test

usethesource · Jan 15, 2024 · 25a0c65 · 25a0c65
1 parent d0ec41b
commit 25a0c65
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/src/test/java/io/usethesource/vallang/basic/RelationSmokeTest.java b/src/test/java/io/usethesource/vallang/basic/RelationSmokeTest.java
@@ -182,6 +182,22 @@ public void testProductISet(IValueFactory vf) {
     }
   }
 
+  @ParameterizedTest @ArgumentsSource(ValueProvider.class)
+  public void testClosureFailureOnIrreflexiveRelation(IValueFactory vf) {
+    // rascal>{<"",{}>}+
+    // java.lang.AssertionError
+    // (internal error)
+    //         at $shell$(|main://$shell$|)
+    // java.lang.AssertionError
+    //         at io.usethesource.vallang.impl.persistent.PersistentHashIndexedBinaryRelation.<init>(PersistentHashIndexedBinaryRelation.java:74)
+    //         at io.usethesource.vallang.impl.persistent.PersistentSetFactory.from(PersistentSetFactory.java:67)
+    //         at io.usethesource.vallang.impl.persistent.PersistentHashIndexedBinaryRelation.closure(PersistentHashIndexedBinaryRelation.java:573)
+    ISet input = vf.set(vf.tuple(vf.string(""), vf.set()));
+
+    assertTrue(input.asRelation().closure().equals(input));
+  }
+
+
   @ParameterizedTest @ArgumentsSource(ValueProvider.class)
   public void testClosure(IValueFactory vf) {
     try {