Skip to content

typeck: pin remaining diagnostic wording - #468

Merged
onatozmenn merged 3 commits into
mainfrom
typeck-pin-wording-batch
Jul 29, 2026
Merged

typeck: pin remaining diagnostic wording#468
onatozmenn merged 3 commits into
mainfrom
typeck-pin-wording-batch

Conversation

@onatozmenn

Copy link
Copy Markdown
Collaborator

Batch the remaining wording pins that were stuck in fmt/rebase thrash into one PR.

Pins rendered diagnostic text for:

  • all_arms_must_agree
  • a_return_is_checked_against_the_signature
  • an_operator_with_two_known_sides_is_checked
  • a_self_referential_alias_is_reported_once
  • a_handler_operation_is_checked_against_those_types
  • two_types_that_do_not_match_are_one_mistake_not_two
  • plus_will_not_join_a_number_to_a_string
  • an_imported_effect_operation_called_with_the_wrong_arity_is_an_error
  • a_call_to_an_imported_effect_operation_is_checked

Test-only. No production code.

Investigated with AI assistance.

@onatozmenn
onatozmenn merged commit 03726b3 into main Jul 29, 2026
2 checks passed
@onatozmenn
onatozmenn deleted the typeck-pin-wording-batch branch July 29, 2026 21:10
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