Skip to content

Commit

Permalink
1_k/4_imp++: Update overloads/symbols and test output
Browse files Browse the repository at this point in the history
  • Loading branch information
@gtrepta
gtrepta committed Mar 12, 2024
1 parent 5accc19 commit aad4d66
Show file tree
Hide file tree
Showing 37 changed files with 88 additions and 88 deletions.
4 changes: 2 additions & 2 deletions 1_k/4_imp++/lesson_1/imp.k
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,8 +28,8 @@ module IMP-SYNTAX
> "spawn" Stmt
> Stmt Stmt [left]

syntax Ids ::= List{Id,","} [klabel(exps)]
syntax AExps ::= List{AExp,","} [klabel(exps)]
syntax Ids ::= List{Id,","} [overload(exps)]
syntax AExps ::= List{AExp,","} [overload(exps)]
syntax AExps ::= Ids
endmodule

Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_1/tests/collatz.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
.
.K
</k>
<state>
m |-> 2
Expand Down
6 changes: 3 additions & 3 deletions 1_k/4_imp++/lesson_1/tests/div.imp.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
#Equals
<T>
<k>
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( 1 ~> . ) ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp1_ ( ++ x ~> . ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> . ) ~> .
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( 1 ~> .K ) ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp1_ ( ++ x ~> .K ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> .K ) ~> .K
</k>
<state>
x |-> 1
Expand All @@ -17,7 +17,7 @@
#Equals
<T>
<k>
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( ++ x / x ~> . ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> . ) ~> .
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( ++ x / x ~> .K ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> .K ) ~> .K
</k>
<state>
x |-> 1
Expand All @@ -31,7 +31,7 @@
#Equals
<T>
<k>
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( x ~> . ) ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp1_ ( ++ x ~> . ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> . ) ~> .
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( x ~> .K ) ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp1_ ( ++ x ~> .K ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> .K ) ~> .K
</k>
<state>
x |-> 1
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_1/tests/io.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "Input two numbers: " , .Ids ) ; ~> int x , y , .Ids ; ~> x = read ( ) ; ~> y = read ( ) ; ~> print ( "Their sum is: " , x + y , "\n" , .Ids ) ; ~> .
print ( "Input two numbers: " , .Ids ) ; ~> int x , y , .Ids ; ~> x = read ( ) ; ~> y = read ( ) ; ~> print ( "Their sum is: " , x + y , "\n" , .Ids ) ; ~> .K
</k>
<state>
.Map
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_1/tests/locals.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "Line 3: x = " , x , "\n" , .Ids ) ; ~> { int x , .Ids ; x = 2 ; print ( "Line 7: x = " , x , "\n" , .Ids ) ; { int x , .Ids ; x = 3 ; print ( "Line 11: x = " , x , "\n" , .Ids ) ; } print ( "Line 13: x = " , x , "\n" , .Ids ) ; } ~> print ( "Line 15: x = " , x , "\n" , .Ids ) ; ~> .
print ( "Line 3: x = " , x , "\n" , .Ids ) ; ~> { int x , .Ids ; x = 2 ; print ( "Line 7: x = " , x , "\n" , .Ids ) ; { int x , .Ids ; x = 3 ; print ( "Line 11: x = " , x , "\n" , .Ids ) ; } print ( "Line 13: x = " , x , "\n" , .Ids ) ; } ~> print ( "Line 15: x = " , x , "\n" , .Ids ) ; ~> .K
</k>
<state>
x |-> 1
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_1/tests/primes.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
.
.K
</k>
<state>
i |-> 2
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_1/tests/spawn.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "x = " , .Ids ) ; ~> x = read ( ) ; ~> spawn x = x / 2 ; ~> spawn x = x + 10 ; ~> print ( x , "\n" , .Ids ) ; ~> .
print ( "x = " , .Ids ) ; ~> x = read ( ) ; ~> spawn x = x / 2 ; ~> spawn x = x + 10 ; ~> print ( x , "\n" , .Ids ) ; ~> .K
</k>
<state>
x |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_1/tests/sum-io.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; ~> n = read ( ) ; ~> if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } ~> while ( true ) { print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; n = read ( ) ; if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } } ~> .
print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; ~> n = read ( ) ; ~> if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } ~> while ( true ) { print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; n = read ( ) ; if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } } ~> .K
</k>
<state>
n |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_1/tests/sum.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
.
.K
</k>
<state>
n |-> 0
Expand Down
4 changes: 2 additions & 2 deletions 1_k/4_imp++/lesson_2/imp.k
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,8 +27,8 @@ module IMP-SYNTAX
> "spawn" Stmt
> Stmt Stmt [left]

