Done something with frames but now type is fucked

Vanja-S · Apr 23, 2023 · 727e45f · 727e45f
1 parent 73ee629
commit 727e45f
Show file tree

Hide file tree

Showing 14 changed files with 3,830 additions and 116 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/TestsRunner/.DS_Store b/TestsRunner/.DS_Store
diff --git a/TestsRunner/tests/.DS_Store b/TestsRunner/tests/.DS_Store
diff --git a/TestsRunner/tests/5-typ.tst b/TestsRunner/tests/5-typ.tst
@@ -698,7 +698,7 @@ fun g (x: int, y: log) : log = f(x, y)
 !code:
 typ int : integer;
 typ log : logical;
-fun f (x: int, y: int) : int = {if x != y then f(x + 1, y)}
+fun f (x: int, y: int) : int = ({if x != y then f(x + 1, y)}, x)
 !expected:
 Defs [1:1-3:65]
   TypeDef [1:1-1:18]: int