Add testcase for issue #406 to sentinel tests

AmpersandTarski · Jun 25, 2016 · 29adc89 · 29adc89
1 parent 22a781a
commit 29adc89
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/testing/Sentinel/Tests/ShouldSucceed/Issue406.adl b/testing/Sentinel/Tests/ShouldSucceed/Issue406.adl
@@ -0,0 +1,6 @@
+CONTEXT Issue406a IN ENGLISH
+   INTERFACE Foo : I[A]
+   s :: A*B
+ENDCONTEXT
+
+