syntax Ids ::= List{Id,","} [klabel(exps)]
syntax AExps ::= List{AExp,","} [klabel(exps)]
syntax Ids ::= List{Id,","} [overload(exps)]
syntax AExps ::= List{AExp,","} [overload(exps)]
syntax AExps ::= Ids
endmodule

Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_2/tests/collatz.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
.
.K
</k>
<env>
m |-> 0
Expand Down
6 changes: 3 additions & 3 deletions 1_k/4_imp++/lesson_2/tests/div.imp.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
#Equals
<T>
<k>
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( 1 ~> . ) ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp1_ ( ++ x ~> . ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> . ) ~> .
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( 1 ~> .K ) ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp1_ ( ++ x ~> .K ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> .K ) ~> .K
</k>
<env>
x |-> 0
Expand All @@ -21,7 +21,7 @@
#Equals
<T>
<k>
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( ++ x / x ~> . ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> . ) ~> .
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( ++ x / x ~> .K ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> .K ) ~> .K
</k>
<env>
x |-> 0
Expand All @@ -39,7 +39,7 @@
#Equals
<T>
<k>
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( x ~> . ) ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp1_ ( ++ x ~> . ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> . ) ~> .
++ x ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp0_ ( x ~> .K ) ~> #freezer_/__IMP-SYNTAX_AExp_AExp_AExp1_ ( ++ x ~> .K ) ~> #freezer_=_;_IMP-SYNTAX_Stmt_Id_AExp1_ ( y ~> .K ) ~> .K
</k>
<env>
x |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_2/tests/io.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "Input two numbers: " , .Ids ) ; ~> int x , y , .Ids ; ~> x = read ( ) ; ~> y = read ( ) ; ~> print ( "Their sum is: " , x + y , "\n" , .Ids ) ; ~> .
print ( "Input two numbers: " , .Ids ) ; ~> int x , y , .Ids ; ~> x = read ( ) ; ~> y = read ( ) ; ~> print ( "Their sum is: " , x + y , "\n" , .Ids ) ; ~> .K
</k>
<env>
.Map
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_2/tests/locals.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "Line 3: x = " , x , "\n" , .Ids ) ; ~> { int x , .Ids ; x = 2 ; print ( "Line 7: x = " , x , "\n" , .Ids ) ; { int x , .Ids ; x = 3 ; print ( "Line 11: x = " , x , "\n" , .Ids ) ; } print ( "Line 13: x = " , x , "\n" , .Ids ) ; } ~> print ( "Line 15: x = " , x , "\n" , .Ids ) ; ~> .
print ( "Line 3: x = " , x , "\n" , .Ids ) ; ~> { int x , .Ids ; x = 2 ; print ( "Line 7: x = " , x , "\n" , .Ids ) ; { int x , .Ids ; x = 3 ; print ( "Line 11: x = " , x , "\n" , .Ids ) ; } print ( "Line 13: x = " , x , "\n" , .Ids ) ; } ~> print ( "Line 15: x = " , x , "\n" , .Ids ) ; ~> .K
</k>
<env>
x |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_2/tests/primes.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
.
.K
</k>
<env>
i |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_2/tests/spawn.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "x = " , .Ids ) ; ~> x = read ( ) ; ~> spawn x = x / 2 ; ~> spawn x = x + 10 ; ~> print ( x , "\n" , .Ids ) ; ~> .
print ( "x = " , .Ids ) ; ~> x = read ( ) ; ~> spawn x = x / 2 ; ~> spawn x = x + 10 ; ~> print ( x , "\n" , .Ids ) ; ~> .K
</k>
<env>
x |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_2/tests/sum-io.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; ~> n = read ( ) ; ~> if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } ~> while ( true ) { print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; n = read ( ) ; if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } } ~> .
print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; ~> n = read ( ) ; ~> if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } ~> while ( true ) { print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; n = read ( ) ; if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } } ~> .K
</k>
<env>
n |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_2/tests/sum.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
.
.K
</k>
<env>
n |-> 0
Expand Down
4 changes: 2 additions & 2 deletions 1_k/4_imp++/lesson_3/imp.k
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,8 +27,8 @@ module IMP-SYNTAX
> "spawn" Stmt
> Stmt Stmt [left]

