Add one more test for Issue #139

shingarov · Feb 21, 2024 · 7e36d26 · 7e36d26
1 parent 7b5de95
commit 7e36d26
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/src/SpriteLang-Tests/BoolGaloisConnectionTest.class.st b/src/SpriteLang-Tests/BoolGaloisConnectionTest.class.st
@@ -114,6 +114,18 @@ let i2i = (i) => {
 '
 ]
 
+{ #category : #tests }
+BoolGaloisConnectionTest >> testAlphaClash2 [
+	self proveSafe: '
+⟦val f1 : x:int => y:int => int[z | z === (x + y + 3) ] ⟧
+let f1 = (x,y) => {
+	let x = x + 1;
+	let y = y + x;	
+	y + 2
+};
+'
+]
+
 { #category : #tests }
 BoolGaloisConnectionTest >> testB2I [
 	self proveSafe: '