From 7429c9d67cbb2461378ba3718d446211e8dced73 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 25 Jan 2024 20:57:27 +0000 Subject: [PATCH 01/68] deps/k_release: Set Version 6.1.97 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 8de48381..74574bc9 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.90 +6.1.97 From b09a60c239384003383c4bf43084bf9fb51bfeaa Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 26 Jan 2024 14:05:53 +0000 Subject: [PATCH 02/68] deps/k_release: Set Version 6.1.98 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 74574bc9..17cbe2c0 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.97 +6.1.98 From 25ff848fd290a98a60785a3f451088ca826a2101 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 29 Jan 2024 16:56:36 +0000 Subject: [PATCH 03/68] deps/k_release: Set Version 6.1.100 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 17cbe2c0..868c0e53 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.98 +6.1.100 From fcbeb47aeac72cbe9678cbe1ec79dc4802eb661d Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 30 Jan 2024 12:30:48 +0000 Subject: [PATCH 04/68] deps/k_release: Set Version 6.1.101 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 868c0e53..4a176e96 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.100 +6.1.101 From f3c34c6dad50c7c873a38a1707aef48d58908da2 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 30 Jan 2024 19:44:00 +0000 Subject: [PATCH 05/68] deps/k_release: Set Version 6.1.103 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 4a176e96..51f741ee 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.101 +6.1.103 From 43a74db358c4f340b789c00ce1968dcc19fb9233 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 30 Jan 2024 21:38:20 +0000 Subject: [PATCH 06/68] deps/k_release: Set Version 6.1.104 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 51f741ee..91021046 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.103 +6.1.104 From 11888c49db688ce647a371af010aa6da14acdee1 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 31 Jan 2024 17:57:17 +0000 Subject: [PATCH 07/68] deps/k_release: Set Version 6.1.105 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 91021046..d2168c5c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.104 +6.1.105 From 3339180265c5f0d35c717b6409fe1b1fba125ad7 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 31 Jan 2024 19:57:08 +0000 Subject: [PATCH 08/68] deps/k_release: Set Version 6.1.106 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d2168c5c..67d733c9 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.105 +6.1.106 From ff8d5fa56083168724b3bcea4d7d27d1dc33a61c Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 31 Jan 2024 21:49:13 +0000 Subject: [PATCH 09/68] deps/k_release: Set Version 6.2.0 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 67d733c9..6abaeb2f 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.1.106 +6.2.0 From b7bc16adc62645d7e2240937a644259eadbcf3ad Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 1 Feb 2024 00:03:11 +0000 Subject: [PATCH 10/68] deps/k_release: Set Version 6.2.1 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 6abaeb2f..024b066c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.0 +6.2.1 From c03e157548527de43f9a605e11081b8bea1cb107 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 1 Feb 2024 13:08:25 +0000 Subject: [PATCH 11/68] deps/k_release: Set Version 6.2.2 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 024b066c..ca063943 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.1 +6.2.2 From e6302d379d83f6b3fe4cab2296d196c93fc3b7d9 Mon Sep 17 00:00:00 2001 From: devops Date: Sun, 4 Feb 2024 23:24:23 +0000 Subject: [PATCH 12/68] deps/k_release: Set Version 6.2.3 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index ca063943..bee94338 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.2 +6.2.3 From de6338d3229684dd7ab0b360e00c64bae955c532 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 5 Feb 2024 01:28:15 +0000 Subject: [PATCH 13/68] deps/k_release: Set Version 6.2.4 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index bee94338..42cc526d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.3 +6.2.4 From 61c284a8f1da0920883c9323e44fecbeb86645da Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 5 Feb 2024 19:29:07 +0000 Subject: [PATCH 14/68] deps/k_release: Set Version 6.2.5 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 42cc526d..a6534bb3 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.4 +6.2.5 From 0d4332e96c860cdb3360253b5ed2aca6c5c46b53 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 5 Feb 2024 21:24:25 +0000 Subject: [PATCH 15/68] deps/k_release: Set Version 6.2.7 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a6534bb3..d938f420 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.5 +6.2.7 From d478516a07b9d9e1ea2a9e6da0abdb1fd59b03c9 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 5 Feb 2024 23:10:37 +0000 Subject: [PATCH 16/68] deps/k_release: Set Version 6.2.8 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d938f420..2036a714 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.7 +6.2.8 From 06208d7a90e7b74dff8390ec0f9ceedd520522cc Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 6 Feb 2024 00:53:47 +0000 Subject: [PATCH 17/68] deps/k_release: Set Version 6.2.9 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 2036a714..c84aaa07 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.8 +6.2.9 From 20ae411b0fad06044cd63c5d500d69edb9e4d506 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 6 Feb 2024 12:41:40 +0000 Subject: [PATCH 18/68] deps/k_release: Set Version 6.2.10 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c84aaa07..a4aec977 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.9 +6.2.10 From fea105146b8878138074115ac53607ba2ef95472 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 6 Feb 2024 15:40:21 +0000 Subject: [PATCH 19/68] deps/k_release: Set Version 6.2.11 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a4aec977..1a400c8e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.10 +6.2.11 From ea268de8c622d184a5b9804ff196ba8de3c433a2 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 6 Feb 2024 17:51:40 +0000 Subject: [PATCH 20/68] deps/k_release: Set Version 6.2.12 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 1a400c8e..7d294098 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.11 +6.2.12 From 33b6885476095a76b43d3ebb67926ebdbf2820ef Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 9 Feb 2024 18:55:39 +0000 Subject: [PATCH 21/68] deps/k_release: Set Version 6.2.14 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 7d294098..78f28235 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.12 +6.2.14 From b8844ba6b9defa7e081260c7b29a6ae20e9bffac Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 9 Feb 2024 20:48:36 +0000 Subject: [PATCH 22/68] deps/k_release: Set Version 6.2.15 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 78f28235..0ab281e2 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.14 +6.2.15 From a765cea019c0a9f572db816e37d920b00ad6c16e Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 9 Feb 2024 22:59:50 +0000 Subject: [PATCH 23/68] deps/k_release: Set Version 6.2.16 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 0ab281e2..404ca474 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.15 +6.2.16 From f5acf47ba0a9a5b41c1d40b876e2f0656b71773a Mon Sep 17 00:00:00 2001 From: devops Date: Sat, 10 Feb 2024 00:52:54 +0000 Subject: [PATCH 24/68] deps/k_release: Set Version 6.2.17 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 404ca474..aa88cfc5 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.16 +6.2.17 From e67971cfdd71c6018e9fa058049ab3fec582f93e Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 12 Feb 2024 18:44:26 +0000 Subject: [PATCH 25/68] deps/k_release: Set Version 6.2.18 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index aa88cfc5..d48b1365 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.17 +6.2.18 From abe86b3bec4cbca050d1db62d37ade105cc74a9b Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 13 Feb 2024 18:33:31 +0000 Subject: [PATCH 26/68] deps/k_release: Set Version 6.2.20 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d48b1365..1cabea80 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.18 +6.2.20 From 452ae962fb912c774d806a671056b0578b3317b7 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 13 Feb 2024 20:22:34 +0000 Subject: [PATCH 27/68] deps/k_release: Set Version 6.2.21 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 1cabea80..ff62232c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.20 +6.2.21 From 4827dbf0190e06959eeefd93ee70b1b300bfbb34 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 14 Feb 2024 21:55:48 +0000 Subject: [PATCH 28/68] deps/k_release: Set Version 6.2.22 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index ff62232c..f1bf2237 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.21 +6.2.22 From 9ab12875f6ac8343fe1f6daff82f0c05793b48e2 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 14 Feb 2024 23:52:12 +0000 Subject: [PATCH 29/68] deps/k_release: Set Version 6.2.23 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index f1bf2237..a6d94732 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.22 +6.2.23 From 95ba35982f17cc710f162dbdfd3de1b70fab5d56 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 15 Feb 2024 01:33:56 +0000 Subject: [PATCH 30/68] deps/k_release: Set Version 6.2.24 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a6d94732..a4da2da9 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.23 +6.2.24 From 88b5f4d2895f883b93633c02bf21050348b9d988 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 16 Feb 2024 05:44:09 +0000 Subject: [PATCH 31/68] deps/k_release: Set Version 6.2.27 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a4da2da9..f8d93b0c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.24 +6.2.27 From 33dcf212fa2b3a966c9c61adbf83295c3208d827 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 19 Feb 2024 12:25:00 +0000 Subject: [PATCH 32/68] deps/k_release: Set Version 6.2.30 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index f8d93b0c..fcd34009 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.27 +6.2.30 From a97a3d96aa890ae3e7c00ef1e936f68d3fcd9c72 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 19 Feb 2024 14:51:48 +0000 Subject: [PATCH 33/68] deps/k_release: Set Version 6.2.31 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index fcd34009..b27c489b 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.30 +6.2.31 From 551623438b12d0c49b3a6af44684ac2408c0c19a Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 19 Feb 2024 17:53:41 +0000 Subject: [PATCH 34/68] deps/k_release: Set Version 6.2.32 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index b27c489b..d1c34fe6 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.31 +6.2.32 From 8836db465b4a88b1dbad1c1e539e4c01f07b6588 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 19 Feb 2024 19:37:41 +0000 Subject: [PATCH 35/68] deps/k_release: Set Version 6.2.33 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d1c34fe6..98abb32d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.32 +6.2.33 From a84febbc897617c889cdaf54b0bf317437443d6d Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 19 Feb 2024 23:04:36 +0000 Subject: [PATCH 36/68] deps/k_release: Set Version 6.2.34 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 98abb32d..3cf70ee1 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.33 +6.2.34 From 758b91aa0691d05a8a28e4d5fda0ae7f17433c73 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 20 Feb 2024 00:50:28 +0000 Subject: [PATCH 37/68] deps/k_release: Set Version 6.2.35 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 3cf70ee1..13e37500 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.34 +6.2.35 From 429d9d33b98b0644698a1fbb07dde931bf6b31a6 Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 20 Feb 2024 20:40:01 +0000 Subject: [PATCH 38/68] deps/k_release: Set Version 6.2.37 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 13e37500..06a16edc 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.35 +6.2.37 From c31f391bfcbcb89caff146419e89bfc945e4384b Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 20 Feb 2024 22:31:14 +0000 Subject: [PATCH 39/68] deps/k_release: Set Version 6.2.38 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 06a16edc..b92d30fa 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.37 +6.2.38 From 25bff1381e068d9bf93e1f9e85c9a1a23c7047a7 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 21 Feb 2024 18:52:20 +0000 Subject: [PATCH 40/68] deps/k_release: Set Version 6.2.39 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index b92d30fa..d43e7b75 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.38 +6.2.39 From d9049d14089e16fd307bfa4a1737273e2acb4dd8 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 22 Feb 2024 12:08:20 +0000 Subject: [PATCH 41/68] deps/k_release: Set Version 6.2.40 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index d43e7b75..875323dd 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.39 +6.2.40 From b9b6e41b9853cb8e7ad4eb542704fb5bea275610 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 22 Feb 2024 14:06:56 +0000 Subject: [PATCH 42/68] deps/k_release: Set Version 6.3.0 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 875323dd..798e3899 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.2.40 +6.3.0 From 12f949305c8544f834c734080c82c477018ec776 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 22 Feb 2024 17:33:04 +0000 Subject: [PATCH 43/68] deps/k_release: Set Version 6.3.1 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 798e3899..dc0208ab 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.0 +6.3.1 From f14eb2d4302051e9424bd92e6afbca1750b4d96c Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 22 Feb 2024 19:25:18 +0000 Subject: [PATCH 44/68] deps/k_release: Set Version 6.3.2 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index dc0208ab..91e4a9f2 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.1 +6.3.2 From 6286e366bcbc049e2aac9752e1b91304ebceac66 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 22 Feb 2024 21:18:48 +0000 Subject: [PATCH 45/68] deps/k_release: Set Version 6.3.3 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 91e4a9f2..7849b73d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.2 +6.3.3 From df7d8050eacf0f152bc692f27138433e345c94f9 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 23 Feb 2024 13:04:21 +0000 Subject: [PATCH 46/68] deps/k_release: Set Version 6.3.4 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 7849b73d..8ac3c445 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.3 +6.3.4 From 7aac74004abede193f1525c003f2b9d4c8e5467d Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 23 Feb 2024 15:04:28 +0000 Subject: [PATCH 47/68] deps/k_release: Set Version 6.3.5 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 8ac3c445..b98d1d3f 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.4 +6.3.5 From addfe109edbc678461b708fd09044ec740f28553 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 23 Feb 2024 19:46:29 +0000 Subject: [PATCH 48/68] deps/k_release: Set Version 6.3.8 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index b98d1d3f..a7ee22c2 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.5 +6.3.8 From 2b352ea1bac1889653c09a7d975296a43d247100 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 26 Feb 2024 14:58:06 +0000 Subject: [PATCH 49/68] deps/k_release: Set Version 6.3.9 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a7ee22c2..291cd91e 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.8 +6.3.9 From 77d4adec9d66936e607dee35c5165fc22b4393cf Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 27 Feb 2024 12:04:46 +0000 Subject: [PATCH 50/68] deps/k_release: Set Version 6.3.12 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 291cd91e..9fe4f5be 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.9 +6.3.12 From 0606a98896c99cfb71d8eecd8323075b703cc1cc Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 27 Feb 2024 13:49:08 +0000 Subject: [PATCH 51/68] deps/k_release: Set Version 6.3.13 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 9fe4f5be..cca10bed 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.12 +6.3.13 From 8e5de60c6b6b5801e2bce59e3b0a917f19e236ce Mon Sep 17 00:00:00 2001 From: devops Date: Tue, 27 Feb 2024 15:38:36 +0000 Subject: [PATCH 52/68] deps/k_release: Set Version 6.3.14 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index cca10bed..e95eda96 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.13 +6.3.14 From d8dd67ceb3f61fd1df685d7fe2fc1ab5e36e938a Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Feb 2024 00:16:50 +0000 Subject: [PATCH 53/68] deps/k_release: Set Version 6.3.15 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index e95eda96..dafcea43 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.14 +6.3.15 From 97426dbc698a35907df48c19aeb71a69507ff411 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Feb 2024 13:49:02 +0000 Subject: [PATCH 54/68] deps/k_release: Set Version 6.3.17 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index dafcea43..03005e9a 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.15 +6.3.17 From 90ff6a6a04d350a8b79c6fa57d25f2400bb9d012 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Feb 2024 15:47:12 +0000 Subject: [PATCH 55/68] deps/k_release: Set Version 6.3.18 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 03005e9a..a3aaad93 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.17 +6.3.18 From d4131c41ea8477a566b8fd3a54fe17d7ad7c66c5 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Feb 2024 18:27:35 +0000 Subject: [PATCH 56/68] deps/k_release: Set Version 6.3.19 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index a3aaad93..709db3eb 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.18 +6.3.19 From 79dac9efe0cba2537ae5d95b95b5989ddcfc88bc Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 28 Feb 2024 20:09:10 +0000 Subject: [PATCH 57/68] deps/k_release: Set Version 6.3.20 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 709db3eb..90d7013d 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.19 +6.3.20 From 686dd3ad2a4a82b2862138947d0ec4bb2a4c2835 Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 29 Feb 2024 11:58:33 +0000 Subject: [PATCH 58/68] deps/k_release: Set Version 6.3.21 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 90d7013d..822f87b8 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.20 +6.3.21 From fc6dcf0b5ffe6a91176b5ebd3ed5d3be6627bad5 Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 1 Mar 2024 09:17:42 +0000 Subject: [PATCH 59/68] deps/k_release: Set Version 6.3.23 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 822f87b8..02b0a53c 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.21 +6.3.23 From 4ff3b3c6454a9765804be00af61045e4a7685bad Mon Sep 17 00:00:00 2001 From: devops Date: Fri, 1 Mar 2024 19:06:39 +0000 Subject: [PATCH 60/68] deps/k_release: Set Version 6.3.24 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 02b0a53c..6d721abf 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.23 +6.3.24 From 4d5ce686109e29f772b6236a848710ffd368a804 Mon Sep 17 00:00:00 2001 From: devops Date: Mon, 4 Mar 2024 13:45:12 +0000 Subject: [PATCH 61/68] deps/k_release: Set Version 6.3.25 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 6d721abf..c73b21b8 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.24 +6.3.25 From 56f35df6d4fb4b2c685b6c6f743eb3bb520ed8a9 Mon Sep 17 00:00:00 2001 From: devops Date: Wed, 6 Mar 2024 23:06:14 +0000 Subject: [PATCH 62/68] deps/k_release: Set Version 6.3.28 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index c73b21b8..3906e50a 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.25 +6.3.28 From a83564c006aa01af0f8b755f464f654fe80e956a Mon Sep 17 00:00:00 2001 From: devops Date: Thu, 7 Mar 2024 17:37:27 +0000 Subject: [PATCH 63/68] deps/k_release: Set Version 6.3.29 --- deps/k_release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deps/k_release b/deps/k_release index 3906e50a..c6acbd06 100644 --- a/deps/k_release +++ b/deps/k_release @@ -1 +1 @@ -6.3.28 +6.3.29 From f54f0e5382ba0e28ddaf551c91132714f209a176 Mon Sep 17 00:00:00 2001 From: Guy Repta <50716988+gtrepta@users.noreply.github.com> Date: Fri, 8 Mar 2024 12:22:28 -0600 Subject: [PATCH 64/68] Update some test outputs to use .K --- .../lesson_1/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_1/tests/free-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_1/tests/identity.lambda.out | 2 +- 1_k/1_lambda/lesson_1/tests/omega.lambda.out | 2 +- .../lesson_2.5/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_2.5/tests/free-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_2.5/tests/identity.lambda.out | 2 +- .../lesson_2/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_2/tests/free-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_2/tests/identity.lambda.out | 2 +- .../lesson_3/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_3/tests/free-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_3/tests/identity.lambda.out | 2 +- .../lesson_4/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_4/tests/free-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_4/tests/identity.lambda.out | 2 +- 1_k/1_lambda/lesson_5/tests/arithmetic.lambda.out | 2 +- .../lesson_5/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_5/tests/free-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_5/tests/identity.lambda.out | 2 +- 1_k/1_lambda/lesson_6/tests/arithmetic.lambda.out | 2 +- .../lesson_6/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_6/tests/free-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_6/tests/identity.lambda.out | 2 +- 1_k/1_lambda/lesson_6/tests/if.lambda.out | 2 +- 1_k/1_lambda/lesson_7/tests/arithmetic.lambda.out | 2 +- .../lesson_7/tests/closed-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_7/tests/factorial-let-fix.lambda.out | 2 +- 1_k/1_lambda/lesson_7/tests/factorial-let.lambda.out | 2 +- 1_k/1_lambda/lesson_7/tests/factorial-letrec.lambda.out | 2 +- .../lesson_7/tests/free-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_7/tests/identity.lambda.out | 2 +- 1_k/1_lambda/lesson_7/tests/if.lambda.out | 2 +- 1_k/1_lambda/lesson_7/tests/lets.lambda.out | 2 +- 1_k/1_lambda/lesson_8/tests/arithmetic.lambda.out | 2 +- .../lesson_8/tests/closed-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_8/tests/factorial-let-fix.lambda.out | 2 +- 1_k/1_lambda/lesson_8/tests/factorial-let.lambda.out | 2 +- 1_k/1_lambda/lesson_8/tests/factorial-letrec.lambda.out | 2 +- 1_k/1_lambda/lesson_8/tests/fibbo.lambda.out | 2 +- .../lesson_8/tests/free-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_8/tests/identity.lambda.out | 2 +- 1_k/1_lambda/lesson_8/tests/if.lambda.out | 2 +- 1_k/1_lambda/lesson_8/tests/lets.lambda.out | 2 +- 1_k/1_lambda/lesson_9/tests/arithmetic.lambda.out | 2 +- .../lesson_9/tests/closed-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_9/tests/factorial-let-fix.lambda.out | 2 +- 1_k/1_lambda/lesson_9/tests/factorial-let.lambda.out | 2 +- 1_k/1_lambda/lesson_9/tests/factorial-letrec.lambda.out | 2 +- 1_k/1_lambda/lesson_9/tests/fibbo-church.lambda.out | 2 +- 1_k/1_lambda/lesson_9/tests/fibbo.lambda.out | 2 +- .../lesson_9/tests/free-variable-capture.lambda.out | 2 +- 1_k/1_lambda/lesson_9/tests/identity.lambda.out | 2 +- 1_k/1_lambda/lesson_9/tests/if.lambda.out | 2 +- 1_k/1_lambda/lesson_9/tests/lets.lambda.out | 2 +- 1_k/2_imp/lesson_1/tests/collatz.imp.out | 2 +- 1_k/2_imp/lesson_1/tests/primes.imp.out | 2 +- 1_k/2_imp/lesson_1/tests/sum.imp.out | 2 +- 1_k/2_imp/lesson_2/tests/collatz.imp.out | 2 +- 1_k/2_imp/lesson_2/tests/primes.imp.out | 2 +- 1_k/2_imp/lesson_2/tests/sum.imp.out | 2 +- 1_k/2_imp/lesson_3/tests/collatz.imp.out | 2 +- 1_k/2_imp/lesson_3/tests/primes.imp.out | 2 +- 1_k/2_imp/lesson_3/tests/sum.imp.out | 2 +- 1_k/2_imp/lesson_4/tests/collatz.imp.out | 2 +- 1_k/2_imp/lesson_4/tests/primes.imp.out | 2 +- 1_k/2_imp/lesson_4/tests/sum.imp.out | 2 +- 1_k/2_imp/lesson_5/tests/collatz.imp.out | 2 +- 1_k/2_imp/lesson_5/tests/primes.imp.out | 2 +- 1_k/2_imp/lesson_5/tests/sum.imp.out | 2 +- 1_k/3_lambda++/lesson_1/tests/arithmetic.lambda.out | 2 +- 1_k/3_lambda++/lesson_1/tests/callcc-jump.lambda.out | 2 +- 1_k/3_lambda++/lesson_1/tests/callcc-not-jump.lambda.out | 2 +- 1_k/3_lambda++/lesson_1/tests/callcc-return.lambda.out | 2 +- 1_k/3_lambda++/lesson_1/tests/callcc-with-let.lambda.out | 2 +- .../lesson_1/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_1/tests/factorial-let-fix.lambda.out | 2 +- 1_k/3_lambda++/lesson_1/tests/factorial-let.lambda.out | 2 +- 1_k/3_lambda++/lesson_1/tests/factorial-letrec.lambda.out | 2 +- 1_k/3_lambda++/lesson_1/tests/fibbo.lambda.out | 2 +- .../lesson_1/tests/free-variable-capture.lambda.out | 2 +- 1_k/3_lambda++/lesson_1/tests/identity.lambda.out | 2 +- 1_k/3_lambda++/lesson_1/tests/if.lambda.out | 2 +- 1_k/3_lambda++/lesson_1/tests/lets.lambda.out | 2 +- .../lesson_2/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_2/tests/free-variable-capture.lambda.out | 8 ++++---- 1_k/3_lambda++/lesson_2/tests/identity.lambda.out | 2 +- .../lesson_3/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_3/tests/free-variable-capture.lambda.out | 8 ++++---- 1_k/3_lambda++/lesson_3/tests/identity.lambda.out | 2 +- 1_k/3_lambda++/lesson_4/tests/callcc-env1.lambda.out | 4 ++-- 1_k/3_lambda++/lesson_4/tests/callcc-env2.lambda.out | 4 ++-- 1_k/3_lambda++/lesson_4/tests/callcc-with-let.lambda.out | 4 ++-- .../lesson_4/tests/closed-variable-capture.lambda.out | 2 +- .../lesson_4/tests/free-variable-capture.lambda.out | 8 ++++---- 1_k/3_lambda++/lesson_4/tests/identity.lambda.out | 2 +- .../tests/deterministic/factorial-let-fix.lambda.out | 2 +- .../lesson_5/tests/deterministic/factorial-let.lambda.out | 2 +- .../tests/deterministic/factorial-letrec.lambda.out | 2 +- .../lesson_5/tests/deterministic/fibbo.lambda.out | 2 +- .../lesson_5/tests/nondeterministic/arithmetic.lambda.out | 2 +- .../tests/nondeterministic/callcc-env1.lambda.out | 2 +- .../tests/nondeterministic/callcc-env2.lambda.out | 2 +- .../tests/nondeterministic/callcc-with-let.lambda.out | 2 +- .../nondeterministic/closed-variable-capture.lambda.out | 2 +- .../nondeterministic/free-variable-capture.lambda.out | 8 ++++---- .../lesson_5/tests/nondeterministic/identity.lambda.out | 2 +- .../lesson_5/tests/nondeterministic/if.lambda.out | 2 +- .../lesson_5/tests/nondeterministic/lets.lambda.out | 2 +- .../tests/deterministic/factorial-let-fix.lambda.out | 2 +- .../lesson_6/tests/deterministic/factorial-let.lambda.out | 2 +- .../tests/deterministic/factorial-letrec.lambda.out | 2 +- .../lesson_6/tests/deterministic/fibbo.lambda.out | 2 +- .../lesson_6/tests/nondeterministic/arithmetic.lambda.out | 2 +- .../tests/nondeterministic/callcc-env1.lambda.out | 2 +- .../tests/nondeterministic/callcc-env2.lambda.out | 2 +- .../tests/nondeterministic/callcc-with-let.lambda.out | 2 +- .../nondeterministic/closed-variable-capture.lambda.out | 2 +- .../nondeterministic/free-variable-capture.lambda.out | 8 ++++---- .../lesson_6/tests/nondeterministic/identity.lambda.out | 2 +- .../lesson_6/tests/nondeterministic/if.lambda.out | 2 +- .../lesson_6/tests/nondeterministic/lets.lambda.out | 2 +- 1_k/5_types/lesson_1.9/tests/factorial-letrec.lambda.out | 2 +- 1_k/5_types/lesson_1.9/tests/ll.lambda.out | 2 +- 1_k/5_types/lesson_1/tests/collatz.imp.out | 2 +- 1_k/5_types/lesson_1/tests/div.imp.out | 2 +- 1_k/5_types/lesson_1/tests/io.imp.out | 2 +- 1_k/5_types/lesson_1/tests/locals.imp.out | 2 +- 1_k/5_types/lesson_1/tests/primes.imp.out | 2 +- 1_k/5_types/lesson_1/tests/spawn.imp.out | 2 +- 1_k/5_types/lesson_1/tests/sum-io.imp.out | 2 +- 1_k/5_types/lesson_1/tests/sum.imp.out | 2 +- 1_k/5_types/lesson_2/tests/factorial-letrec.lambda.out | 2 +- 1_k/5_types/lesson_2/tests/ll.lambda.out | 2 +- 1_k/5_types/lesson_3/tests/factorial-letrec.lambda.out | 2 +- 1_k/5_types/lesson_3/tests/ll.lambda.out | 2 +- 136 files changed, 154 insertions(+), 154 deletions(-) diff --git a/1_k/1_lambda/lesson_1/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_1/tests/closed-variable-capture.lambda.out index 989ddb0d..a621bf3d 100644 --- a/1_k/1_lambda/lesson_1/tests/closed-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_1/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - ( lambda z . ( z z ) ) lambda x . lambda y . ( x y ) ~> . + ( lambda z . ( z z ) ) lambda x . lambda y . ( x y ) ~> .K diff --git a/1_k/1_lambda/lesson_1/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_1/tests/free-variable-capture.lambda.out index 453eeb2a..e50d2392 100644 --- a/1_k/1_lambda/lesson_1/tests/free-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_1/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a ( ( lambda x . lambda y . x ) y z ) ~> . + a ( ( lambda x . lambda y . x ) y z ) ~> .K diff --git a/1_k/1_lambda/lesson_1/tests/identity.lambda.out b/1_k/1_lambda/lesson_1/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/1_lambda/lesson_1/tests/identity.lambda.out +++ b/1_k/1_lambda/lesson_1/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/1_lambda/lesson_1/tests/omega.lambda.out b/1_k/1_lambda/lesson_1/tests/omega.lambda.out index 9c9ebb87..35fae571 100644 --- a/1_k/1_lambda/lesson_1/tests/omega.lambda.out +++ b/1_k/1_lambda/lesson_1/tests/omega.lambda.out @@ -1,3 +1,3 @@ - ( lambda x . ( x x ) ) lambda x . ( x x ) ~> . + ( lambda x . ( x x ) ) lambda x . ( x x ) ~> .K diff --git a/1_k/1_lambda/lesson_2.5/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_2.5/tests/closed-variable-capture.lambda.out index 45c65694..36ec35a9 100644 --- a/1_k/1_lambda/lesson_2.5/tests/closed-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_2.5/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - lambda y . lambda y0 . ( y y0 ) ~> . + lambda y . lambda y0 . ( y y0 ) ~> .K diff --git a/1_k/1_lambda/lesson_2.5/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_2.5/tests/free-variable-capture.lambda.out index ea4c74bd..556ded24 100644 --- a/1_k/1_lambda/lesson_2.5/tests/free-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_2.5/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a y ~> . + a y ~> .K diff --git a/1_k/1_lambda/lesson_2.5/tests/identity.lambda.out b/1_k/1_lambda/lesson_2.5/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/1_lambda/lesson_2.5/tests/identity.lambda.out +++ b/1_k/1_lambda/lesson_2.5/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/1_lambda/lesson_2/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_2/tests/closed-variable-capture.lambda.out index c79d05f4..4134bc85 100644 --- a/1_k/1_lambda/lesson_2/tests/closed-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_2/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> . + lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K diff --git a/1_k/1_lambda/lesson_2/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_2/tests/free-variable-capture.lambda.out index 453eeb2a..e50d2392 100644 --- a/1_k/1_lambda/lesson_2/tests/free-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_2/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a ( ( lambda x . lambda y . x ) y z ) ~> . + a ( ( lambda x . lambda y . x ) y z ) ~> .K diff --git a/1_k/1_lambda/lesson_2/tests/identity.lambda.out b/1_k/1_lambda/lesson_2/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/1_lambda/lesson_2/tests/identity.lambda.out +++ b/1_k/1_lambda/lesson_2/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/1_lambda/lesson_3/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_3/tests/closed-variable-capture.lambda.out index c79d05f4..4134bc85 100644 --- a/1_k/1_lambda/lesson_3/tests/closed-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_3/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> . + lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K diff --git a/1_k/1_lambda/lesson_3/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_3/tests/free-variable-capture.lambda.out index ea4c74bd..556ded24 100644 --- a/1_k/1_lambda/lesson_3/tests/free-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_3/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a y ~> . + a y ~> .K diff --git a/1_k/1_lambda/lesson_3/tests/identity.lambda.out b/1_k/1_lambda/lesson_3/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/1_lambda/lesson_3/tests/identity.lambda.out +++ b/1_k/1_lambda/lesson_3/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/1_lambda/lesson_4/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_4/tests/closed-variable-capture.lambda.out index c79d05f4..4134bc85 100644 --- a/1_k/1_lambda/lesson_4/tests/closed-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_4/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> . + lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K diff --git a/1_k/1_lambda/lesson_4/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_4/tests/free-variable-capture.lambda.out index ea4c74bd..556ded24 100644 --- a/1_k/1_lambda/lesson_4/tests/free-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_4/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a y ~> . + a y ~> .K diff --git a/1_k/1_lambda/lesson_4/tests/identity.lambda.out b/1_k/1_lambda/lesson_4/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/1_lambda/lesson_4/tests/identity.lambda.out +++ b/1_k/1_lambda/lesson_4/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/1_lambda/lesson_5/tests/arithmetic.lambda.out b/1_k/1_lambda/lesson_5/tests/arithmetic.lambda.out index 12360172..97f10093 100644 --- a/1_k/1_lambda/lesson_5/tests/arithmetic.lambda.out +++ b/1_k/1_lambda/lesson_5/tests/arithmetic.lambda.out @@ -1,3 +1,3 @@ - true ~> . + true ~> .K diff --git a/1_k/1_lambda/lesson_5/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_5/tests/closed-variable-capture.lambda.out index c79d05f4..4134bc85 100644 --- a/1_k/1_lambda/lesson_5/tests/closed-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_5/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> . + lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K diff --git a/1_k/1_lambda/lesson_5/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_5/tests/free-variable-capture.lambda.out index ea4c74bd..556ded24 100644 --- a/1_k/1_lambda/lesson_5/tests/free-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_5/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a y ~> . + a y ~> .K diff --git a/1_k/1_lambda/lesson_5/tests/identity.lambda.out b/1_k/1_lambda/lesson_5/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/1_lambda/lesson_5/tests/identity.lambda.out +++ b/1_k/1_lambda/lesson_5/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/1_lambda/lesson_6/tests/arithmetic.lambda.out b/1_k/1_lambda/lesson_6/tests/arithmetic.lambda.out index 12360172..97f10093 100644 --- a/1_k/1_lambda/lesson_6/tests/arithmetic.lambda.out +++ b/1_k/1_lambda/lesson_6/tests/arithmetic.lambda.out @@ -1,3 +1,3 @@ - true ~> . + true ~> .K diff --git a/1_k/1_lambda/lesson_6/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_6/tests/closed-variable-capture.lambda.out index c79d05f4..4134bc85 100644 --- a/1_k/1_lambda/lesson_6/tests/closed-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_6/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> . + lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K diff --git a/1_k/1_lambda/lesson_6/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_6/tests/free-variable-capture.lambda.out index ea4c74bd..556ded24 100644 --- a/1_k/1_lambda/lesson_6/tests/free-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_6/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a y ~> . + a y ~> .K diff --git a/1_k/1_lambda/lesson_6/tests/identity.lambda.out b/1_k/1_lambda/lesson_6/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/1_lambda/lesson_6/tests/identity.lambda.out +++ b/1_k/1_lambda/lesson_6/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/1_lambda/lesson_6/tests/if.lambda.out b/1_k/1_lambda/lesson_6/tests/if.lambda.out index faedaaaf..1b239a34 100644 --- a/1_k/1_lambda/lesson_6/tests/if.lambda.out +++ b/1_k/1_lambda/lesson_6/tests/if.lambda.out @@ -1,3 +1,3 @@ - 10 ~> . + 10 ~> .K diff --git a/1_k/1_lambda/lesson_7/tests/arithmetic.lambda.out b/1_k/1_lambda/lesson_7/tests/arithmetic.lambda.out index 12360172..97f10093 100644 --- a/1_k/1_lambda/lesson_7/tests/arithmetic.lambda.out +++ b/1_k/1_lambda/lesson_7/tests/arithmetic.lambda.out @@ -1,3 +1,3 @@ - true ~> . + true ~> .K diff --git a/1_k/1_lambda/lesson_7/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_7/tests/closed-variable-capture.lambda.out index c79d05f4..4134bc85 100644 --- a/1_k/1_lambda/lesson_7/tests/closed-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_7/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> . + lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K diff --git a/1_k/1_lambda/lesson_7/tests/factorial-let-fix.lambda.out b/1_k/1_lambda/lesson_7/tests/factorial-let-fix.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/1_lambda/lesson_7/tests/factorial-let-fix.lambda.out +++ b/1_k/1_lambda/lesson_7/tests/factorial-let-fix.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/1_lambda/lesson_7/tests/factorial-let.lambda.out b/1_k/1_lambda/lesson_7/tests/factorial-let.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/1_lambda/lesson_7/tests/factorial-let.lambda.out +++ b/1_k/1_lambda/lesson_7/tests/factorial-let.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/1_lambda/lesson_7/tests/factorial-letrec.lambda.out b/1_k/1_lambda/lesson_7/tests/factorial-letrec.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/1_lambda/lesson_7/tests/factorial-letrec.lambda.out +++ b/1_k/1_lambda/lesson_7/tests/factorial-letrec.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/1_lambda/lesson_7/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_7/tests/free-variable-capture.lambda.out index ea4c74bd..556ded24 100644 --- a/1_k/1_lambda/lesson_7/tests/free-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_7/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a y ~> . + a y ~> .K diff --git a/1_k/1_lambda/lesson_7/tests/identity.lambda.out b/1_k/1_lambda/lesson_7/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/1_lambda/lesson_7/tests/identity.lambda.out +++ b/1_k/1_lambda/lesson_7/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/1_lambda/lesson_7/tests/if.lambda.out b/1_k/1_lambda/lesson_7/tests/if.lambda.out index faedaaaf..1b239a34 100644 --- a/1_k/1_lambda/lesson_7/tests/if.lambda.out +++ b/1_k/1_lambda/lesson_7/tests/if.lambda.out @@ -1,3 +1,3 @@ - 10 ~> . + 10 ~> .K diff --git a/1_k/1_lambda/lesson_7/tests/lets.lambda.out b/1_k/1_lambda/lesson_7/tests/lets.lambda.out index 12360172..97f10093 100644 --- a/1_k/1_lambda/lesson_7/tests/lets.lambda.out +++ b/1_k/1_lambda/lesson_7/tests/lets.lambda.out @@ -1,3 +1,3 @@ - true ~> . + true ~> .K diff --git a/1_k/1_lambda/lesson_8/tests/arithmetic.lambda.out b/1_k/1_lambda/lesson_8/tests/arithmetic.lambda.out index 12360172..97f10093 100644 --- a/1_k/1_lambda/lesson_8/tests/arithmetic.lambda.out +++ b/1_k/1_lambda/lesson_8/tests/arithmetic.lambda.out @@ -1,3 +1,3 @@ - true ~> . + true ~> .K diff --git a/1_k/1_lambda/lesson_8/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_8/tests/closed-variable-capture.lambda.out index c79d05f4..4134bc85 100644 --- a/1_k/1_lambda/lesson_8/tests/closed-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_8/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> . + lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K diff --git a/1_k/1_lambda/lesson_8/tests/factorial-let-fix.lambda.out b/1_k/1_lambda/lesson_8/tests/factorial-let-fix.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/1_lambda/lesson_8/tests/factorial-let-fix.lambda.out +++ b/1_k/1_lambda/lesson_8/tests/factorial-let-fix.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/1_lambda/lesson_8/tests/factorial-let.lambda.out b/1_k/1_lambda/lesson_8/tests/factorial-let.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/1_lambda/lesson_8/tests/factorial-let.lambda.out +++ b/1_k/1_lambda/lesson_8/tests/factorial-let.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/1_lambda/lesson_8/tests/factorial-letrec.lambda.out b/1_k/1_lambda/lesson_8/tests/factorial-letrec.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/1_lambda/lesson_8/tests/factorial-letrec.lambda.out +++ b/1_k/1_lambda/lesson_8/tests/factorial-letrec.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/1_lambda/lesson_8/tests/fibbo.lambda.out b/1_k/1_lambda/lesson_8/tests/fibbo.lambda.out index 7b3823ba..dac83548 100644 --- a/1_k/1_lambda/lesson_8/tests/fibbo.lambda.out +++ b/1_k/1_lambda/lesson_8/tests/fibbo.lambda.out @@ -1,3 +1,3 @@ - 13 ~> . + 13 ~> .K diff --git a/1_k/1_lambda/lesson_8/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_8/tests/free-variable-capture.lambda.out index ea4c74bd..556ded24 100644 --- a/1_k/1_lambda/lesson_8/tests/free-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_8/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a y ~> . + a y ~> .K diff --git a/1_k/1_lambda/lesson_8/tests/identity.lambda.out b/1_k/1_lambda/lesson_8/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/1_lambda/lesson_8/tests/identity.lambda.out +++ b/1_k/1_lambda/lesson_8/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/1_lambda/lesson_8/tests/if.lambda.out b/1_k/1_lambda/lesson_8/tests/if.lambda.out index faedaaaf..1b239a34 100644 --- a/1_k/1_lambda/lesson_8/tests/if.lambda.out +++ b/1_k/1_lambda/lesson_8/tests/if.lambda.out @@ -1,3 +1,3 @@ - 10 ~> . + 10 ~> .K diff --git a/1_k/1_lambda/lesson_8/tests/lets.lambda.out b/1_k/1_lambda/lesson_8/tests/lets.lambda.out index 12360172..97f10093 100644 --- a/1_k/1_lambda/lesson_8/tests/lets.lambda.out +++ b/1_k/1_lambda/lesson_8/tests/lets.lambda.out @@ -1,3 +1,3 @@ - true ~> . + true ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/arithmetic.lambda.out b/1_k/1_lambda/lesson_9/tests/arithmetic.lambda.out index 12360172..97f10093 100644 --- a/1_k/1_lambda/lesson_9/tests/arithmetic.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/arithmetic.lambda.out @@ -1,3 +1,3 @@ - true ~> . + true ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/closed-variable-capture.lambda.out b/1_k/1_lambda/lesson_9/tests/closed-variable-capture.lambda.out index c79d05f4..4134bc85 100644 --- a/1_k/1_lambda/lesson_9/tests/closed-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> . + lambda y . ( ( lambda x . lambda y . ( x y ) ) y ) ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/factorial-let-fix.lambda.out b/1_k/1_lambda/lesson_9/tests/factorial-let-fix.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/1_lambda/lesson_9/tests/factorial-let-fix.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/factorial-let-fix.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/factorial-let.lambda.out b/1_k/1_lambda/lesson_9/tests/factorial-let.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/1_lambda/lesson_9/tests/factorial-let.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/factorial-let.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/factorial-letrec.lambda.out b/1_k/1_lambda/lesson_9/tests/factorial-letrec.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/1_lambda/lesson_9/tests/factorial-letrec.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/factorial-letrec.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/fibbo-church.lambda.out b/1_k/1_lambda/lesson_9/tests/fibbo-church.lambda.out index 7b3823ba..dac83548 100644 --- a/1_k/1_lambda/lesson_9/tests/fibbo-church.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/fibbo-church.lambda.out @@ -1,3 +1,3 @@ - 13 ~> . + 13 ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/fibbo.lambda.out b/1_k/1_lambda/lesson_9/tests/fibbo.lambda.out index 7b3823ba..dac83548 100644 --- a/1_k/1_lambda/lesson_9/tests/fibbo.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/fibbo.lambda.out @@ -1,3 +1,3 @@ - 13 ~> . + 13 ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/free-variable-capture.lambda.out b/1_k/1_lambda/lesson_9/tests/free-variable-capture.lambda.out index ea4c74bd..556ded24 100644 --- a/1_k/1_lambda/lesson_9/tests/free-variable-capture.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a y ~> . + a y ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/identity.lambda.out b/1_k/1_lambda/lesson_9/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/1_lambda/lesson_9/tests/identity.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/if.lambda.out b/1_k/1_lambda/lesson_9/tests/if.lambda.out index faedaaaf..1b239a34 100644 --- a/1_k/1_lambda/lesson_9/tests/if.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/if.lambda.out @@ -1,3 +1,3 @@ - 10 ~> . + 10 ~> .K diff --git a/1_k/1_lambda/lesson_9/tests/lets.lambda.out b/1_k/1_lambda/lesson_9/tests/lets.lambda.out index 12360172..97f10093 100644 --- a/1_k/1_lambda/lesson_9/tests/lets.lambda.out +++ b/1_k/1_lambda/lesson_9/tests/lets.lambda.out @@ -1,3 +1,3 @@ - true ~> . + true ~> .K diff --git a/1_k/2_imp/lesson_1/tests/collatz.imp.out b/1_k/2_imp/lesson_1/tests/collatz.imp.out index 88e74d91..50b0ed54 100644 --- a/1_k/2_imp/lesson_1/tests/collatz.imp.out +++ b/1_k/2_imp/lesson_1/tests/collatz.imp.out @@ -1,3 +1,3 @@ - int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> . + int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> .K diff --git a/1_k/2_imp/lesson_1/tests/primes.imp.out b/1_k/2_imp/lesson_1/tests/primes.imp.out index 393dffbb..f9f5fc23 100644 --- a/1_k/2_imp/lesson_1/tests/primes.imp.out +++ b/1_k/2_imp/lesson_1/tests/primes.imp.out @@ -1,3 +1,3 @@ - int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> . + int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> .K diff --git a/1_k/2_imp/lesson_1/tests/sum.imp.out b/1_k/2_imp/lesson_1/tests/sum.imp.out index e4012cab..5d3e4c9a 100644 --- a/1_k/2_imp/lesson_1/tests/sum.imp.out +++ b/1_k/2_imp/lesson_1/tests/sum.imp.out @@ -1,3 +1,3 @@ - int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> . + int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> .K diff --git a/1_k/2_imp/lesson_2/tests/collatz.imp.out b/1_k/2_imp/lesson_2/tests/collatz.imp.out index 0b8674ca..e2accbf9 100644 --- a/1_k/2_imp/lesson_2/tests/collatz.imp.out +++ b/1_k/2_imp/lesson_2/tests/collatz.imp.out @@ -1,6 +1,6 @@ - int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> . + int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> .K .Map diff --git a/1_k/2_imp/lesson_2/tests/primes.imp.out b/1_k/2_imp/lesson_2/tests/primes.imp.out index b975be1a..54f1009e 100644 --- a/1_k/2_imp/lesson_2/tests/primes.imp.out +++ b/1_k/2_imp/lesson_2/tests/primes.imp.out @@ -1,6 +1,6 @@ - int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> . + int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> .K .Map diff --git a/1_k/2_imp/lesson_2/tests/sum.imp.out b/1_k/2_imp/lesson_2/tests/sum.imp.out index 80a08851..0eb6ad80 100644 --- a/1_k/2_imp/lesson_2/tests/sum.imp.out +++ b/1_k/2_imp/lesson_2/tests/sum.imp.out @@ -1,6 +1,6 @@ - int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> . + int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> .K .Map diff --git a/1_k/2_imp/lesson_3/tests/collatz.imp.out b/1_k/2_imp/lesson_3/tests/collatz.imp.out index 0b8674ca..e2accbf9 100644 --- a/1_k/2_imp/lesson_3/tests/collatz.imp.out +++ b/1_k/2_imp/lesson_3/tests/collatz.imp.out @@ -1,6 +1,6 @@ - int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> . + int m , n , q , r , s , .Ids ; m = 10 ; while ( ! m <= 2 ) { n = m ; m = m + - 1 ; while ( ! n <= 1 ) { s = s + 1 ; q = n / 2 ; r = q + q + 1 ; if ( r <= n ) { n = n + n + n + 1 ; } else { n = q ; } } } ~> .K .Map diff --git a/1_k/2_imp/lesson_3/tests/primes.imp.out b/1_k/2_imp/lesson_3/tests/primes.imp.out index b975be1a..54f1009e 100644 --- a/1_k/2_imp/lesson_3/tests/primes.imp.out +++ b/1_k/2_imp/lesson_3/tests/primes.imp.out @@ -1,6 +1,6 @@ - int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> . + int i , m , n , q , r , s , t , x , y , z , .Ids ; m = 10 ; n = 2 ; while ( n <= m ) { i = 2 ; q = n / i ; t = 1 ; while ( i <= q && 1 <= t ) { x = i ; y = q ; z = 0 ; while ( ! x <= 0 ) { q = x / 2 ; r = q + q + 1 ; if ( r <= x ) { z = z + y ; } else { } x = q ; y = y + y ; } if ( n <= z ) { t = 0 ; } else { i = i + 1 ; q = n / i ; } } if ( 1 <= t ) { s = s + 1 ; } else { } n = n + 1 ; } ~> .K .Map diff --git a/1_k/2_imp/lesson_3/tests/sum.imp.out b/1_k/2_imp/lesson_3/tests/sum.imp.out index 80a08851..0eb6ad80 100644 --- a/1_k/2_imp/lesson_3/tests/sum.imp.out +++ b/1_k/2_imp/lesson_3/tests/sum.imp.out @@ -1,6 +1,6 @@ - int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> . + int n , sum , .Ids ; n = 100 ; sum = 0 ; while ( ! n <= 0 ) { sum = sum + n ; n = n + - 1 ; } ~> .K .Map diff --git a/1_k/2_imp/lesson_4/tests/collatz.imp.out b/1_k/2_imp/lesson_4/tests/collatz.imp.out index 4e77a353..746da717 100644 --- a/1_k/2_imp/lesson_4/tests/collatz.imp.out +++ b/1_k/2_imp/lesson_4/tests/collatz.imp.out @@ -1,6 +1,6 @@ - . + .K m |-> 2 diff --git a/1_k/2_imp/lesson_4/tests/primes.imp.out b/1_k/2_imp/lesson_4/tests/primes.imp.out index dc1326e5..702afd61 100644 --- a/1_k/2_imp/lesson_4/tests/primes.imp.out +++ b/1_k/2_imp/lesson_4/tests/primes.imp.out @@ -1,6 +1,6 @@ - . + .K i |-> 2 diff --git a/1_k/2_imp/lesson_4/tests/sum.imp.out b/1_k/2_imp/lesson_4/tests/sum.imp.out index f72ab68a..d6373fd2 100644 --- a/1_k/2_imp/lesson_4/tests/sum.imp.out +++ b/1_k/2_imp/lesson_4/tests/sum.imp.out @@ -1,6 +1,6 @@ - . + .K n |-> 0 diff --git a/1_k/2_imp/lesson_5/tests/collatz.imp.out b/1_k/2_imp/lesson_5/tests/collatz.imp.out index 4e77a353..746da717 100644 --- a/1_k/2_imp/lesson_5/tests/collatz.imp.out +++ b/1_k/2_imp/lesson_5/tests/collatz.imp.out @@ -1,6 +1,6 @@ - . + .K m |-> 2 diff --git a/1_k/2_imp/lesson_5/tests/primes.imp.out b/1_k/2_imp/lesson_5/tests/primes.imp.out index dc1326e5..702afd61 100644 --- a/1_k/2_imp/lesson_5/tests/primes.imp.out +++ b/1_k/2_imp/lesson_5/tests/primes.imp.out @@ -1,6 +1,6 @@ - . + .K i |-> 2 diff --git a/1_k/2_imp/lesson_5/tests/sum.imp.out b/1_k/2_imp/lesson_5/tests/sum.imp.out index f72ab68a..d6373fd2 100644 --- a/1_k/2_imp/lesson_5/tests/sum.imp.out +++ b/1_k/2_imp/lesson_5/tests/sum.imp.out @@ -1,6 +1,6 @@ - . + .K n |-> 0 diff --git a/1_k/3_lambda++/lesson_1/tests/arithmetic.lambda.out b/1_k/3_lambda++/lesson_1/tests/arithmetic.lambda.out index 12360172..97f10093 100644 --- a/1_k/3_lambda++/lesson_1/tests/arithmetic.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/arithmetic.lambda.out @@ -1,3 +1,3 @@ - true ~> . + true ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/callcc-jump.lambda.out b/1_k/3_lambda++/lesson_1/tests/callcc-jump.lambda.out index eb2385c1..db4e6bd8 100644 --- a/1_k/3_lambda++/lesson_1/tests/callcc-jump.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/callcc-jump.lambda.out @@ -1,3 +1,3 @@ - 15 ~> . + 15 ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/callcc-not-jump.lambda.out b/1_k/3_lambda++/lesson_1/tests/callcc-not-jump.lambda.out index 3f513e00..c05155d6 100644 --- a/1_k/3_lambda++/lesson_1/tests/callcc-not-jump.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/callcc-not-jump.lambda.out @@ -1,3 +1,3 @@ - 17 ~> . + 17 ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/callcc-return.lambda.out b/1_k/3_lambda++/lesson_1/tests/callcc-return.lambda.out index 63d0524f..36e7b68b 100644 --- a/1_k/3_lambda++/lesson_1/tests/callcc-return.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/callcc-return.lambda.out @@ -1,3 +1,3 @@ - 1 ~> . + 1 ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/callcc-with-let.lambda.out b/1_k/3_lambda++/lesson_1/tests/callcc-with-let.lambda.out index 9051ba6f..d0e47e5d 100644 --- a/1_k/3_lambda++/lesson_1/tests/callcc-with-let.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/callcc-with-let.lambda.out @@ -1,3 +1,3 @@ - 32 ~> . + 32 ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/closed-variable-capture.lambda.out b/1_k/3_lambda++/lesson_1/tests/closed-variable-capture.lambda.out index 7cb2c2a2..b4b7c6bc 100644 --- a/1_k/3_lambda++/lesson_1/tests/closed-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/closed-variable-capture.lambda.out @@ -1,3 +1,3 @@ - lambda y . ( ( lambda x . lambda y0 . ( x y0 ) ) y ) ~> . + lambda y . ( ( lambda x . lambda y0 . ( x y0 ) ) y ) ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/factorial-let-fix.lambda.out b/1_k/3_lambda++/lesson_1/tests/factorial-let-fix.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/3_lambda++/lesson_1/tests/factorial-let-fix.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/factorial-let-fix.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/factorial-let.lambda.out b/1_k/3_lambda++/lesson_1/tests/factorial-let.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/3_lambda++/lesson_1/tests/factorial-let.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/factorial-let.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/factorial-letrec.lambda.out b/1_k/3_lambda++/lesson_1/tests/factorial-letrec.lambda.out index 31643d70..c36a0d86 100644 --- a/1_k/3_lambda++/lesson_1/tests/factorial-letrec.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/factorial-letrec.lambda.out @@ -1,3 +1,3 @@ - 3628800 ~> . + 3628800 ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/fibbo.lambda.out b/1_k/3_lambda++/lesson_1/tests/fibbo.lambda.out index 7b3823ba..dac83548 100644 --- a/1_k/3_lambda++/lesson_1/tests/fibbo.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/fibbo.lambda.out @@ -1,3 +1,3 @@ - 13 ~> . + 13 ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/free-variable-capture.lambda.out b/1_k/3_lambda++/lesson_1/tests/free-variable-capture.lambda.out index ea4c74bd..556ded24 100644 --- a/1_k/3_lambda++/lesson_1/tests/free-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/free-variable-capture.lambda.out @@ -1,3 +1,3 @@ - a y ~> . + a y ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/identity.lambda.out b/1_k/3_lambda++/lesson_1/tests/identity.lambda.out index 46c620ac..9476ee41 100644 --- a/1_k/3_lambda++/lesson_1/tests/identity.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/identity.lambda.out @@ -1,3 +1,3 @@ - lambda x . x ~> . + lambda x . x ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/if.lambda.out b/1_k/3_lambda++/lesson_1/tests/if.lambda.out index faedaaaf..1b239a34 100644 --- a/1_k/3_lambda++/lesson_1/tests/if.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/if.lambda.out @@ -1,3 +1,3 @@ - 10 ~> . + 10 ~> .K diff --git a/1_k/3_lambda++/lesson_1/tests/lets.lambda.out b/1_k/3_lambda++/lesson_1/tests/lets.lambda.out index 12360172..97f10093 100644 --- a/1_k/3_lambda++/lesson_1/tests/lets.lambda.out +++ b/1_k/3_lambda++/lesson_1/tests/lets.lambda.out @@ -1,3 +1,3 @@ - true ~> . + true ~> .K diff --git a/1_k/3_lambda++/lesson_2/tests/closed-variable-capture.lambda.out b/1_k/3_lambda++/lesson_2/tests/closed-variable-capture.lambda.out index b6bf03fa..370d2457 100644 --- a/1_k/3_lambda++/lesson_2/tests/closed-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_2/tests/closed-variable-capture.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( x |-> 1 , y , x y ) ~> . + closure ( x |-> 1 , y , x y ) ~> .K } diff --git a/1_k/3_lambda++/lesson_2/tests/free-variable-capture.lambda.out b/1_k/3_lambda++/lesson_2/tests/free-variable-capture.lambda.out index 1611b54b..90350803 100644 --- a/1_k/3_lambda++/lesson_2/tests/free-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_2/tests/free-variable-capture.lambda.out @@ -1,23 +1,23 @@ { V:K #Equals - a ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( ( lambda x . lambda y . x ) y z ~> . ) ~> . + a ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( ( lambda x . lambda y . x ) y z ~> .K ) ~> .K } #Or { V:K #Equals - y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( closure ( .Map , x , lambda y . x ) ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( closure ( .Map , x , lambda y . x ) ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } #Or { V:K #Equals - y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( lambda x . lambda y . x ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( lambda x . lambda y . x ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } #Or { V:K #Equals - z ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( ( lambda x . lambda y . x ) y ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + z ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( ( lambda x . lambda y . x ) y ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } diff --git a/1_k/3_lambda++/lesson_2/tests/identity.lambda.out b/1_k/3_lambda++/lesson_2/tests/identity.lambda.out index 4d5cd5b9..216e622c 100644 --- a/1_k/3_lambda++/lesson_2/tests/identity.lambda.out +++ b/1_k/3_lambda++/lesson_2/tests/identity.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( .Map , x , x ) ~> . + closure ( .Map , x , x ) ~> .K } diff --git a/1_k/3_lambda++/lesson_3/tests/closed-variable-capture.lambda.out b/1_k/3_lambda++/lesson_3/tests/closed-variable-capture.lambda.out index b6bf03fa..370d2457 100644 --- a/1_k/3_lambda++/lesson_3/tests/closed-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_3/tests/closed-variable-capture.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( x |-> 1 , y , x y ) ~> . + closure ( x |-> 1 , y , x y ) ~> .K } diff --git a/1_k/3_lambda++/lesson_3/tests/free-variable-capture.lambda.out b/1_k/3_lambda++/lesson_3/tests/free-variable-capture.lambda.out index 1611b54b..90350803 100644 --- a/1_k/3_lambda++/lesson_3/tests/free-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_3/tests/free-variable-capture.lambda.out @@ -1,23 +1,23 @@ { V:K #Equals - a ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( ( lambda x . lambda y . x ) y z ~> . ) ~> . + a ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( ( lambda x . lambda y . x ) y z ~> .K ) ~> .K } #Or { V:K #Equals - y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( closure ( .Map , x , lambda y . x ) ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( closure ( .Map , x , lambda y . x ) ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } #Or { V:K #Equals - y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( lambda x . lambda y . x ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( lambda x . lambda y . x ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } #Or { V:K #Equals - z ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( ( lambda x . lambda y . x ) y ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + z ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( ( lambda x . lambda y . x ) y ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } diff --git a/1_k/3_lambda++/lesson_3/tests/identity.lambda.out b/1_k/3_lambda++/lesson_3/tests/identity.lambda.out index 4d5cd5b9..216e622c 100644 --- a/1_k/3_lambda++/lesson_3/tests/identity.lambda.out +++ b/1_k/3_lambda++/lesson_3/tests/identity.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( .Map , x , x ) ~> . + closure ( .Map , x , x ) ~> .K } diff --git a/1_k/3_lambda++/lesson_4/tests/callcc-env1.lambda.out b/1_k/3_lambda++/lesson_4/tests/callcc-env1.lambda.out index 844768f8..4272b3ea 100644 --- a/1_k/3_lambda++/lesson_4/tests/callcc-env1.lambda.out +++ b/1_k/3_lambda++/lesson_4/tests/callcc-env1.lambda.out @@ -1,11 +1,11 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } #Or { V:K #Equals - 4 ~> . + 4 ~> .K } diff --git a/1_k/3_lambda++/lesson_4/tests/callcc-env2.lambda.out b/1_k/3_lambda++/lesson_4/tests/callcc-env2.lambda.out index 844768f8..4272b3ea 100644 --- a/1_k/3_lambda++/lesson_4/tests/callcc-env2.lambda.out +++ b/1_k/3_lambda++/lesson_4/tests/callcc-env2.lambda.out @@ -1,11 +1,11 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } #Or { V:K #Equals - 4 ~> . + 4 ~> .K } diff --git a/1_k/3_lambda++/lesson_4/tests/callcc-with-let.lambda.out b/1_k/3_lambda++/lesson_4/tests/callcc-with-let.lambda.out index 4a781c72..471a5c06 100644 --- a/1_k/3_lambda++/lesson_4/tests/callcc-with-let.lambda.out +++ b/1_k/3_lambda++/lesson_4/tests/callcc-with-let.lambda.out @@ -1,11 +1,11 @@ { V:K #Equals - 32 ~> . + 32 ~> .K } #Or { V:K #Equals - 33 ~> . + 33 ~> .K } diff --git a/1_k/3_lambda++/lesson_4/tests/closed-variable-capture.lambda.out b/1_k/3_lambda++/lesson_4/tests/closed-variable-capture.lambda.out index b6bf03fa..370d2457 100644 --- a/1_k/3_lambda++/lesson_4/tests/closed-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_4/tests/closed-variable-capture.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( x |-> 1 , y , x y ) ~> . + closure ( x |-> 1 , y , x y ) ~> .K } diff --git a/1_k/3_lambda++/lesson_4/tests/free-variable-capture.lambda.out b/1_k/3_lambda++/lesson_4/tests/free-variable-capture.lambda.out index 1611b54b..90350803 100644 --- a/1_k/3_lambda++/lesson_4/tests/free-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_4/tests/free-variable-capture.lambda.out @@ -1,23 +1,23 @@ { V:K #Equals - a ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( ( lambda x . lambda y . x ) y z ~> . ) ~> . + a ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( ( lambda x . lambda y . x ) y z ~> .K ) ~> .K } #Or { V:K #Equals - y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( closure ( .Map , x , lambda y . x ) ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( closure ( .Map , x , lambda y . x ) ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } #Or { V:K #Equals - y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( lambda x . lambda y . x ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( lambda x . lambda y . x ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } #Or { V:K #Equals - z ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( ( lambda x . lambda y . x ) y ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + z ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( ( lambda x . lambda y . x ) y ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } diff --git a/1_k/3_lambda++/lesson_4/tests/identity.lambda.out b/1_k/3_lambda++/lesson_4/tests/identity.lambda.out index 4d5cd5b9..216e622c 100644 --- a/1_k/3_lambda++/lesson_4/tests/identity.lambda.out +++ b/1_k/3_lambda++/lesson_4/tests/identity.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( .Map , x , x ) ~> . + closure ( .Map , x , x ) ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-let-fix.lambda.out b/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-let-fix.lambda.out index 1c843187..5522f66a 100644 --- a/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-let-fix.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-let-fix.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 3628800 ~> . + 3628800 ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-let.lambda.out b/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-let.lambda.out index 1c843187..5522f66a 100644 --- a/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-let.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-let.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 3628800 ~> . + 3628800 ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-letrec.lambda.out b/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-letrec.lambda.out index 1c843187..5522f66a 100644 --- a/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-letrec.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/deterministic/factorial-letrec.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 3628800 ~> . + 3628800 ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/deterministic/fibbo.lambda.out b/1_k/3_lambda++/lesson_5/tests/deterministic/fibbo.lambda.out index a7028cde..e4b5bd52 100644 --- a/1_k/3_lambda++/lesson_5/tests/deterministic/fibbo.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/deterministic/fibbo.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 13 ~> . + 13 ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/nondeterministic/arithmetic.lambda.out b/1_k/3_lambda++/lesson_5/tests/nondeterministic/arithmetic.lambda.out index a01c03d1..cbb93410 100644 --- a/1_k/3_lambda++/lesson_5/tests/nondeterministic/arithmetic.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/nondeterministic/arithmetic.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - true ~> . + true ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-env1.lambda.out b/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-env1.lambda.out index 0d1534ce..32ce768f 100644 --- a/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-env1.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-env1.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-env2.lambda.out b/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-env2.lambda.out index 0d1534ce..32ce768f 100644 --- a/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-env2.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-env2.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-with-let.lambda.out b/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-with-let.lambda.out index 579a5e29..147dbafd 100644 --- a/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-with-let.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/nondeterministic/callcc-with-let.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 32 ~> . + 32 ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/nondeterministic/closed-variable-capture.lambda.out b/1_k/3_lambda++/lesson_5/tests/nondeterministic/closed-variable-capture.lambda.out index b6bf03fa..370d2457 100644 --- a/1_k/3_lambda++/lesson_5/tests/nondeterministic/closed-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/nondeterministic/closed-variable-capture.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( x |-> 1 , y , x y ) ~> . + closure ( x |-> 1 , y , x y ) ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/nondeterministic/free-variable-capture.lambda.out b/1_k/3_lambda++/lesson_5/tests/nondeterministic/free-variable-capture.lambda.out index 1611b54b..90350803 100644 --- a/1_k/3_lambda++/lesson_5/tests/nondeterministic/free-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/nondeterministic/free-variable-capture.lambda.out @@ -1,23 +1,23 @@ { V:K #Equals - a ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( ( lambda x . lambda y . x ) y z ~> . ) ~> . + a ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( ( lambda x . lambda y . x ) y z ~> .K ) ~> .K } #Or { V:K #Equals - y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( closure ( .Map , x , lambda y . x ) ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( closure ( .Map , x , lambda y . x ) ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } #Or { V:K #Equals - y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( lambda x . lambda y . x ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + y ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( lambda x . lambda y . x ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp0_ ( z ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } #Or { V:K #Equals - z ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( ( lambda x . lambda y . x ) y ~> . ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> . ) ~> . + z ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( ( lambda x . lambda y . x ) y ~> .K ) ~> #freezer___LAMBDA_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/nondeterministic/identity.lambda.out b/1_k/3_lambda++/lesson_5/tests/nondeterministic/identity.lambda.out index 4d5cd5b9..216e622c 100644 --- a/1_k/3_lambda++/lesson_5/tests/nondeterministic/identity.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/nondeterministic/identity.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( .Map , x , x ) ~> . + closure ( .Map , x , x ) ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/nondeterministic/if.lambda.out b/1_k/3_lambda++/lesson_5/tests/nondeterministic/if.lambda.out index 484970b7..0c63378c 100644 --- a/1_k/3_lambda++/lesson_5/tests/nondeterministic/if.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/nondeterministic/if.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 10 ~> . + 10 ~> .K } diff --git a/1_k/3_lambda++/lesson_5/tests/nondeterministic/lets.lambda.out b/1_k/3_lambda++/lesson_5/tests/nondeterministic/lets.lambda.out index a01c03d1..cbb93410 100644 --- a/1_k/3_lambda++/lesson_5/tests/nondeterministic/lets.lambda.out +++ b/1_k/3_lambda++/lesson_5/tests/nondeterministic/lets.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - true ~> . + true ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-let-fix.lambda.out b/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-let-fix.lambda.out index 1c843187..5522f66a 100644 --- a/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-let-fix.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-let-fix.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 3628800 ~> . + 3628800 ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-let.lambda.out b/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-let.lambda.out index 1c843187..5522f66a 100644 --- a/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-let.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-let.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 3628800 ~> . + 3628800 ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-letrec.lambda.out b/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-letrec.lambda.out index 1c843187..5522f66a 100644 --- a/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-letrec.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/deterministic/factorial-letrec.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 3628800 ~> . + 3628800 ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/deterministic/fibbo.lambda.out b/1_k/3_lambda++/lesson_6/tests/deterministic/fibbo.lambda.out index a7028cde..e4b5bd52 100644 --- a/1_k/3_lambda++/lesson_6/tests/deterministic/fibbo.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/deterministic/fibbo.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 13 ~> . + 13 ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/nondeterministic/arithmetic.lambda.out b/1_k/3_lambda++/lesson_6/tests/nondeterministic/arithmetic.lambda.out index a01c03d1..cbb93410 100644 --- a/1_k/3_lambda++/lesson_6/tests/nondeterministic/arithmetic.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/nondeterministic/arithmetic.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - true ~> . + true ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-env1.lambda.out b/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-env1.lambda.out index 0d1534ce..32ce768f 100644 --- a/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-env1.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-env1.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-env2.lambda.out b/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-env2.lambda.out index 0d1534ce..32ce768f 100644 --- a/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-env2.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-env2.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-with-let.lambda.out b/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-with-let.lambda.out index 579a5e29..147dbafd 100644 --- a/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-with-let.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/nondeterministic/callcc-with-let.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 32 ~> . + 32 ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/nondeterministic/closed-variable-capture.lambda.out b/1_k/3_lambda++/lesson_6/tests/nondeterministic/closed-variable-capture.lambda.out index b6bf03fa..370d2457 100644 --- a/1_k/3_lambda++/lesson_6/tests/nondeterministic/closed-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/nondeterministic/closed-variable-capture.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( x |-> 1 , y , x y ) ~> . + closure ( x |-> 1 , y , x y ) ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/nondeterministic/free-variable-capture.lambda.out b/1_k/3_lambda++/lesson_6/tests/nondeterministic/free-variable-capture.lambda.out index d39db2f2..61b7b5f0 100644 --- a/1_k/3_lambda++/lesson_6/tests/nondeterministic/free-variable-capture.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/nondeterministic/free-variable-capture.lambda.out @@ -1,23 +1,23 @@ { V:K #Equals - a ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp0_ ( ( lambda x . lambda y . x ) y z ~> . ) ~> . + a ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp0_ ( ( lambda x . lambda y . x ) y z ~> .K ) ~> .K } #Or { V:K #Equals - y ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( closure ( .Map , x , lambda y . x ) ~> . ) ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp0_ ( z ~> . ) ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( a ~> . ) ~> . + y ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( closure ( .Map , x , lambda y . x ) ~> .K ) ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp0_ ( z ~> .K ) ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } #Or { V:K #Equals - y ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( lambda x . lambda y . x ~> . ) ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp0_ ( z ~> . ) ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( a ~> . ) ~> . + y ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( lambda x . lambda y . x ~> .K ) ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp0_ ( z ~> .K ) ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } #Or { V:K #Equals - z ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( ( lambda x . lambda y . x ) y ~> . ) ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( a ~> . ) ~> . + z ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( ( lambda x . lambda y . x ) y ~> .K ) ~> #freezer___LAMBDA-SYNTAX_Exp_Exp_Exp1_ ( a ~> .K ) ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/nondeterministic/identity.lambda.out b/1_k/3_lambda++/lesson_6/tests/nondeterministic/identity.lambda.out index 4d5cd5b9..216e622c 100644 --- a/1_k/3_lambda++/lesson_6/tests/nondeterministic/identity.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/nondeterministic/identity.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( .Map , x , x ) ~> . + closure ( .Map , x , x ) ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/nondeterministic/if.lambda.out b/1_k/3_lambda++/lesson_6/tests/nondeterministic/if.lambda.out index 484970b7..0c63378c 100644 --- a/1_k/3_lambda++/lesson_6/tests/nondeterministic/if.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/nondeterministic/if.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - 10 ~> . + 10 ~> .K } diff --git a/1_k/3_lambda++/lesson_6/tests/nondeterministic/lets.lambda.out b/1_k/3_lambda++/lesson_6/tests/nondeterministic/lets.lambda.out index a01c03d1..cbb93410 100644 --- a/1_k/3_lambda++/lesson_6/tests/nondeterministic/lets.lambda.out +++ b/1_k/3_lambda++/lesson_6/tests/nondeterministic/lets.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - true ~> . + true ~> .K } diff --git a/1_k/5_types/lesson_1.9/tests/factorial-letrec.lambda.out b/1_k/5_types/lesson_1.9/tests/factorial-letrec.lambda.out index 24bfc83c..922e08a9 100644 --- a/1_k/5_types/lesson_1.9/tests/factorial-letrec.lambda.out +++ b/1_k/5_types/lesson_1.9/tests/factorial-letrec.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - int ~> . + int ~> .K } diff --git a/1_k/5_types/lesson_1.9/tests/ll.lambda.out b/1_k/5_types/lesson_1.9/tests/ll.lambda.out index 24bfc83c..922e08a9 100644 --- a/1_k/5_types/lesson_1.9/tests/ll.lambda.out +++ b/1_k/5_types/lesson_1.9/tests/ll.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - int ~> . + int ~> .K } diff --git a/1_k/5_types/lesson_1/tests/collatz.imp.out b/1_k/5_types/lesson_1/tests/collatz.imp.out index 8bbccd1b..bdc3b6ca 100644 --- a/1_k/5_types/lesson_1/tests/collatz.imp.out +++ b/1_k/5_types/lesson_1/tests/collatz.imp.out @@ -1,6 +1,6 @@ - stmt ~> . + stmt ~> .K m |-> int diff --git a/1_k/5_types/lesson_1/tests/div.imp.out b/1_k/5_types/lesson_1/tests/div.imp.out index 34d0fe87..0cdee1ac 100644 --- a/1_k/5_types/lesson_1/tests/div.imp.out +++ b/1_k/5_types/lesson_1/tests/div.imp.out @@ -1,6 +1,6 @@ - stmt ~> . + stmt ~> .K x |-> int diff --git a/1_k/5_types/lesson_1/tests/io.imp.out b/1_k/5_types/lesson_1/tests/io.imp.out index 34d0fe87..0cdee1ac 100644 --- a/1_k/5_types/lesson_1/tests/io.imp.out +++ b/1_k/5_types/lesson_1/tests/io.imp.out @@ -1,6 +1,6 @@ - stmt ~> . + stmt ~> .K x |-> int diff --git a/1_k/5_types/lesson_1/tests/locals.imp.out b/1_k/5_types/lesson_1/tests/locals.imp.out index 74ddde61..068f0983 100644 --- a/1_k/5_types/lesson_1/tests/locals.imp.out +++ b/1_k/5_types/lesson_1/tests/locals.imp.out @@ -1,6 +1,6 @@ - stmt ~> . + stmt ~> .K x |-> int diff --git a/1_k/5_types/lesson_1/tests/primes.imp.out b/1_k/5_types/lesson_1/tests/primes.imp.out index 94ac6210..e6f3b277 100644 --- a/1_k/5_types/lesson_1/tests/primes.imp.out +++ b/1_k/5_types/lesson_1/tests/primes.imp.out @@ -1,6 +1,6 @@ - stmt ~> . + stmt ~> .K i |-> int diff --git a/1_k/5_types/lesson_1/tests/spawn.imp.out b/1_k/5_types/lesson_1/tests/spawn.imp.out index 96126dcf..d55ee27d 100644 --- a/1_k/5_types/lesson_1/tests/spawn.imp.out +++ b/1_k/5_types/lesson_1/tests/spawn.imp.out @@ -1,6 +1,6 @@ - stmt ~> . + stmt ~> .K t1 |-> int diff --git a/1_k/5_types/lesson_1/tests/sum-io.imp.out b/1_k/5_types/lesson_1/tests/sum-io.imp.out index 38d56ba4..08648c75 100644 --- a/1_k/5_types/lesson_1/tests/sum-io.imp.out +++ b/1_k/5_types/lesson_1/tests/sum-io.imp.out @@ -1,6 +1,6 @@ - stmt ~> . + stmt ~> .K n |-> int diff --git a/1_k/5_types/lesson_1/tests/sum.imp.out b/1_k/5_types/lesson_1/tests/sum.imp.out index 12d51ccd..7ec6b4d3 100644 --- a/1_k/5_types/lesson_1/tests/sum.imp.out +++ b/1_k/5_types/lesson_1/tests/sum.imp.out @@ -1,6 +1,6 @@ - stmt ~> . + stmt ~> .K n |-> int diff --git a/1_k/5_types/lesson_2/tests/factorial-letrec.lambda.out b/1_k/5_types/lesson_2/tests/factorial-letrec.lambda.out index 24bfc83c..922e08a9 100644 --- a/1_k/5_types/lesson_2/tests/factorial-letrec.lambda.out +++ b/1_k/5_types/lesson_2/tests/factorial-letrec.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - int ~> . + int ~> .K } diff --git a/1_k/5_types/lesson_2/tests/ll.lambda.out b/1_k/5_types/lesson_2/tests/ll.lambda.out index 24bfc83c..922e08a9 100644 --- a/1_k/5_types/lesson_2/tests/ll.lambda.out +++ b/1_k/5_types/lesson_2/tests/ll.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - int ~> . + int ~> .K } diff --git a/1_k/5_types/lesson_3/tests/factorial-letrec.lambda.out b/1_k/5_types/lesson_3/tests/factorial-letrec.lambda.out index 24bfc83c..922e08a9 100644 --- a/1_k/5_types/lesson_3/tests/factorial-letrec.lambda.out +++ b/1_k/5_types/lesson_3/tests/factorial-letrec.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - int ~> . + int ~> .K } diff --git a/1_k/5_types/lesson_3/tests/ll.lambda.out b/1_k/5_types/lesson_3/tests/ll.lambda.out index 24bfc83c..922e08a9 100644 --- a/1_k/5_types/lesson_3/tests/ll.lambda.out +++ b/1_k/5_types/lesson_3/tests/ll.lambda.out @@ -1,5 +1,5 @@ { V:K #Equals - int ~> . + int ~> .K } From 035cb6658211e5130d7ec9eedb6a11a67d4fb796 Mon Sep 17 00:00:00 2001 From: Guy Repta <50716988+gtrepta@users.noreply.github.com> Date: Tue, 12 Mar 2024 15:39:29 -0500 Subject: [PATCH 65/68] 2_languages/3_fun: Update overloads/symbols and test output --- .../3_fun/1_untyped/1_environment/fun-untyped.md | 14 +++++++------- .../1_environment/tests/ackermann.fun.out | 2 +- .../1_untyped/1_environment/tests/callcc-1.fun.out | 2 +- .../1_untyped/1_environment/tests/callcc-2.fun.out | 2 +- .../1_untyped/1_environment/tests/callcc-3.fun.out | 2 +- .../1_untyped/1_environment/tests/callcc-4.fun.out | 2 +- .../1_untyped/1_environment/tests/callcc-5.fun.out | 2 +- .../tests/callcc-efficient-with-1.fun.out | 2 +- .../tests/callcc-efficient-with-2.fun.out | 2 +- .../tests/callcc-inefficient-without.fun.out | 2 +- .../1_environment/tests/callcc-looping.fun.out | 2 +- .../1_environment/tests/callcc-return-1.fun.out | 2 +- .../1_environment/tests/callcc-return-2.fun.out | 2 +- .../tests/constructor-bst-sorting.fun.out | 2 +- .../1_environment/tests/constructor-days.fun.out | 2 +- .../tests/constructor-expr-distributivity.fun.out | 2 +- .../tests/constructor-expr-toString.fun.out | 2 +- .../tests/constructor-list-length.fun.out | 2 +- .../tests/constructor-tree-mirror.fun.out | 2 +- .../1_environment/tests/empty-argument-1.fun.out | 2 +- .../1_environment/tests/empty-argument-2.fun.out | 2 +- .../1_environment/tests/exceptions.fun.out | 2 +- .../tests/factorial-and-list-max.fun.out | 2 +- .../1_environment/tests/factorial.fun.out | 2 +- .../1_untyped/1_environment/tests/list-1.fun.out | 2 +- .../1_untyped/1_environment/tests/list-2.fun.out | 2 +- .../1_untyped/1_environment/tests/list-3.fun.out | 2 +- .../1_untyped/1_environment/tests/list-4.fun.out | 2 +- .../1_environment/tests/list-length.fun.out | 2 +- .../1_untyped/1_environment/tests/list-max.fun.out | 2 +- .../1_untyped/1_environment/tests/list-nth.fun.out | 2 +- .../1_untyped/1_environment/tests/nth.fun.out | 2 +- .../1_untyped/1_environment/tests/pattern.fun.out | 2 +- .../1_environment/tests/polymorphism-1.fun.out | 2 +- .../1_environment/tests/polymorphism-2.fun.out | 2 +- .../1_environment/tests/polymorphism-3.fun.out | 2 +- .../1_environment/tests/polymorphism-4.fun.out | 2 +- .../1_environment/tests/polymorphism-5.fun.out | 2 +- .../1_environment/tests/polymorphism-6.fun.out | 2 +- .../1_environment/tests/references-1.fun.out | 2 +- .../1_environment/tests/references-2.fun.out | 2 +- .../1_environment/tests/references-3.fun.out | 2 +- .../1_environment/tests/references-4.fun.out | 2 +- .../1_environment/tests/references-5.fun.out | 8 ++++---- .../1_environment/tests/stuck-letrec.fun.out | 2 +- .../1_environment/tests/tail-recursion.fun.out | 2 +- .../1_untyped/1_environment/tests/tuple-1.fun.out | 2 +- .../1_untyped/1_environment/tests/tuple-2.fun.out | 2 +- .../1_untyped/1_environment/tests/tuple-3.fun.out | 2 +- .../1_untyped/1_environment/tests/tuple-4.fun.out | 2 +- .../1_untyped/1_environment/tests/tuple-5.fun.out | 2 +- 51 files changed, 60 insertions(+), 60 deletions(-) diff --git a/2_languages/3_fun/1_untyped/1_environment/fun-untyped.md b/2_languages/3_fun/1_untyped/1_environment/fun-untyped.md index be9cdac7..af37f6bd 100644 --- a/2_languages/3_fun/1_untyped/1_environment/fun-untyped.md +++ b/2_languages/3_fun/1_untyped/1_environment/fun-untyped.md @@ -146,7 +146,7 @@ to start with lower case letters. We take the freedom to tacitly introduce syntactic lists/sequences for each nonterminal for which we need them: ```k syntax Name [token] - syntax Names ::= List{Name,","} [klabel(exps)] + syntax Names ::= List{Name,","} [overload(exps)] ``` Expression constructs will be defined throughtout the syntax module. Below are the very basic ones, namely the builtins, the names, and the @@ -156,13 +156,13 @@ the list is on a position which can be evaluated: ```k syntax Exp ::= Int | Bool | String | Name | "(" Exp ")" [bracket] - syntax Exps ::= List{Exp,","} [strict, klabel(exps)] + syntax Exps ::= List{Exp,","} [strict, overload(exps)] syntax Val syntax Exp ::= Val syntax Exps ::= Vals - syntax Vals ::= List{Val,","} [klabel(exps)] + syntax Vals ::= List{Val,","} [overload(exps)] syntax Bottom - syntax Bottoms ::= List{Bottom,","} [klabel(exps)] + syntax Bottoms ::= List{Bottom,","} [overload(exps)] ``` We next define the syntax of arithmetic constructs, together with their relative priorities and left-/non-associativities. We also @@ -335,7 +335,7 @@ Like in many functional languages, type parameters/variables in user-defined types are quoted identifiers. ```k syntax TypeVar [token] - syntax TypeVars ::= List{TypeVar,","} [klabel(types)] + syntax TypeVars ::= List{TypeVar,","} [overload(types)] ``` Types can be basic types, function types, or user-defined parametric types. In the dynamic semantics we are going to simply ignore @@ -352,12 +352,12 @@ a constructor for function types: | TypeName [klabel(TypeName), avoid] | Type TypeName [klabel(Type-TypeName), symbol, macro] | "(" Types ")" TypeName [prefer] - syntax Types ::= List{Type,","} [klabel(types)] + syntax Types ::= List{Type,","} [overload(types)] syntax Types ::= TypeVars syntax TypeCase ::= ConstructorName | ConstructorName "(" Types ")" - syntax TypeCases ::= List{TypeCase,"|"} [klabel(_|TypeCase_)] + syntax TypeCases ::= List{TypeCase,"|"} [symbol(_|TypeCase_)] ``` ## Additional Priorities diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/ackermann.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/ackermann.fun.out index 6a90a04d..09403325 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/ackermann.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/ackermann.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 9 ~> . + 9 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-1.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-1.fun.out index 96cf3951..03204962 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-1.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-1.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 7 ~> . + 7 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-2.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-2.fun.out index 96cf3951..03204962 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-2.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-2.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 7 ~> . + 7 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-3.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-3.fun.out index 96cf3951..03204962 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-3.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-3.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 7 ~> . + 7 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-4.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-4.fun.out index 484970b7..0c63378c 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-4.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-4.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 10 ~> . + 10 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-5.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-5.fun.out index 484970b7..0c63378c 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-5.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-5.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 10 ~> . + 10 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-efficient-with-1.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-efficient-with-1.fun.out index 3ea80bcc..f5212a68 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-efficient-with-1.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-efficient-with-1.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 0 ~> . + 0 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-efficient-with-2.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-efficient-with-2.fun.out index 3ea80bcc..f5212a68 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-efficient-with-2.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-efficient-with-2.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 0 ~> . + 0 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-inefficient-without.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-inefficient-without.fun.out index 3ea80bcc..f5212a68 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-inefficient-without.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-inefficient-without.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 0 ~> . + 0 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-looping.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-looping.fun.out index c8568a9f..f80978a2 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-looping.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-looping.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 100 ~> . + 100 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-return-1.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-return-1.fun.out index 3ea80bcc..f5212a68 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-return-1.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-return-1.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 0 ~> . + 0 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-return-2.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-return-2.fun.out index 700871b8..10a4ae7b 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/callcc-return-2.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/callcc-return-2.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 1 ~> . + 1 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-bst-sorting.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-bst-sorting.fun.out index 8d9ba48a..786c63cb 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-bst-sorting.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-bst-sorting.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - [ 0 , 0 , 1 , 1 , 2 , 2 , 3 , 3 , 4 , 4 , 5 , 5 , 6 , 6 , 7 , 7 , 8 , 8 , 9 , 9 , 10 , 10 , .Bottoms ] ~> . + [ 0 , 0 , 1 , 1 , 2 , 2 , 3 , 3 , 4 , 4 , 5 , 5 , 6 , 6 , 7 , 7 , 8 , 8 , 9 , 9 , 10 , 10 , .Bottoms ] ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-days.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-days.fun.out index c3122cd2..c5e9a964 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-days.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-days.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - [ Thursday , Saturday , Thursday , .Bottoms ] ~> . + [ Thursday , Saturday , Thursday , .Bottoms ] ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-expr-distributivity.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-expr-distributivity.fun.out index 80ab2455..f4f110d4 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-expr-distributivity.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-expr-distributivity.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - "(n * x + n * y)" ~> . + "(n * x + n * y)" ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-expr-toString.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-expr-toString.fun.out index 5921ac48..785258fe 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-expr-toString.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-expr-toString.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - "n * (x + y)" ~> . + "n * (x + y)" ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-list-length.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-list-length.fun.out index 0d1534ce..32ce768f 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-list-length.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-list-length.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-tree-mirror.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-tree-mirror.fun.out index 077867f4..aab16147 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/constructor-tree-mirror.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/constructor-tree-mirror.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - Tree ( Tree ( Tree ( Leaf ( 5 , .Bottoms ) , Leaf ( 4 , .Bottoms ) , .Bottoms ) , Leaf ( 3 , .Bottoms ) , .Bottoms ) , Tree ( Leaf ( 2 , .Bottoms ) , Leaf ( 1 , .Bottoms ) , .Bottoms ) , .Bottoms ) ~> . + Tree ( Tree ( Tree ( Leaf ( 5 , .Bottoms ) , Leaf ( 4 , .Bottoms ) , .Bottoms ) , Leaf ( 3 , .Bottoms ) , .Bottoms ) , Tree ( Leaf ( 2 , .Bottoms ) , Leaf ( 1 , .Bottoms ) , .Bottoms ) , .Bottoms ) ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/empty-argument-1.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/empty-argument-1.fun.out index 6ad43d4e..a5ee4b3e 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/empty-argument-1.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/empty-argument-1.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( .Map , Nothing -> 7 | .Cases ) ~> . + closure ( .Map , Nothing -> 7 | .Cases ) ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/empty-argument-2.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/empty-argument-2.fun.out index 96cf3951..03204962 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/empty-argument-2.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/empty-argument-2.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 7 ~> . + 7 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/exceptions.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/exceptions.fun.out index af105b90..98eee127 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/exceptions.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/exceptions.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 21 ~> . + 21 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/factorial-and-list-max.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/factorial-and-list-max.fun.out index 3cf8d077..b14a3325 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/factorial-and-list-max.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/factorial-and-list-max.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 620448401733239439360000 ~> . + 620448401733239439360000 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/factorial.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/factorial.fun.out index 3cf8d077..b14a3325 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/factorial.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/factorial.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 620448401733239439360000 ~> . + 620448401733239439360000 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/list-1.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/list-1.fun.out index 0d1534ce..32ce768f 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/list-1.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/list-1.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/list-2.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/list-2.fun.out index 0d1534ce..32ce768f 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/list-2.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/list-2.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/list-3.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/list-3.fun.out index 0d1534ce..32ce768f 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/list-3.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/list-3.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/list-4.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/list-4.fun.out index 0d1534ce..32ce768f 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/list-4.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/list-4.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/list-length.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/list-length.fun.out index 9ea0e4a7..8131b447 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/list-length.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/list-length.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 8 ~> . + 8 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/list-max.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/list-max.fun.out index 8452ba72..8b50c414 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/list-max.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/list-max.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 5 ~> . + 5 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/list-nth.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/list-nth.fun.out index 713ebfe6..6eaaaef4 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/list-nth.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/list-nth.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 2 ~> . + 2 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/nth.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/nth.fun.out index cc7245eb..9ea5598e 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/nth.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/nth.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - [ 10 , 11 , 12 , 13 , 14 , .Bottoms ] ~> . + [ 10 , 11 , 12 , 13 , 14 , .Bottoms ] ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/pattern.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/pattern.fun.out index 92c320f3..f711fabe 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/pattern.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/pattern.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - [ Pair ( 10 , 9 , .Bottoms ) , Pair ( 0 , 1 , .Bottoms ) , Pair ( 0 , 0 , .Bottoms ) , .Bottoms ] ~> . + [ Pair ( 10 , 9 , .Bottoms ) , Pair ( 0 , 1 , .Bottoms ) , Pair ( 0 , 0 , .Bottoms ) , .Bottoms ] ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-1.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-1.fun.out index 704a5fba..694e76d6 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-1.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-1.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( .Map , x -> x | .Cases ) ~> . + closure ( .Map , x -> x | .Cases ) ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-2.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-2.fun.out index 0d1534ce..32ce768f 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-2.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-2.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-3.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-3.fun.out index 713ebfe6..6eaaaef4 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-3.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-3.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 2 ~> . + 2 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-4.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-4.fun.out index 9f2b74da..6a8f0631 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-4.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-4.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( .Map , x -> let ( y = x ) and .Bindings in y | .Cases ) ~> . + closure ( .Map , x -> let ( y = x ) and .Bindings in y | .Cases ) ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-5.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-5.fun.out index 0d1534ce..32ce768f 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-5.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-5.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 3 ~> . + 3 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-6.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-6.fun.out index 84dc1ad6..dabd2db3 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-6.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/polymorphism-6.fun.out @@ -4,5 +4,5 @@ closure ( f00 |-> 0 f01 |-> 1 f02 |-> 2 - f03 |-> 3 , x -> f03 ( f03 x ) | .Cases ) ~> . + f03 |-> 3 , x -> f03 ( f03 x ) | .Cases ) ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/references-1.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/references-1.fun.out index 3cf8d077..b14a3325 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/references-1.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/references-1.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 620448401733239439360000 ~> . + 620448401733239439360000 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/references-2.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/references-2.fun.out index 8452ba72..8b50c414 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/references-2.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/references-2.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 5 ~> . + 5 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/references-3.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/references-3.fun.out index a8c65f33..1a734707 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/references-3.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/references-3.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 16 ~> . + 16 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/references-4.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/references-4.fun.out index eda9bca8..2ddb88d1 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/references-4.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/references-4.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 3202 ~> . + 3202 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/references-5.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/references-5.fun.out index 4fd3badf..f33d7a14 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/references-5.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/references-5.fun.out @@ -1,23 +1,23 @@ { V:K #Equals - [ 7 , 8 , 9 , .Bottoms ] ~> . + [ 7 , 8 , 9 , .Bottoms ] ~> .K } #Or { V:K #Equals - [ 7 , 9 , 8 , .Bottoms ] ~> . + [ 7 , 9 , 8 , .Bottoms ] ~> .K } #Or { V:K #Equals - [ 9 , 8 , 9 , .Bottoms ] ~> . + [ 9 , 8 , 9 , .Bottoms ] ~> .K } #Or { V:K #Equals - [ 9 , 9 , 8 , .Bottoms ] ~> . + [ 9 , 9 , 8 , .Bottoms ] ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/stuck-letrec.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/stuck-letrec.fun.out index a298c9bb..2607ec69 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/stuck-letrec.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/stuck-letrec.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - x ~> #freezer_,__FUN-UNTYPED-COMMON_Exps_Exp_Exps0_ ( .Bottoms ~> . ) ~> #freezer_,__FUN-UNTYPED-COMMON_Exps_Exp_Exps1_ ( 2 ~> . ) ~> #freezerassignTo(_,_)_FUN-UNTYPED_KItem_Names_Exps1_ ( x , y , .Bottoms ~> . ) ~> y ~> setEnv ( x |-> 0 ) ~> setEnv ( .Map ) ~> . + x ~> #freezer_,__FUN-UNTYPED-COMMON_Exps_Exp_Exps0_ ( .Bottoms ~> .K ) ~> #freezer_,__FUN-UNTYPED-COMMON_Exps_Exp_Exps1_ ( 2 ~> .K ) ~> #freezerassignTo(_,_)_FUN-UNTYPED_KItem_Names_Exps1_ ( x , y , .Bottoms ~> .K ) ~> y ~> setEnv ( x |-> 0 ) ~> setEnv ( .Map ) ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/tail-recursion.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/tail-recursion.fun.out index 3ea80bcc..f5212a68 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/tail-recursion.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/tail-recursion.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 0 ~> . + 0 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/tuple-1.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/tuple-1.fun.out index e61e6b30..aecf5adf 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/tuple-1.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/tuple-1.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - closure ( .Map , Triple ( x , y , z , .Bottoms ) -> y | .Cases ) ~> . + closure ( .Map , Triple ( x , y , z , .Bottoms ) -> y | .Cases ) ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/tuple-2.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/tuple-2.fun.out index f75cf98e..875da5f1 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/tuple-2.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/tuple-2.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - Pair ( Pair ( 1 , Wrapper ( 2 , .Bottoms ) , .Bottoms ) , Pair ( 3 , 4 , .Bottoms ) , .Bottoms ) ~> . + Pair ( Pair ( 1 , Wrapper ( 2 , .Bottoms ) , .Bottoms ) , Pair ( 3 , 4 , .Bottoms ) , .Bottoms ) ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/tuple-3.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/tuple-3.fun.out index dd62a8de..ffeee47d 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/tuple-3.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/tuple-3.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 6 ~> . + 6 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/tuple-4.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/tuple-4.fun.out index 57900ef0..44660b54 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/tuple-4.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/tuple-4.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 230 ~> . + 230 ~> .K } diff --git a/2_languages/3_fun/1_untyped/1_environment/tests/tuple-5.fun.out b/2_languages/3_fun/1_untyped/1_environment/tests/tuple-5.fun.out index 57900ef0..44660b54 100644 --- a/2_languages/3_fun/1_untyped/1_environment/tests/tuple-5.fun.out +++ b/2_languages/3_fun/1_untyped/1_environment/tests/tuple-5.fun.out @@ -1,5 +1,5 @@ { V:K #Equals - 230 ~> . + 230 ~> .K } From b6057d85b07ad73169ccec5110dded172e3379ad Mon Sep 17 00:00:00 2001 From: Guy Repta <50716988+gtrepta@users.noreply.github.com> Date: Tue, 12 Mar 2024 15:43:34 -0500 Subject: [PATCH 66/68] 2_languages/1_simple: Update overloads/symbols and test output --- .../1_simple/1_untyped/simple-untyped.md | 8 ++++---- .../tests/threads/threads_05.simple.out | 20 +++++++++---------- .../2_typed/1_static/simple-typed-static.md | 4 ++-- .../2_typed/2_dynamic/simple-typed-dynamic.md | 6 +++--- .../2_dynamic/tests/threads_05.simple.out | 20 +++++++++---------- 5 files changed, 29 insertions(+), 29 deletions(-) diff --git a/2_languages/1_simple/1_untyped/simple-untyped.md b/2_languages/1_simple/1_untyped/simple-untyped.md index ecfa8324..e497b1aa 100644 --- a/2_languages/1_simple/1_untyped/simple-untyped.md +++ b/2_languages/1_simple/1_untyped/simple-untyped.md @@ -175,13 +175,13 @@ whenever requested (e.g., when they appear as strict arguments of the constructs above). ```k - syntax Ids ::= List{Id,","} [klabel(Exps)] - syntax Exps ::= List{Exp,","} [klabel(Exps), strict] // automatically hybrid now + syntax Ids ::= List{Id,","} [overload(Exps)] + syntax Exps ::= List{Exp,","} [overload(Exps), strict] // automatically hybrid now syntax Exps ::= Ids syntax Val - syntax Vals ::= List{Val,","} [klabel(Exps)] + syntax Vals ::= List{Val,","} [overload(Exps)] syntax Bottom - syntax Bottoms ::= List{Bottom,","} [klabel(Exps)] + syntax Bottoms ::= List{Bottom,","} [overload(Exps)] syntax Ids ::= Bottoms ``` diff --git a/2_languages/1_simple/1_untyped/tests/threads/threads_05.simple.out b/2_languages/1_simple/1_untyped/tests/threads/threads_05.simple.out index c73e3be1..46862f7b 100644 --- a/2_languages/1_simple/1_untyped/tests/threads/threads_05.simple.out +++ b/2_languages/1_simple/1_untyped/tests/threads/threads_05.simple.out @@ -23,14 +23,14 @@ SetItem ( -1 ) - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "0\n" ~> . ) ) + ListItem ( #buffer ( "0\n" ~> .K ) ) 3 @@ -63,14 +63,14 @@ SetItem ( -1 ) - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "1\n" ~> . ) ) + ListItem ( #buffer ( "1\n" ~> .K ) ) 3 @@ -103,14 +103,14 @@ SetItem ( -1 ) - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "2\n" ~> . ) ) + ListItem ( #buffer ( "2\n" ~> .K ) ) 3 @@ -143,14 +143,14 @@ SetItem ( -1 ) - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "3\n" ~> . ) ) + ListItem ( #buffer ( "3\n" ~> .K ) ) 3 @@ -183,14 +183,14 @@ SetItem ( -1 ) - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "4\n" ~> . ) ) + ListItem ( #buffer ( "4\n" ~> .K ) ) 3 diff --git a/2_languages/1_simple/2_typed/1_static/simple-typed-static.md b/2_languages/1_simple/2_typed/1_static/simple-typed-static.md index 0ff79689..dfe0b826 100644 --- a/2_languages/1_simple/2_typed/1_static/simple-typed-static.md +++ b/2_languages/1_simple/2_typed/1_static/simple-typed-static.md @@ -135,7 +135,7 @@ The lists of types are useful for function arguments. | "(" Type ")" [bracket] > Types "->" Type - syntax Types ::= List{Type,","} [klabel(exps)] + syntax Types ::= List{Type,","} [overload(exps)] ``` ## Declarations @@ -203,7 +203,7 @@ We still need lists of expressions, defined below, but note that we do not need lists of identifiers anymore. They have been replaced by the lists of parameters. ```k - syntax Exps ::= List{Exp,","} [strict, klabel(exps)] + syntax Exps ::= List{Exp,","} [strict, overload(exps)] ``` ## Statements diff --git a/2_languages/1_simple/2_typed/2_dynamic/simple-typed-dynamic.md b/2_languages/1_simple/2_typed/2_dynamic/simple-typed-dynamic.md index 15262040..b0a20711 100644 --- a/2_languages/1_simple/2_typed/2_dynamic/simple-typed-dynamic.md +++ b/2_languages/1_simple/2_typed/2_dynamic/simple-typed-dynamic.md @@ -47,7 +47,7 @@ constructs. | Type "[" "]" | "(" Type ")" [bracket] > Types "->" Type - syntax Types ::= List{Type,","} [klabel(exps)] + syntax Types ::= List{Type,","} [overload(exps)] ``` ## Declarations @@ -95,9 +95,9 @@ constructs. Like in the static semantics, there is no need for lists of identifiers (because we now have lists of parameters). ```k - syntax Exps ::= List{Exp,","} [strict, klabel(exps)] + syntax Exps ::= List{Exp,","} [strict, overload(exps)] syntax Val - syntax Vals ::= List{Val,","} [klabel(exps)] + syntax Vals ::= List{Val,","} [overload(exps)] ``` ## Statements diff --git a/2_languages/1_simple/2_typed/2_dynamic/tests/threads_05.simple.out b/2_languages/1_simple/2_typed/2_dynamic/tests/threads_05.simple.out index 65e9f585..5414948e 100644 --- a/2_languages/1_simple/2_typed/2_dynamic/tests/threads_05.simple.out +++ b/2_languages/1_simple/2_typed/2_dynamic/tests/threads_05.simple.out @@ -23,14 +23,14 @@ SetItem ( 1 ) - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "0\n" ~> . ) ) + ListItem ( #buffer ( "0\n" ~> .K ) ) 3 @@ -63,14 +63,14 @@ SetItem ( 1 ) - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "1\n" ~> . ) ) + ListItem ( #buffer ( "1\n" ~> .K ) ) 3 @@ -103,14 +103,14 @@ SetItem ( 1 ) - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "2\n" ~> . ) ) + ListItem ( #buffer ( "2\n" ~> .K ) ) 3 @@ -143,14 +143,14 @@ SetItem ( 1 ) - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "3\n" ~> . ) ) + ListItem ( #buffer ( "3\n" ~> .K ) ) 3 @@ -183,14 +183,14 @@ SetItem ( 1 ) - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "4\n" ~> . ) ) + ListItem ( #buffer ( "4\n" ~> .K ) ) 3 From 5accc19840582e4ae90ed00930a6f6c02f97aeb1 Mon Sep 17 00:00:00 2001 From: Guy Repta <50716988+gtrepta@users.noreply.github.com> Date: Tue, 12 Mar 2024 15:46:38 -0500 Subject: [PATCH 67/68] 2_languages/2_kool: Update overloads/symbols and test output --- 2_languages/2_kool/1_untyped/kool-untyped.md | 4 ++-- 2_languages/2_kool/2_typed/1_dynamic/kool-typed-dynamic.md | 6 +++--- 2_languages/2_kool/2_typed/2_static/kool-typed-static.md | 4 ++-- 3 files changed, 7 insertions(+), 7 deletions(-) diff --git a/2_languages/2_kool/1_untyped/kool-untyped.md b/2_languages/2_kool/1_untyped/kool-untyped.md index ea1dc286..5c915c00 100644 --- a/2_languages/2_kool/1_untyped/kool-untyped.md +++ b/2_languages/2_kool/1_untyped/kool-untyped.md @@ -209,9 +209,9 @@ syntax includes: syntax Ids ::= List{Id,","} - syntax Exps ::= List{Exp,","} [strict, klabel(exps)] + syntax Exps ::= List{Exp,","} [strict, overload(exps)] syntax Val - syntax Vals ::= List{Val,","} [klabel(exps)] + syntax Vals ::= List{Val,","} [overload(exps)] syntax Block ::= "{" "}" | "{" Stmt "}" diff --git a/2_languages/2_kool/2_typed/1_dynamic/kool-typed-dynamic.md b/2_languages/2_kool/2_typed/1_dynamic/kool-typed-dynamic.md index a2f79c68..7cfd474b 100644 --- a/2_languages/2_kool/2_typed/1_dynamic/kool-typed-dynamic.md +++ b/2_languages/2_kool/2_typed/1_dynamic/kool-typed-dynamic.md @@ -56,7 +56,7 @@ untyped KOOL. | "(" Type ")" [bracket] > Types "->" Type // TODO(KORE): drop klabel once issues #1913 are fixed - syntax Types ::= List{Type,","} [klabel(_,_::Types)] + syntax Types ::= List{Type,","} [symbol(_,_::Types)] /* syntax Types ::= List{Type,","} */ @@ -112,9 +112,9 @@ untyped KOOL. > "spawn" Block > Exp "=" Exp [strict(2), right] - syntax Exps ::= List{Exp,","} [strict, klabel(exps)] + syntax Exps ::= List{Exp,","} [strict, overload(exps)] syntax Val - syntax Vals ::= List{Val,","} [klabel(exps)] + syntax Vals ::= List{Val,","} [overload(exps)] ``` ## Statements diff --git a/2_languages/2_kool/2_typed/2_static/kool-typed-static.md b/2_languages/2_kool/2_typed/2_static/kool-typed-static.md index 76018c12..30d4b144 100644 --- a/2_languages/2_kool/2_typed/2_static/kool-typed-static.md +++ b/2_languages/2_kool/2_typed/2_static/kool-typed-static.md @@ -130,7 +130,7 @@ the wrapper in the generated documentation, we associate it an | "(" Type ")" [bracket] > Types "->" Type - syntax Types ::= List{Type,","} [klabel(exps)] + syntax Types ::= List{Type,","} [overload(exps)] ``` ## Declarations @@ -187,7 +187,7 @@ the wrapper in the generated documentation, we associate it an syntax Exp ::= FieldReference | ArrayReference syntax priority _.__KOOL-TYPED-STATIC-SYNTAX > _[_]_KOOL-TYPED-STATIC-SYNTAX > _(_)_KOOL-TYPED-STATIC-SYNTAX - syntax Exps ::= List{Exp,","} [strict, klabel(exps)] + syntax Exps ::= List{Exp,","} [strict, overload(exps)] ``` ## Statements From aad4d667250c0b61c45bcbebd693b26643c7e2d8 Mon Sep 17 00:00:00 2001 From: Guy Repta <50716988+gtrepta@users.noreply.github.com> Date: Tue, 12 Mar 2024 15:45:11 -0500 Subject: [PATCH 68/68] 1_k/4_imp++: Update overloads/symbols and test output --- 1_k/4_imp++/lesson_1/imp.k | 4 ++-- 1_k/4_imp++/lesson_1/tests/collatz.imp.out | 2 +- 1_k/4_imp++/lesson_1/tests/div.imp.out | 6 +++--- 1_k/4_imp++/lesson_1/tests/io.imp.out | 2 +- 1_k/4_imp++/lesson_1/tests/locals.imp.out | 2 +- 1_k/4_imp++/lesson_1/tests/primes.imp.out | 2 +- 1_k/4_imp++/lesson_1/tests/spawn.imp.out | 2 +- 1_k/4_imp++/lesson_1/tests/sum-io.imp.out | 2 +- 1_k/4_imp++/lesson_1/tests/sum.imp.out | 2 +- 1_k/4_imp++/lesson_2/imp.k | 4 ++-- 1_k/4_imp++/lesson_2/tests/collatz.imp.out | 2 +- 1_k/4_imp++/lesson_2/tests/div.imp.out | 6 +++--- 1_k/4_imp++/lesson_2/tests/io.imp.out | 2 +- 1_k/4_imp++/lesson_2/tests/locals.imp.out | 2 +- 1_k/4_imp++/lesson_2/tests/primes.imp.out | 2 +- 1_k/4_imp++/lesson_2/tests/spawn.imp.out | 2 +- 1_k/4_imp++/lesson_2/tests/sum-io.imp.out | 2 +- 1_k/4_imp++/lesson_2/tests/sum.imp.out | 2 +- 1_k/4_imp++/lesson_3/imp.k | 4 ++-- 1_k/4_imp++/lesson_3/tests/collatz.imp.out | 2 +- 1_k/4_imp++/lesson_3/tests/div.imp.out | 6 +++--- 1_k/4_imp++/lesson_3/tests/io.imp.out | 2 +- 1_k/4_imp++/lesson_3/tests/locals.imp.out | 2 +- 1_k/4_imp++/lesson_3/tests/primes.imp.out | 2 +- 1_k/4_imp++/lesson_3/tests/spawn.imp.out | 2 +- 1_k/4_imp++/lesson_3/tests/sum-io.imp.out | 2 +- 1_k/4_imp++/lesson_3/tests/sum.imp.out | 2 +- 1_k/4_imp++/lesson_4/imp.k | 4 ++-- 1_k/4_imp++/lesson_4/tests/div.imp.out | 18 +++++++++--------- 1_k/4_imp++/lesson_5/imp.k | 4 ++-- 1_k/4_imp++/lesson_5/tests/div.imp.out | 18 +++++++++--------- 1_k/4_imp++/lesson_6/imp.k | 4 ++-- 1_k/4_imp++/lesson_6/tests/div.imp.out | 12 ++++++------ 1_k/4_imp++/lesson_7/imp.k | 4 ++-- 1_k/4_imp++/lesson_7/tests/div.imp.out | 18 +++++++++--------- 1_k/4_imp++/lesson_8/imp.md | 4 ++-- 1_k/4_imp++/lesson_8/tests/div.imp.out | 18 +++++++++--------- 37 files changed, 88 insertions(+), 88 deletions(-) diff --git a/1_k/4_imp++/lesson_1/imp.k b/1_k/4_imp++/lesson_1/imp.k index 4125b96f..fe043d01 100644 --- a/1_k/4_imp++/lesson_1/imp.k +++ b/1_k/4_imp++/lesson_1/imp.k @@ -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 diff --git a/1_k/4_imp++/lesson_1/tests/collatz.imp.out b/1_k/4_imp++/lesson_1/tests/collatz.imp.out index 4e77a353..746da717 100644 --- a/1_k/4_imp++/lesson_1/tests/collatz.imp.out +++ b/1_k/4_imp++/lesson_1/tests/collatz.imp.out @@ -1,6 +1,6 @@ - . + .K m |-> 2 diff --git a/1_k/4_imp++/lesson_1/tests/div.imp.out b/1_k/4_imp++/lesson_1/tests/div.imp.out index b92be8cc..3bc9bde4 100644 --- a/1_k/4_imp++/lesson_1/tests/div.imp.out +++ b/1_k/4_imp++/lesson_1/tests/div.imp.out @@ -3,7 +3,7 @@ #Equals - ++ 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 x |-> 1 @@ -17,7 +17,7 @@ #Equals - ++ 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 x |-> 1 @@ -31,7 +31,7 @@ #Equals - ++ 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 x |-> 1 diff --git a/1_k/4_imp++/lesson_1/tests/io.imp.out b/1_k/4_imp++/lesson_1/tests/io.imp.out index dadd9f37..94a8d17c 100644 --- a/1_k/4_imp++/lesson_1/tests/io.imp.out +++ b/1_k/4_imp++/lesson_1/tests/io.imp.out @@ -1,6 +1,6 @@ - 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 .Map diff --git a/1_k/4_imp++/lesson_1/tests/locals.imp.out b/1_k/4_imp++/lesson_1/tests/locals.imp.out index 50c43888..d7a84eee 100644 --- a/1_k/4_imp++/lesson_1/tests/locals.imp.out +++ b/1_k/4_imp++/lesson_1/tests/locals.imp.out @@ -1,6 +1,6 @@ - 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 x |-> 1 diff --git a/1_k/4_imp++/lesson_1/tests/primes.imp.out b/1_k/4_imp++/lesson_1/tests/primes.imp.out index dc1326e5..702afd61 100644 --- a/1_k/4_imp++/lesson_1/tests/primes.imp.out +++ b/1_k/4_imp++/lesson_1/tests/primes.imp.out @@ -1,6 +1,6 @@ - . + .K i |-> 2 diff --git a/1_k/4_imp++/lesson_1/tests/spawn.imp.out b/1_k/4_imp++/lesson_1/tests/spawn.imp.out index 3ad77330..b6aa55f8 100644 --- a/1_k/4_imp++/lesson_1/tests/spawn.imp.out +++ b/1_k/4_imp++/lesson_1/tests/spawn.imp.out @@ -1,6 +1,6 @@ - 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 x |-> 0 diff --git a/1_k/4_imp++/lesson_1/tests/sum-io.imp.out b/1_k/4_imp++/lesson_1/tests/sum-io.imp.out index 6cda5667..754f0c38 100644 --- a/1_k/4_imp++/lesson_1/tests/sum-io.imp.out +++ b/1_k/4_imp++/lesson_1/tests/sum-io.imp.out @@ -1,6 +1,6 @@ - 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 n |-> 0 diff --git a/1_k/4_imp++/lesson_1/tests/sum.imp.out b/1_k/4_imp++/lesson_1/tests/sum.imp.out index f72ab68a..d6373fd2 100644 --- a/1_k/4_imp++/lesson_1/tests/sum.imp.out +++ b/1_k/4_imp++/lesson_1/tests/sum.imp.out @@ -1,6 +1,6 @@ - . + .K n |-> 0 diff --git a/1_k/4_imp++/lesson_2/imp.k b/1_k/4_imp++/lesson_2/imp.k index 2872acd7..13bc68b5 100644 --- a/1_k/4_imp++/lesson_2/imp.k +++ b/1_k/4_imp++/lesson_2/imp.k @@ -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 diff --git a/1_k/4_imp++/lesson_2/tests/collatz.imp.out b/1_k/4_imp++/lesson_2/tests/collatz.imp.out index 25e89858..db47869c 100644 --- a/1_k/4_imp++/lesson_2/tests/collatz.imp.out +++ b/1_k/4_imp++/lesson_2/tests/collatz.imp.out @@ -1,6 +1,6 @@ - . + .K m |-> 0 diff --git a/1_k/4_imp++/lesson_2/tests/div.imp.out b/1_k/4_imp++/lesson_2/tests/div.imp.out index 197e36c6..c6d00046 100644 --- a/1_k/4_imp++/lesson_2/tests/div.imp.out +++ b/1_k/4_imp++/lesson_2/tests/div.imp.out @@ -3,7 +3,7 @@ #Equals - ++ 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 x |-> 0 @@ -21,7 +21,7 @@ #Equals - ++ 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 x |-> 0 @@ -39,7 +39,7 @@ #Equals - ++ 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 x |-> 0 diff --git a/1_k/4_imp++/lesson_2/tests/io.imp.out b/1_k/4_imp++/lesson_2/tests/io.imp.out index 0abd9904..cd32a9a2 100644 --- a/1_k/4_imp++/lesson_2/tests/io.imp.out +++ b/1_k/4_imp++/lesson_2/tests/io.imp.out @@ -1,6 +1,6 @@ - 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 .Map diff --git a/1_k/4_imp++/lesson_2/tests/locals.imp.out b/1_k/4_imp++/lesson_2/tests/locals.imp.out index e6e28e2b..ed5b13ee 100644 --- a/1_k/4_imp++/lesson_2/tests/locals.imp.out +++ b/1_k/4_imp++/lesson_2/tests/locals.imp.out @@ -1,6 +1,6 @@ - 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 x |-> 0 diff --git a/1_k/4_imp++/lesson_2/tests/primes.imp.out b/1_k/4_imp++/lesson_2/tests/primes.imp.out index 9434601e..8935603c 100644 --- a/1_k/4_imp++/lesson_2/tests/primes.imp.out +++ b/1_k/4_imp++/lesson_2/tests/primes.imp.out @@ -1,6 +1,6 @@ - . + .K i |-> 0 diff --git a/1_k/4_imp++/lesson_2/tests/spawn.imp.out b/1_k/4_imp++/lesson_2/tests/spawn.imp.out index c2be178b..9efe6bdc 100644 --- a/1_k/4_imp++/lesson_2/tests/spawn.imp.out +++ b/1_k/4_imp++/lesson_2/tests/spawn.imp.out @@ -1,6 +1,6 @@ - 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 x |-> 0 diff --git a/1_k/4_imp++/lesson_2/tests/sum-io.imp.out b/1_k/4_imp++/lesson_2/tests/sum-io.imp.out index e93a02ef..cef7ade6 100644 --- a/1_k/4_imp++/lesson_2/tests/sum-io.imp.out +++ b/1_k/4_imp++/lesson_2/tests/sum-io.imp.out @@ -1,6 +1,6 @@ - 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 n |-> 0 diff --git a/1_k/4_imp++/lesson_2/tests/sum.imp.out b/1_k/4_imp++/lesson_2/tests/sum.imp.out index afc535a8..8c6229f8 100644 --- a/1_k/4_imp++/lesson_2/tests/sum.imp.out +++ b/1_k/4_imp++/lesson_2/tests/sum.imp.out @@ -1,6 +1,6 @@ - . + .K n |-> 0 diff --git a/1_k/4_imp++/lesson_3/imp.k b/1_k/4_imp++/lesson_3/imp.k index fa7db5c8..b62b77dd 100644 --- a/1_k/4_imp++/lesson_3/imp.k +++ b/1_k/4_imp++/lesson_3/imp.k @@ -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 diff --git a/1_k/4_imp++/lesson_3/tests/collatz.imp.out b/1_k/4_imp++/lesson_3/tests/collatz.imp.out index 25e89858..db47869c 100644 --- a/1_k/4_imp++/lesson_3/tests/collatz.imp.out +++ b/1_k/4_imp++/lesson_3/tests/collatz.imp.out @@ -1,6 +1,6 @@ - . + .K m |-> 0 diff --git a/1_k/4_imp++/lesson_3/tests/div.imp.out b/1_k/4_imp++/lesson_3/tests/div.imp.out index 6ba728d1..3af7a35d 100644 --- a/1_k/4_imp++/lesson_3/tests/div.imp.out +++ b/1_k/4_imp++/lesson_3/tests/div.imp.out @@ -3,7 +3,7 @@ #Equals - . + .K x |-> 0 @@ -21,7 +21,7 @@ #Equals - . + .K x |-> 0 @@ -39,7 +39,7 @@ #Equals - . + .K x |-> 0 diff --git a/1_k/4_imp++/lesson_3/tests/io.imp.out b/1_k/4_imp++/lesson_3/tests/io.imp.out index 0abd9904..cd32a9a2 100644 --- a/1_k/4_imp++/lesson_3/tests/io.imp.out +++ b/1_k/4_imp++/lesson_3/tests/io.imp.out @@ -1,6 +1,6 @@ - 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 .Map diff --git a/1_k/4_imp++/lesson_3/tests/locals.imp.out b/1_k/4_imp++/lesson_3/tests/locals.imp.out index e6e28e2b..ed5b13ee 100644 --- a/1_k/4_imp++/lesson_3/tests/locals.imp.out +++ b/1_k/4_imp++/lesson_3/tests/locals.imp.out @@ -1,6 +1,6 @@ - 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 x |-> 0 diff --git a/1_k/4_imp++/lesson_3/tests/primes.imp.out b/1_k/4_imp++/lesson_3/tests/primes.imp.out index 9434601e..8935603c 100644 --- a/1_k/4_imp++/lesson_3/tests/primes.imp.out +++ b/1_k/4_imp++/lesson_3/tests/primes.imp.out @@ -1,6 +1,6 @@ - . + .K i |-> 0 diff --git a/1_k/4_imp++/lesson_3/tests/spawn.imp.out b/1_k/4_imp++/lesson_3/tests/spawn.imp.out index c2be178b..9efe6bdc 100644 --- a/1_k/4_imp++/lesson_3/tests/spawn.imp.out +++ b/1_k/4_imp++/lesson_3/tests/spawn.imp.out @@ -1,6 +1,6 @@ - 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 x |-> 0 diff --git a/1_k/4_imp++/lesson_3/tests/sum-io.imp.out b/1_k/4_imp++/lesson_3/tests/sum-io.imp.out index e93a02ef..cef7ade6 100644 --- a/1_k/4_imp++/lesson_3/tests/sum-io.imp.out +++ b/1_k/4_imp++/lesson_3/tests/sum-io.imp.out @@ -1,6 +1,6 @@ - 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 n |-> 0 diff --git a/1_k/4_imp++/lesson_3/tests/sum.imp.out b/1_k/4_imp++/lesson_3/tests/sum.imp.out index afc535a8..8c6229f8 100644 --- a/1_k/4_imp++/lesson_3/tests/sum.imp.out +++ b/1_k/4_imp++/lesson_3/tests/sum.imp.out @@ -1,6 +1,6 @@ - . + .K n |-> 0 diff --git a/1_k/4_imp++/lesson_4/imp.k b/1_k/4_imp++/lesson_4/imp.k index 71ae12f0..2229bde8 100644 --- a/1_k/4_imp++/lesson_4/imp.k +++ b/1_k/4_imp++/lesson_4/imp.k @@ -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 diff --git a/1_k/4_imp++/lesson_4/tests/div.imp.out b/1_k/4_imp++/lesson_4/tests/div.imp.out index dc290d68..9e950333 100644 --- a/1_k/4_imp++/lesson_4/tests/div.imp.out +++ b/1_k/4_imp++/lesson_4/tests/div.imp.out @@ -3,7 +3,7 @@ #Equals - . + .K x |-> 0 @@ -14,14 +14,14 @@ 1 |-> 1 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } @@ -31,7 +31,7 @@ #Equals - . + .K x |-> 0 @@ -42,14 +42,14 @@ 1 |-> 2 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } @@ -59,7 +59,7 @@ #Equals - . + .K x |-> 0 @@ -70,14 +70,14 @@ 1 |-> 3 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } diff --git a/1_k/4_imp++/lesson_5/imp.k b/1_k/4_imp++/lesson_5/imp.k index f8215325..be51e7eb 100644 --- a/1_k/4_imp++/lesson_5/imp.k +++ b/1_k/4_imp++/lesson_5/imp.k @@ -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 diff --git a/1_k/4_imp++/lesson_5/tests/div.imp.out b/1_k/4_imp++/lesson_5/tests/div.imp.out index dc290d68..9e950333 100644 --- a/1_k/4_imp++/lesson_5/tests/div.imp.out +++ b/1_k/4_imp++/lesson_5/tests/div.imp.out @@ -3,7 +3,7 @@ #Equals - . + .K x |-> 0 @@ -14,14 +14,14 @@ 1 |-> 1 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } @@ -31,7 +31,7 @@ #Equals - . + .K x |-> 0 @@ -42,14 +42,14 @@ 1 |-> 2 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } @@ -59,7 +59,7 @@ #Equals - . + .K x |-> 0 @@ -70,14 +70,14 @@ 1 |-> 3 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } diff --git a/1_k/4_imp++/lesson_6/imp.k b/1_k/4_imp++/lesson_6/imp.k index 8e382390..984ee014 100644 --- a/1_k/4_imp++/lesson_6/imp.k +++ b/1_k/4_imp++/lesson_6/imp.k @@ -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 diff --git a/1_k/4_imp++/lesson_6/tests/div.imp.out b/1_k/4_imp++/lesson_6/tests/div.imp.out index 82e0047f..22e5fef4 100644 --- a/1_k/4_imp++/lesson_6/tests/div.imp.out +++ b/1_k/4_imp++/lesson_6/tests/div.imp.out @@ -10,14 +10,14 @@ 1 |-> 1 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } @@ -34,14 +34,14 @@ 1 |-> 2 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } @@ -58,14 +58,14 @@ 1 |-> 3 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } diff --git a/1_k/4_imp++/lesson_7/imp.k b/1_k/4_imp++/lesson_7/imp.k index 56967795..23a9fd8e 100644 --- a/1_k/4_imp++/lesson_7/imp.k +++ b/1_k/4_imp++/lesson_7/imp.k @@ -27,8 +27,8 @@ module IMP-SYNTAX | "halt" ";" > "join" AExp ";" [strict] - 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 Stmts ::= List{Stmt,""} syntax AExps ::= Ids endmodule diff --git a/1_k/4_imp++/lesson_7/tests/div.imp.out b/1_k/4_imp++/lesson_7/tests/div.imp.out index 7374ffea..33c4a2e7 100644 --- a/1_k/4_imp++/lesson_7/tests/div.imp.out +++ b/1_k/4_imp++/lesson_7/tests/div.imp.out @@ -8,7 +8,7 @@ 0 - . + .K x |-> 0 @@ -21,14 +21,14 @@ 1 |-> 1 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } @@ -43,7 +43,7 @@ 0 - . + .K x |-> 0 @@ -56,14 +56,14 @@ 1 |-> 2 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } @@ -78,7 +78,7 @@ 0 - . + .K x |-> 0 @@ -91,14 +91,14 @@ 1 |-> 3 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } diff --git a/1_k/4_imp++/lesson_8/imp.md b/1_k/4_imp++/lesson_8/imp.md index 78b26a18..a0121409 100644 --- a/1_k/4_imp++/lesson_8/imp.md +++ b/1_k/4_imp++/lesson_8/imp.md @@ -144,8 +144,8 @@ of statements surrounded by curly brackets. | "halt" ";" > "join" AExp ";" [strict] - 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 Stmts ::= List{Stmt,""} syntax AExps ::= Ids endmodule diff --git a/1_k/4_imp++/lesson_8/tests/div.imp.out b/1_k/4_imp++/lesson_8/tests/div.imp.out index 7374ffea..33c4a2e7 100644 --- a/1_k/4_imp++/lesson_8/tests/div.imp.out +++ b/1_k/4_imp++/lesson_8/tests/div.imp.out @@ -8,7 +8,7 @@ 0 - . + .K x |-> 0 @@ -21,14 +21,14 @@ 1 |-> 1 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } @@ -43,7 +43,7 @@ 0 - . + .K x |-> 0 @@ -56,14 +56,14 @@ 1 |-> 2 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) } @@ -78,7 +78,7 @@ 0 - . + .K x |-> 0 @@ -91,14 +91,14 @@ 1 |-> 3 - ListItem ( #buffer ( "\n" ~> . ) ) + ListItem ( #buffer ( "\n" ~> .K ) ) ListItem ( "off" ) ListItem ( #istream ( 0 ) ) ListItem ( #ostream ( 1 ) ) ListItem ( "off" ) - ListItem ( #buffer ( "" ~> . ) ) + ListItem ( #buffer ( "" ~> .K ) ) }