syntax Ids ::= List{Id,","} [klabel(exps)]
syntax AExps ::= List{AExp,","} [klabel(exps)]
syntax Ids ::= List{Id,","} [overload(exps)]
syntax AExps ::= List{AExp,","} [overload(exps)]
syntax AExps ::= Ids
endmodule

Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_3/tests/collatz.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
.
.K
</k>
<env>
m |-> 0
Expand Down
6 changes: 3 additions & 3 deletions 1_k/4_imp++/lesson_3/tests/div.imp.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
#Equals
<T>
<k>
.
.K
</k>
<env>
x |-> 0
Expand All @@ -21,7 +21,7 @@
#Equals
<T>
<k>
.
.K
</k>
<env>
x |-> 0
Expand All @@ -39,7 +39,7 @@
#Equals
<T>
<k>
.
.K
</k>
<env>
x |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_3/tests/io.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "Input two numbers: " , .Ids ) ; ~> int x , y , .Ids ; ~> x = read ( ) ; ~> y = read ( ) ; ~> print ( "Their sum is: " , x + y , "\n" , .Ids ) ; ~> .
print ( "Input two numbers: " , .Ids ) ; ~> int x , y , .Ids ; ~> x = read ( ) ; ~> y = read ( ) ; ~> print ( "Their sum is: " , x + y , "\n" , .Ids ) ; ~> .K
</k>
<env>
.Map
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_3/tests/locals.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "Line 3: x = " , x , "\n" , .Ids ) ; ~> { int x , .Ids ; x = 2 ; print ( "Line 7: x = " , x , "\n" , .Ids ) ; { int x , .Ids ; x = 3 ; print ( "Line 11: x = " , x , "\n" , .Ids ) ; } print ( "Line 13: x = " , x , "\n" , .Ids ) ; } ~> print ( "Line 15: x = " , x , "\n" , .Ids ) ; ~> .
print ( "Line 3: x = " , x , "\n" , .Ids ) ; ~> { int x , .Ids ; x = 2 ; print ( "Line 7: x = " , x , "\n" , .Ids ) ; { int x , .Ids ; x = 3 ; print ( "Line 11: x = " , x , "\n" , .Ids ) ; } print ( "Line 13: x = " , x , "\n" , .Ids ) ; } ~> print ( "Line 15: x = " , x , "\n" , .Ids ) ; ~> .K
</k>
<env>
x |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_3/tests/primes.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
.
.K
</k>
<env>
i |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_3/tests/spawn.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "x = " , .Ids ) ; ~> x = read ( ) ; ~> spawn x = x / 2 ; ~> spawn x = x + 10 ; ~> print ( x , "\n" , .Ids ) ; ~> .
print ( "x = " , .Ids ) ; ~> x = read ( ) ; ~> spawn x = x / 2 ; ~> spawn x = x + 10 ; ~> print ( x , "\n" , .Ids ) ; ~> .K
</k>
<env>
x |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_3/tests/sum-io.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; ~> n = read ( ) ; ~> if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } ~> while ( true ) { print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; n = read ( ) ; if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } } ~> .
print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; ~> n = read ( ) ; ~> if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } ~> while ( true ) { print ( "Add numbers up to (<= 0 to quit)? " , .Ids ) ; n = read ( ) ; if ( n <= 0 ) { halt ; } else { s = 0 ; while ( ! n <= 0 ) { s = s + n ; n = n + - 1 ; } print ( "Sum = " , s , "\n" , .Ids ) ; } } ~> .K
</k>
<env>
n |-> 0
Expand Down
2 changes: 1 addition & 1 deletion 1_k/4_imp++/lesson_3/tests/sum.imp.out
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
<T>
<k>
.
.K
</k>
<env>
n |-> 0
Expand Down
4 changes: 2 additions & 2 deletions 1_k/4_imp++/lesson_4/imp.k
View file
Original file line number Diff line number Diff line change
Expand Up @@ -27,8 +27,8 @@ module IMP-SYNTAX
> "spawn" Stmt
> Stmt Stmt [left]

