From e05f13e2fd2baea3d12cfad6819cce0352a86fa5 Mon Sep 17 00:00:00 2001 From: Rigidity Date: Thu, 1 Aug 2024 12:54:11 -0400 Subject: [PATCH] Update tests --- tests.toml | 76 ++++++++++++++++++++++-------------------------------- 1 file changed, 31 insertions(+), 45 deletions(-) diff --git a/tests.toml b/tests.toml index 1ac2495..6820620 100644 --- a/tests.toml +++ b/tests.toml @@ -213,11 +213,11 @@ output = "()" hash = "1a9674474efa85b2616b28fc2ae4f1b6a199273973e482ea74498fcc507141cf" [enum_fields] -bytes = 35 -cost = 636 +bytes = 65 +cost = 1004 input = "()" output = "1000" -hash = "9cccd0bde90e1e21f335c88acd5af8788b190c7bcfe652995564064ff2f34e28" +hash = "6f486106a324ee36d5b3e63bd65d7e69c8a95278d4f405307492e0c4960b08f2" [enum_numeric] bytes = 103 @@ -244,38 +244,24 @@ hash = "600c2c11a7ceb22fd3f5d2559d22120f9ad7e8d47e0966ddcfbcce20e02f373f" parser_errors = [] compiler_errors = [ "Error: Expected 0 arguments, but found 1 (3:11)", - "Error: Expected either 0 or 1 arguments, but found 2 (7:11)", - "Error: This function does not support the spread operator on its last argument (8:25)", - "Error: Expected either 0 or 1 arguments, but found 2 (9:11)", - "Error: This function does not support the spread operator on its last argument (9:28)", - "Error: Expected either 1 or 2 arguments, but found 0 (11:11)", - "Error: Expected either 1 or 2 arguments, but found 3 (14:11)", - "Error: Expected either 1 or 2 arguments, but found 4 (15:11)", - "Error: This function does not support the spread operator on its last argument (16:25)", - "Error: This function does not support the spread operator on its last argument (17:28)", - "Error: Expected either 1 or 2 arguments, but found 3 (18:11)", - "Error: This function does not support the spread operator on its last argument (18:31)", - "Error: Expected either 1 or 2 arguments, but found 4 (19:11)", - "Error: This function does not support the spread operator on its last argument (19:34)", - "Error: This function does not support the spread operator on its last argument (20:28)", - "Error: Expected type `Int[]`, but found `Int` (26:28)", - "Error: Expected type `Int[]`, but found `Int` (27:31)", - "Error: Expected at least 2 arguments, but found 0 (31:11)", - "Error: Expected type `Int[]`, but found `Int` (36:31)", - "Error: Expected 1 argument, but found 0 (40:11)", - "Error: This function requires the spread operator on its last argument (41:27)", - "Error: Expected 1 argument, but found 2 (42:11)", - "Error: This function requires the spread operator on its last argument (42:27)", - "Error: Expected 1 argument, but found 2 (44:11)", - "Error: Expected type `Int`, but found `Int[]` (45:27)", - "Error: Expected 1 argument, but found 2 (46:11)", - "Error: Expected type `Int`, but found `Int[]` (46:30)", - "Error: Expected 2 arguments, but found 0 (48:11)", - "Error: Expected 2 arguments, but found 1 (49:11)", - "Error: This function requires the spread operator on its last argument (50:30)", - "Error: Expected 2 arguments, but found 1 (51:11)", - "Error: Expected 2 arguments, but found 1 (53:11)", - "Error: Expected type `Int`, but found `Int[]` (54:30)", + "Error: Expected type `(Int, {recursive} | Nil) | Nil`, but found `Int` (9:28)", + "Error: Expected type `(Int, {recursive} | Nil) | Nil`, but found `Int` (10:31)", + "Error: Expected at least 2 arguments, but found 0 (14:11)", + "Error: Expected type `(Int, {recursive} | Nil) | Nil`, but found `Int` (19:31)", + "Error: Expected 1 argument, but found 0 (23:11)", + "Error: This function requires the spread operator on its last argument (24:27)", + "Error: Expected 1 argument, but found 2 (25:11)", + "Error: This function requires the spread operator on its last argument (25:27)", + "Error: Expected 1 argument, but found 2 (27:11)", + "Error: Expected type `Int`, but found `(Int, (Int, Nil))` (28:27)", + "Error: Expected 1 argument, but found 2 (29:11)", + "Error: Expected type `Int`, but found `(Int, Nil)` (29:30)", + "Error: Expected 2 arguments, but found 0 (31:11)", + "Error: Expected 2 arguments, but found 1 (32:11)", + "Error: This function requires the spread operator on its last argument (33:30)", + "Error: Expected 2 arguments, but found 1 (34:11)", + "Error: Expected 2 arguments, but found 1 (36:11)", + "Error: Expected type `Int`, but found `(Int, Nil)` (37:30)", ] [struct_empty] @@ -543,24 +529,24 @@ hash = "9bdda9e1aa36d402104334fad3d7d9ce5b7b507b92f985e24c21513a012f60c4" [p2_delegated_or_hidden] bytes = 249 -cost = 20906 +cost = 24358 input = "(0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 () (q ((51 0x291e4594b43d58e833cab95e4b165c5fac6b4d8391c81ebfd20efdd8d58b92d8 1000))) 1)" output = "((g1_multiply 0xc00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 0x3d7e1145b5969c12f4889f4f1f66bde0e4d3ba54b91784cf604294d162b44b69) (g1_negate 0x291e4594b43d58e833cab95e4b165c5fac6b4d8391c81ebfd20efdd8d58b92d8 1000))" hash = "21f96d7bb1b15b83ce81dff3525d4c98793f906f6cc7ebba52a76524a7db6943" [singleton] -bytes = 1395 -cost = 52110 +bytes = 1531 +cost = 54718 input = "((0x42840c6aebec47ce2e01629ce381b461c19695264281a7b1aab5d4ff54506775 0x4696e7a2b7682e2df01ab47e6e002d0dca895f99c6172e4a55a3e033499532b7 0x291e4594b43d58e833cab95e4b165c5fac6b4d8391c81ebfd20efdd8d58b92d8) 1 (0x9b1c580707ca8282534c02c1a055427e0954818b6195a29f4442ac3e7ea8e8ee () 1) 1 ((51 0x173385b87af5d8940767c328026fe5f8e76bc238d2a3aaddf4f55e844f400fca 1)))" output = "((73 1) (71 0xf92f0ebbd0e5ecb1334331d98c1f3b3e41cfce2c15f1053ffd1e2151b361e909) (g1_negate 0x07d534114dd68436cb7a4026abade359cd9c9f28b253c60e305535c781bbc7ed 1))" -hash = "28a3c50a049c12c4ce49c6098618957b4c6791c563c70c895fa59bf47d93366c" +hash = "3d8892dcdac1a32aab1034fa9489b7b7dc3b6aabf512f38e73d54574b1f6b62c" [enum_type_guard] -bytes = 131 -cost = 1710 +bytes = 101 +cost = 1090 input = "()" output = "()" -hash = "e3153c4596c3b27d1f1cea81cf4c475e2d8f617330a82684bd97f6fae2bacf50" +hash = "146182f765c52c144e4fa6d44fd3073bb3cbed6fac2bf1ca15393fc244c7d2b8" [cat] bytes = 2107 @@ -584,8 +570,8 @@ output = "1500" hash = "c9370ff4457a61a860e99fbbcf92aec2630e45a9447428174a1c5036a0768aad" [block_let_function] -bytes = 281 -cost = 9394 +bytes = 283 +cost = 9356 input = "()" output = "1" -hash = "a1d71c94c9e64a24f50f4aee3496e833aa8bb263457b4cb4459f851f0f3d575b" +hash = "488ceea9106d9d45a4380644bdb88d7f440a901d08c1281a5b94ba92a2ae418d"