Skip to content

Commit 8b0459d

Browse files
denis-bogdanasdwightguth
denis-bogdanas
authored and
dwightguth
committed
tests: One more test for #fun, failing. Anything simpler passes. (runtimeverification#619)
* tests: One more test for `#fun`, failing. Anything simpler passes. * fix bug * fix llvm and haskell backends
1 parent 2d58889 commit 8b0459d

12 files changed

Lines changed: 86 additions & 23 deletions

File tree

‎k-distribution/tests/regression-new/fun-ocaml/fun-test.k‎

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,11 @@
11
module FUN-TEST
22
imports INT
33
imports STRING
4+
imports MAP
5+
6+
configuration
7+
<k> $PGM:KItem </k>
8+
<cell> .Map </cell>
49

510
syntax KItem ::= nestedFun( Int )
611
rule nestedFun(A) => #fun(B => #fun(C => 100 *Int A +Int 10 *Int B +Int C)(2 *Int B))(2 *Int A)
@@ -38,4 +43,18 @@ rule useNestedBarInt()
3843
=> #fun( F2 => getBarInt() )(0)
3944
)(0)
4045

46+
syntax KItem ::= nestedFun3Levels()
47+
rule nestedFun3Levels()
48+
=> #fun(V1
49+
=> #fun(V2
50+
=> #fun(V3
51+
=> requiresConfig()
52+
)(V1 *Int 0)
53+
)(0)
54+
)(0)
55+
56+
syntax Int ::= requiresConfig() [function]
57+
rule [[ requiresConfig() => 0 ]]
58+
<cell> M </cell>
59+
4160
endmodule

‎k-distribution/tests/regression-new/fun-ocaml/nestedFun.test.out‎

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1-
<k>
2-
124
3-
</k>
1+
<generatedTop>
2+
<k>
3+
124
4+
</k>
5+
<cell>
6+
.Map
7+
</cell>
8+
</generatedTop>

‎k-distribution/tests/regression-new/fun-ocaml/nestedFun3Levels.test‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
nestedFun3Levels()

‎k-distribution/tests/regression-new/fun-ocaml/nestedFun3Levels.test.out‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
<generatedTop>
2+
<k>
3+
0
4+
</k>
5+
<cell>
6+
.Map
7+
</cell>
8+
</generatedTop>

‎k-distribution/tests/regression-new/fun-ocaml/nestedFunString.test.out‎

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1-
<k>
2-
"124"
3-
</k>
1+
<generatedTop>
2+
<k>
3+
"124"
4+
</k>
5+
<cell>
6+
.Map
7+
</cell>
8+
</generatedTop>

‎k-distribution/tests/regression-new/fun-ocaml/useFooBarInt.test.out‎

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1-
<k>
2-
1
3-
</k>
1+
<generatedTop>
2+
<k>
3+
1
4+
</k>
5+
<cell>
6+
.Map
7+
</cell>
8+
</generatedTop>

‎k-distribution/tests/regression-new/fun-ocaml/useFooToBar.test.out‎

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1-
<k>
2-
#bar
3-
</k>
1+
<generatedTop>
2+
<k>
3+
#bar
4+
</k>
5+
<cell>
6+
.Map
7+
</cell>
8+
</generatedTop>

‎k-distribution/tests/regression-new/fun-ocaml/useNestedBarInt.test.out‎

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1-
<k>
2-
1
3-
</k>
1+
<generatedTop>
2+
<k>
3+
1
4+
</k>
5+
<cell>
6+
.Map
7+
</cell>
8+
</generatedTop>

‎k-distribution/tests/regression-new/fun-ocaml/useNestedFooBarInt.test.out‎

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1-
<k>
2-
1
3-
</k>
1+
<generatedTop>
2+
<k>
3+
1
4+
</k>
5+
<cell>
6+
.Map
7+
</cell>
8+
</generatedTop>

‎k-distribution/tests/regression-new/fun-ocaml/useNestedFooToBar.test.out‎

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,8 @@
1-
<k>
2-
#bar
3-
</k>
1+
<generatedTop>
2+
<k>
3+
#bar
4+
</k>
5+
<cell>
6+
.Map
7+
</cell>
8+
</generatedTop>

0 commit comments

Comments
 (0)