syntax Ids ::= List{Id,","} [klabel(exps)]
syntax AExps ::= List{AExp,","} [klabel(exps)]
syntax Ids ::= List{Id,","} [overload(exps)]
syntax AExps ::= List{AExp,","} [overload(exps)]
syntax AExps ::= Ids
endmodule

Expand Down
18 changes: 9 additions & 9 deletions 1_k/4_imp++/lesson_4/tests/div.imp.out
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
#Equals
<T>
<k>
.
.K
</k>
<env>
x |-> 0
Expand All @@ -14,14 +14,14 @@
1 |-> 1
</store>
<input>
ListItem ( #buffer ( "\n" ~> . ) )
ListItem ( #buffer ( "\n" ~> .K ) )
ListItem ( "off" )
ListItem ( #istream ( 0 ) )
</input>
<output>
ListItem ( #ostream ( 1 ) )
ListItem ( "off" )
ListItem ( #buffer ( "" ~> . ) )
ListItem ( #buffer ( "" ~> .K ) )
</output>
</T>
}
Expand All @@ -31,7 +31,7 @@
#Equals
<T>
<k>
.
.K
</k>
<env>
x |-> 0
Expand All @@ -42,14 +42,14 @@
1 |-> 2
</store>
<input>
ListItem ( #buffer ( "\n" ~> . ) )
ListItem ( #buffer ( "\n" ~> .K ) )
ListItem ( "off" )
ListItem ( #istream ( 0 ) )
</input>
<output>
ListItem ( #ostream ( 1 ) )
ListItem ( "off" )
ListItem ( #buffer ( "" ~> . ) )
ListItem ( #buffer ( "" ~> .K ) )
</output>
</T>
}
Expand All @@ -59,7 +59,7 @@
#Equals
<T>
<k>
.
.K
</k>
<env>
x |-> 0
Expand All @@ -70,14 +70,14 @@
1 |-> 3
</store>
<input>
ListItem ( #buffer ( "\n" ~> . ) )
ListItem ( #buffer ( "\n" ~> .K ) )
ListItem ( "off" )
ListItem ( #istream ( 0 ) )
</input>
<output>
ListItem ( #ostream ( 1 ) )
ListItem ( "off" )
ListItem ( #buffer ( "" ~> . ) )
ListItem ( #buffer ( "" ~> .K ) )
</output>
</T>
}
4 changes: 2 additions & 2 deletions 1_k/4_imp++/lesson_5/imp.k
View file
Original file line number Diff line number Diff line change
Expand Up @@ -26,8 +26,8 @@ module IMP-SYNTAX
> "spawn" Stmt
> Stmt Stmt [left]

syntax Ids ::= List{Id,","} [klabel(exps)]
syntax AExps ::= List{AExp,","} [klabel(exps)]
syntax Ids ::= List{Id,","} [overload(exps)]
syntax AExps ::= List{AExp,","} [overload(exps)]
syntax AExps ::= Ids
endmodule

Expand Down
Loading

0 comments on commit aad4d66

Please sign in to comment.