fix failure to add hypotheticals for instances of compound signatures

1 files changed, 10 insertions, 0 deletions

diff --git a/examples/tests/test_projection.makkai b/examples/tests/test_projection.makkai
new file mode 100644
index 0000000..2c4ce23
--- /dev/null
+++ b/examples/tests/test_projection.makkai
@@ -0,0 +1,10 @@
+let signature S = theory {
+    A :: Set,
+    Point :: <A>,
+    B :: (x : set-of(A)) -> Set
+}
+
+let signature T = theory {
+    SI :: S,
+    F :: (r: set-of((SI .B) (element-of(SI .Point)))) -> Set
+}