Skip to content

Handle numbers passed in as strings#316

Closed
miniBill wants to merge 1 commit into
mainfrom
integer-as-string
Closed

Handle numbers passed in as strings#316
miniBill wants to merge 1 commit into
mainfrom
integer-as-string

Conversation

@miniBill

@miniBill miniBill commented Jun 9, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@github-actions

github-actions Bot commented Jun 9, 2026

Copy link
Copy Markdown
diff --ignore-all-space --minimal --new-file --recursive main/cli/generated/GithubV3RestApi/Json.elm branch/cli/generated/GithubV3RestApi/Json.elm
25944c25944
<                     ("Unexpected value: expected a string matching \"^[0-9a-fA-F]+$\" got "
---
>                     ("Unexpected value: expected a string matching \"^[0-9a-fA-F]+$\", got "
29508c29508
<                                 ("Unexpected value: expected a string matching \"^pkg\" got "
---
>                                 ("Unexpected value: expected a string matching \"^pkg\", got "
48469c48469
<                                 ("Unexpected value: expected a string matching \"^refs/\" got "
---
>                                 ("Unexpected value: expected a string matching \"^refs/\", got "
diff --ignore-all-space --minimal --new-file --recursive main/cli/generated/TelegramBotApi/Json.elm branch/cli/generated/TelegramBotApi/Json.elm
7066c7066
<                                 ("Unexpected value: expected \"freeform_gradient\" got "
---
>                                 ("Unexpected value: expected \"freeform_gradient\", got "
7103c7103
<                                 ("Unexpected value: expected \"gradient\" got "
---
>                                 ("Unexpected value: expected \"gradient\", got "
7129c7129
<                                 ("Unexpected value: expected \"solid\" got "
---
>                                 ("Unexpected value: expected \"solid\", got "
7174c7174
<                                 ("Unexpected value: expected \"chat_theme\" got "
---
>                                 ("Unexpected value: expected \"chat_theme\", got "
7208c7208
<                                 ("Unexpected value: expected \"fill\" got "
---
>                                 ("Unexpected value: expected \"fill\", got "
7254c7254
<                                 ("Unexpected value: expected \"pattern\" got "
---
>                                 ("Unexpected value: expected \"pattern\", got "
7294c7294
<                                 ("Unexpected value: expected \"wallpaper\" got "
---
>                                 ("Unexpected value: expected \"wallpaper\", got "
7369c7369
<                                 ("Unexpected value: expected \"all_chat_administrators\" got "
---
>                                 ("Unexpected value: expected \"all_chat_administrators\", got "
7393c7393
<                                 ("Unexpected value: expected \"all_group_chats\" got "
---
>                                 ("Unexpected value: expected \"all_group_chats\", got "
7417c7417
<                                 ("Unexpected value: expected \"all_private_chats\" got "
---
>                                 ("Unexpected value: expected \"all_private_chats\", got "
7454c7454
<                                 ("Unexpected value: expected \"chat\" got "
---
>                                 ("Unexpected value: expected \"chat\", got "
7491c7491
<                                 ("Unexpected value: expected \"chat_administrators\" got "
---
>                                 ("Unexpected value: expected \"chat_administrators\", got "
7531c7531
<                                 ("Unexpected value: expected \"chat_member\" got "
---
>                                 ("Unexpected value: expected \"chat_member\", got "
7557c7557
<                                 ("Unexpected value: expected \"default\" got "
---
>                                 ("Unexpected value: expected \"default\", got "
8039c8039
<                                 ("Unexpected value: expected \"gift_code\" got "
---
>                                 ("Unexpected value: expected \"gift_code\", got "
8084c8084
<                                 ("Unexpected value: expected \"giveaway\" got "
---
>                                 ("Unexpected value: expected \"giveaway\", got "
8110c8110
<                                 ("Unexpected value: expected \"premium\" got "
---
>                                 ("Unexpected value: expected \"premium\", got "
8625c8625
<                                 ("Unexpected value: expected \"administrator\" got "
---
>                                 ("Unexpected value: expected \"administrator\", got "
8653c8653
<                                 ("Unexpected value: expected \"kicked\" got "
---
>                                 ("Unexpected value: expected \"kicked\", got "
8680c8680
<                                 ("Unexpected value: expected \"left\" got "
---
>                                 ("Unexpected value: expected \"left\", got "
8708c8708
<                                 ("Unexpected value: expected \"member\" got "
---
>                                 ("Unexpected value: expected \"member\", got "
8749c8749
<                                 ("Unexpected value: expected \"creator\" got "
---
>                                 ("Unexpected value: expected \"creator\", got "
8825c8825
<                                 ("Unexpected value: expected \"restricted\" got "
---
>                                 ("Unexpected value: expected \"restricted\", got "
9990c9990
<                                 ("Unexpected value: expected 0 got "
---
>                                 ("Unexpected value: expected 0, got "
10253c10253
<                                 ("Unexpected value: expected \"article\" got "
---
>                                 ("Unexpected value: expected \"article\", got "
10331c10331
<                                 ("Unexpected value: expected \"audio\" got "
---
>                                 ("Unexpected value: expected \"audio\", got "
10392c10392
<                                 ("Unexpected value: expected \"audio\" got "
---
>                                 ("Unexpected value: expected \"audio\", got "
10462c10462
<                                 ("Unexpected value: expected \"document\" got "
---
>                                 ("Unexpected value: expected \"document\", got "
10532c10532
<                                 ("Unexpected value: expected \"gif\" got "
---
>                                 ("Unexpected value: expected \"gif\", got "
10602c10602
<                                 ("Unexpected value: expected \"mpeg4_gif\" got "
---
>                                 ("Unexpected value: expected \"mpeg4_gif\", got "
10678c10678
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
10724c10724
<                                 ("Unexpected value: expected \"sticker\" got "
---
>                                 ("Unexpected value: expected \"sticker\", got "
10798c10798
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
10862c10862
<                                 ("Unexpected value: expected \"voice\" got "
---
>                                 ("Unexpected value: expected \"voice\", got "
10938c10938
<                                 ("Unexpected value: expected \"contact\" got "
---
>                                 ("Unexpected value: expected \"contact\", got "
11050c11050
<                                 ("Unexpected value: expected \"document\" got "
---
>                                 ("Unexpected value: expected \"document\", got "
11090c11090
<                                 ("Unexpected value: expected \"game\" got "
---
>                                 ("Unexpected value: expected \"game\", got "
11200c11200
<                                 ("Unexpected value: expected \"gif\" got "
---
>                                 ("Unexpected value: expected \"gif\", got "
11288c11288
<                                 ("Unexpected value: expected \"location\" got "
---
>                                 ("Unexpected value: expected \"location\", got "
11401c11401
<                                 ("Unexpected value: expected \"mpeg4_gif\" got "
---
>                                 ("Unexpected value: expected \"mpeg4_gif\", got "
11489c11489
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
11586c11586
<                                 ("Unexpected value: expected \"venue\" got "
---
>                                 ("Unexpected value: expected \"venue\", got "
11688c11688
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
11765c11765
<                                 ("Unexpected value: expected \"voice\" got "
---
>                                 ("Unexpected value: expected \"voice\", got "
12112c12112
<                                 ("Unexpected value: expected \"animation\" got "
---
>                                 ("Unexpected value: expected \"animation\", got "
12178c12178
<                                 ("Unexpected value: expected \"audio\" got "
---
>                                 ("Unexpected value: expected \"audio\", got "
12236c12236
<                                 ("Unexpected value: expected \"document\" got "
---
>                                 ("Unexpected value: expected \"document\", got "
12294c12294
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
12380c12380
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
12441c12441
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
12500c12500
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
12574c12574
<                                 ("Unexpected value: expected \"animated\" got "
---
>                                 ("Unexpected value: expected \"animated\", got "
12600c12600
<                                 ("Unexpected value: expected \"static\" got "
---
>                                 ("Unexpected value: expected \"static\", got "
12692c12692
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
12736c12736
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
13221c13221
<                                 ("Unexpected value: expected \"commands\" got "
---
>                                 ("Unexpected value: expected \"commands\", got "
13245c13245
<                                 ("Unexpected value: expected \"default\" got "
---
>                                 ("Unexpected value: expected \"default\", got "
13274c13274
<                                 ("Unexpected value: expected \"web_app\" got "
---
>                                 ("Unexpected value: expected \"web_app\", got "
14088c14088
<                                 ("Unexpected value: expected \"channel\" got "
---
>                                 ("Unexpected value: expected \"channel\", got "
14128c14128
<                                 ("Unexpected value: expected \"chat\" got "
---
>                                 ("Unexpected value: expected \"chat\", got "
14159c14159
<                                 ("Unexpected value: expected \"hidden_user\" got "
---
>                                 ("Unexpected value: expected \"hidden_user\", got "
14190c14190
<                                 ("Unexpected value: expected \"user\" got "
---
>                                 ("Unexpected value: expected \"user\", got "
14367c14367
<                                 ("Unexpected value: expected \"regular\" got "
---
>                                 ("Unexpected value: expected \"regular\", got "
14441c14441
<                                 ("Unexpected value: expected \"unique\" got "
---
>                                 ("Unexpected value: expected \"unique\", got "
14517c14517
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
14552c14552
<                                 ("Unexpected value: expected \"preview\" got "
---
>                                 ("Unexpected value: expected \"preview\", got "
14589c14589
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
14685c14685
<                                 ("Unexpected value: expected \"data\" got "
---
>                                 ("Unexpected value: expected \"data\", got "
14753c14753
<                                 ("Unexpected value: expected \"file\" got "
---
>                                 ("Unexpected value: expected \"file\", got "
14823c14823
<                                 ("Unexpected value: expected \"files\" got "
---
>                                 ("Unexpected value: expected \"files\", got "
14890c14890
<                                 ("Unexpected value: expected \"front_side\" got "
---
>                                 ("Unexpected value: expected \"front_side\", got "
14952c14952
<                                 ("Unexpected value: expected \"reverse_side\" got "
---
>                                 ("Unexpected value: expected \"reverse_side\", got "
15008c15008
<                                 ("Unexpected value: expected \"selfie\" got "
---
>                                 ("Unexpected value: expected \"selfie\", got "
15070c15070
<                                 ("Unexpected value: expected \"translation_file\" got "
---
>                                 ("Unexpected value: expected \"translation_file\", got "
15152c15152
<                                 ("Unexpected value: expected \"translation_files\" got "
---
>                                 ("Unexpected value: expected \"translation_files\", got "
15231c15231
<                                 ("Unexpected value: expected \"unspecified\" got "
---
>                                 ("Unexpected value: expected \"unspecified\", got "
15509c15509
<                                 ("Unexpected value: expected \"custom_emoji\" got "
---
>                                 ("Unexpected value: expected \"custom_emoji\", got "
15767c15767
<                                 ("Unexpected value: expected \"emoji\" got "
---
>                                 ("Unexpected value: expected \"emoji\", got "
15791c15791
<                                 ("Unexpected value: expected \"paid\" got "
---
>                                 ("Unexpected value: expected \"paid\", got "
15823c15823
<                                 ("Unexpected value: expected \"XTR\" got "
---
>                                 ("Unexpected value: expected \"XTR\", got "
16004c16004
<                                 ("Unexpected value: expected \"failed\" got "
---
>                                 ("Unexpected value: expected \"failed\", got "
16028c16028
<                                 ("Unexpected value: expected \"pending\" got "
---
>                                 ("Unexpected value: expected \"pending\", got "
16055c16055
<                                 ("Unexpected value: expected \"succeeded\" got "
---
>                                 ("Unexpected value: expected \"succeeded\", got "
16438c16438
<                                 ("Unexpected value: expected \"link\" got "
---
>                                 ("Unexpected value: expected \"link\", got "
16480c16480
<                                 ("Unexpected value: expected \"location\" got "
---
>                                 ("Unexpected value: expected \"location\", got "
16517c16517
<                                 ("Unexpected value: expected \"suggested_reaction\" got "
---
>                                 ("Unexpected value: expected \"suggested_reaction\", got "
16543c16543
<                                 ("Unexpected value: expected \"unique_gift\" got "
---
>                                 ("Unexpected value: expected \"unique_gift\", got "
16580c16580
<                                 ("Unexpected value: expected \"weather\" got "
---
>                                 ("Unexpected value: expected \"weather\", got "
16975c16975
<                                 ("Unexpected value: expected \"affiliate_program\" got "
---
>                                 ("Unexpected value: expected \"affiliate_program\", got "
17003c17003
<                                 ("Unexpected value: expected \"chat\" got "
---
>                                 ("Unexpected value: expected \"chat\", got "
17030c17030
<                                 ("Unexpected value: expected \"fragment\" got "
---
>                                 ("Unexpected value: expected \"fragment\", got "
17059c17059
<                                 ("Unexpected value: expected \"other\" got "
---
>                                 ("Unexpected value: expected \"other\", got "
17083c17083
<                                 ("Unexpected value: expected \"telegram_ads\" got "
---
>                                 ("Unexpected value: expected \"telegram_ads\", got "
17112c17112
<                                 ("Unexpected value: expected \"telegram_api\" got "
---
>                                 ("Unexpected value: expected \"telegram_api\", got "
17212c17212
<                                 ("Unexpected value: expected \"user\" got "
---
>                                 ("Unexpected value: expected \"user\", got "
diff --ignore-all-space --minimal --new-file --recursive main/cli/generated/Trustmark/TradeCheck/Json.elm branch/cli/generated/Trustmark/TradeCheck/Json.elm
126c126
<                                 "Unexpected value: expected false got true"
---
>                                 "Unexpected value: expected false, got true"
192c192
<                                 "Unexpected value: expected true got false"
---
>                                 "Unexpected value: expected true, got false"

@miniBill miniBill force-pushed the integer-as-string branch from d277fbb to 923b923 Compare June 9, 2026 14:32
@github-actions

github-actions Bot commented Jun 9, 2026

Copy link
Copy Markdown
diff --ignore-all-space --minimal --new-file --recursive main/cli/generated/GithubV3RestApi/Json.elm branch/cli/generated/GithubV3RestApi/Json.elm
25944c25944
<                     ("Unexpected value: expected a string matching \"^[0-9a-fA-F]+$\" got "
---
>                     ("Unexpected value: expected a string matching \"^[0-9a-fA-F]+$\", got "
29508c29508
<                                 ("Unexpected value: expected a string matching \"^pkg\" got "
---
>                                 ("Unexpected value: expected a string matching \"^pkg\", got "
48469c48469
<                                 ("Unexpected value: expected a string matching \"^refs/\" got "
---
>                                 ("Unexpected value: expected a string matching \"^refs/\", got "
diff --ignore-all-space --minimal --new-file --recursive main/cli/generated/TelegramBotApi/Json.elm branch/cli/generated/TelegramBotApi/Json.elm
7066c7066
<                                 ("Unexpected value: expected \"freeform_gradient\" got "
---
>                                 ("Unexpected value: expected \"freeform_gradient\", got "
7103c7103
<                                 ("Unexpected value: expected \"gradient\" got "
---
>                                 ("Unexpected value: expected \"gradient\", got "
7129c7129
<                                 ("Unexpected value: expected \"solid\" got "
---
>                                 ("Unexpected value: expected \"solid\", got "
7174c7174
<                                 ("Unexpected value: expected \"chat_theme\" got "
---
>                                 ("Unexpected value: expected \"chat_theme\", got "
7208c7208
<                                 ("Unexpected value: expected \"fill\" got "
---
>                                 ("Unexpected value: expected \"fill\", got "
7254c7254
<                                 ("Unexpected value: expected \"pattern\" got "
---
>                                 ("Unexpected value: expected \"pattern\", got "
7294c7294
<                                 ("Unexpected value: expected \"wallpaper\" got "
---
>                                 ("Unexpected value: expected \"wallpaper\", got "
7369c7369
<                                 ("Unexpected value: expected \"all_chat_administrators\" got "
---
>                                 ("Unexpected value: expected \"all_chat_administrators\", got "
7393c7393
<                                 ("Unexpected value: expected \"all_group_chats\" got "
---
>                                 ("Unexpected value: expected \"all_group_chats\", got "
7417c7417
<                                 ("Unexpected value: expected \"all_private_chats\" got "
---
>                                 ("Unexpected value: expected \"all_private_chats\", got "
7454c7454
<                                 ("Unexpected value: expected \"chat\" got "
---
>                                 ("Unexpected value: expected \"chat\", got "
7491c7491
<                                 ("Unexpected value: expected \"chat_administrators\" got "
---
>                                 ("Unexpected value: expected \"chat_administrators\", got "
7531c7531
<                                 ("Unexpected value: expected \"chat_member\" got "
---
>                                 ("Unexpected value: expected \"chat_member\", got "
7557c7557
<                                 ("Unexpected value: expected \"default\" got "
---
>                                 ("Unexpected value: expected \"default\", got "
8039c8039
<                                 ("Unexpected value: expected \"gift_code\" got "
---
>                                 ("Unexpected value: expected \"gift_code\", got "
8084c8084
<                                 ("Unexpected value: expected \"giveaway\" got "
---
>                                 ("Unexpected value: expected \"giveaway\", got "
8110c8110
<                                 ("Unexpected value: expected \"premium\" got "
---
>                                 ("Unexpected value: expected \"premium\", got "
8625c8625
<                                 ("Unexpected value: expected \"administrator\" got "
---
>                                 ("Unexpected value: expected \"administrator\", got "
8653c8653
<                                 ("Unexpected value: expected \"kicked\" got "
---
>                                 ("Unexpected value: expected \"kicked\", got "
8680c8680
<                                 ("Unexpected value: expected \"left\" got "
---
>                                 ("Unexpected value: expected \"left\", got "
8708c8708
<                                 ("Unexpected value: expected \"member\" got "
---
>                                 ("Unexpected value: expected \"member\", got "
8749c8749
<                                 ("Unexpected value: expected \"creator\" got "
---
>                                 ("Unexpected value: expected \"creator\", got "
8825c8825
<                                 ("Unexpected value: expected \"restricted\" got "
---
>                                 ("Unexpected value: expected \"restricted\", got "
9990c9990
<                                 ("Unexpected value: expected 0 got "
---
>                                 ("Unexpected value: expected 0, got "
10253c10253
<                                 ("Unexpected value: expected \"article\" got "
---
>                                 ("Unexpected value: expected \"article\", got "
10331c10331
<                                 ("Unexpected value: expected \"audio\" got "
---
>                                 ("Unexpected value: expected \"audio\", got "
10392c10392
<                                 ("Unexpected value: expected \"audio\" got "
---
>                                 ("Unexpected value: expected \"audio\", got "
10462c10462
<                                 ("Unexpected value: expected \"document\" got "
---
>                                 ("Unexpected value: expected \"document\", got "
10532c10532
<                                 ("Unexpected value: expected \"gif\" got "
---
>                                 ("Unexpected value: expected \"gif\", got "
10602c10602
<                                 ("Unexpected value: expected \"mpeg4_gif\" got "
---
>                                 ("Unexpected value: expected \"mpeg4_gif\", got "
10678c10678
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
10724c10724
<                                 ("Unexpected value: expected \"sticker\" got "
---
>                                 ("Unexpected value: expected \"sticker\", got "
10798c10798
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
10862c10862
<                                 ("Unexpected value: expected \"voice\" got "
---
>                                 ("Unexpected value: expected \"voice\", got "
10938c10938
<                                 ("Unexpected value: expected \"contact\" got "
---
>                                 ("Unexpected value: expected \"contact\", got "
11050c11050
<                                 ("Unexpected value: expected \"document\" got "
---
>                                 ("Unexpected value: expected \"document\", got "
11090c11090
<                                 ("Unexpected value: expected \"game\" got "
---
>                                 ("Unexpected value: expected \"game\", got "
11200c11200
<                                 ("Unexpected value: expected \"gif\" got "
---
>                                 ("Unexpected value: expected \"gif\", got "
11288c11288
<                                 ("Unexpected value: expected \"location\" got "
---
>                                 ("Unexpected value: expected \"location\", got "
11401c11401
<                                 ("Unexpected value: expected \"mpeg4_gif\" got "
---
>                                 ("Unexpected value: expected \"mpeg4_gif\", got "
11489c11489
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
11586c11586
<                                 ("Unexpected value: expected \"venue\" got "
---
>                                 ("Unexpected value: expected \"venue\", got "
11688c11688
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
11765c11765
<                                 ("Unexpected value: expected \"voice\" got "
---
>                                 ("Unexpected value: expected \"voice\", got "
12112c12112
<                                 ("Unexpected value: expected \"animation\" got "
---
>                                 ("Unexpected value: expected \"animation\", got "
12178c12178
<                                 ("Unexpected value: expected \"audio\" got "
---
>                                 ("Unexpected value: expected \"audio\", got "
12236c12236
<                                 ("Unexpected value: expected \"document\" got "
---
>                                 ("Unexpected value: expected \"document\", got "
12294c12294
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
12380c12380
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
12441c12441
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
12500c12500
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
12574c12574
<                                 ("Unexpected value: expected \"animated\" got "
---
>                                 ("Unexpected value: expected \"animated\", got "
12600c12600
<                                 ("Unexpected value: expected \"static\" got "
---
>                                 ("Unexpected value: expected \"static\", got "
12692c12692
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
12736c12736
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
13221c13221
<                                 ("Unexpected value: expected \"commands\" got "
---
>                                 ("Unexpected value: expected \"commands\", got "
13245c13245
<                                 ("Unexpected value: expected \"default\" got "
---
>                                 ("Unexpected value: expected \"default\", got "
13274c13274
<                                 ("Unexpected value: expected \"web_app\" got "
---
>                                 ("Unexpected value: expected \"web_app\", got "
14088c14088
<                                 ("Unexpected value: expected \"channel\" got "
---
>                                 ("Unexpected value: expected \"channel\", got "
14128c14128
<                                 ("Unexpected value: expected \"chat\" got "
---
>                                 ("Unexpected value: expected \"chat\", got "
14159c14159
<                                 ("Unexpected value: expected \"hidden_user\" got "
---
>                                 ("Unexpected value: expected \"hidden_user\", got "
14190c14190
<                                 ("Unexpected value: expected \"user\" got "
---
>                                 ("Unexpected value: expected \"user\", got "
14367c14367
<                                 ("Unexpected value: expected \"regular\" got "
---
>                                 ("Unexpected value: expected \"regular\", got "
14441c14441
<                                 ("Unexpected value: expected \"unique\" got "
---
>                                 ("Unexpected value: expected \"unique\", got "
14517c14517
<                                 ("Unexpected value: expected \"photo\" got "
---
>                                 ("Unexpected value: expected \"photo\", got "
14552c14552
<                                 ("Unexpected value: expected \"preview\" got "
---
>                                 ("Unexpected value: expected \"preview\", got "
14589c14589
<                                 ("Unexpected value: expected \"video\" got "
---
>                                 ("Unexpected value: expected \"video\", got "
14685c14685
<                                 ("Unexpected value: expected \"data\" got "
---
>                                 ("Unexpected value: expected \"data\", got "
14753c14753
<                                 ("Unexpected value: expected \"file\" got "
---
>                                 ("Unexpected value: expected \"file\", got "
14823c14823
<                                 ("Unexpected value: expected \"files\" got "
---
>                                 ("Unexpected value: expected \"files\", got "
14890c14890
<                                 ("Unexpected value: expected \"front_side\" got "
---
>                                 ("Unexpected value: expected \"front_side\", got "
14952c14952
<                                 ("Unexpected value: expected \"reverse_side\" got "
---
>                                 ("Unexpected value: expected \"reverse_side\", got "
15008c15008
<                                 ("Unexpected value: expected \"selfie\" got "
---
>                                 ("Unexpected value: expected \"selfie\", got "
15070c15070
<                                 ("Unexpected value: expected \"translation_file\" got "
---
>                                 ("Unexpected value: expected \"translation_file\", got "
15152c15152
<                                 ("Unexpected value: expected \"translation_files\" got "
---
>                                 ("Unexpected value: expected \"translation_files\", got "
15231c15231
<                                 ("Unexpected value: expected \"unspecified\" got "
---
>                                 ("Unexpected value: expected \"unspecified\", got "
15509c15509
<                                 ("Unexpected value: expected \"custom_emoji\" got "
---
>                                 ("Unexpected value: expected \"custom_emoji\", got "
15767c15767
<                                 ("Unexpected value: expected \"emoji\" got "
---
>                                 ("Unexpected value: expected \"emoji\", got "
15791c15791
<                                 ("Unexpected value: expected \"paid\" got "
---
>                                 ("Unexpected value: expected \"paid\", got "
15823c15823
<                                 ("Unexpected value: expected \"XTR\" got "
---
>                                 ("Unexpected value: expected \"XTR\", got "
16004c16004
<                                 ("Unexpected value: expected \"failed\" got "
---
>                                 ("Unexpected value: expected \"failed\", got "
16028c16028
<                                 ("Unexpected value: expected \"pending\" got "
---
>                                 ("Unexpected value: expected \"pending\", got "
16055c16055
<                                 ("Unexpected value: expected \"succeeded\" got "
---
>                                 ("Unexpected value: expected \"succeeded\", got "
16438c16438
<                                 ("Unexpected value: expected \"link\" got "
---
>                                 ("Unexpected value: expected \"link\", got "
16480c16480
<                                 ("Unexpected value: expected \"location\" got "
---
>                                 ("Unexpected value: expected \"location\", got "
16517c16517
<                                 ("Unexpected value: expected \"suggested_reaction\" got "
---
>                                 ("Unexpected value: expected \"suggested_reaction\", got "
16543c16543
<                                 ("Unexpected value: expected \"unique_gift\" got "
---
>                                 ("Unexpected value: expected \"unique_gift\", got "
16580c16580
<                                 ("Unexpected value: expected \"weather\" got "
---
>                                 ("Unexpected value: expected \"weather\", got "
16975c16975
<                                 ("Unexpected value: expected \"affiliate_program\" got "
---
>                                 ("Unexpected value: expected \"affiliate_program\", got "
17003c17003
<                                 ("Unexpected value: expected \"chat\" got "
---
>                                 ("Unexpected value: expected \"chat\", got "
17030c17030
<                                 ("Unexpected value: expected \"fragment\" got "
---
>                                 ("Unexpected value: expected \"fragment\", got "
17059c17059
<                                 ("Unexpected value: expected \"other\" got "
---
>                                 ("Unexpected value: expected \"other\", got "
17083c17083
<                                 ("Unexpected value: expected \"telegram_ads\" got "
---
>                                 ("Unexpected value: expected \"telegram_ads\", got "
17112c17112
<                                 ("Unexpected value: expected \"telegram_api\" got "
---
>                                 ("Unexpected value: expected \"telegram_api\", got "
17212c17212
<                                 ("Unexpected value: expected \"user\" got "
---
>                                 ("Unexpected value: expected \"user\", got "
diff --ignore-all-space --minimal --new-file --recursive main/cli/generated/Trustmark/TradeCheck/Json.elm branch/cli/generated/Trustmark/TradeCheck/Json.elm
126c126
<                                 "Unexpected value: expected false got true"
---
>                                 "Unexpected value: expected false, got true"
192c192
<                                 "Unexpected value: expected true got false"
---
>                                 "Unexpected value: expected true, got false"

@miniBill

miniBill commented Jun 9, 2026

Copy link
Copy Markdown
Collaborator Author

This is a bad idea

@miniBill miniBill closed this Jun 9, 2026
@miniBill miniBill deleted the integer-as-string branch June 9, 2026 15:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant