Skip to content

Conversation

@aryairani
Copy link
Contributor

Overview

Tests a case of moveTo that Fabio asked about.

Implementation approach and notes

n/a

Interesting/controversial decisions

n/a

Test coverage

expanded transcript

Loose ends

Final checklist

  • Choose your PR title well: Your pull request title is what's used to create release notes, so please make it descriptive of the change itself, which may be different from the initial motivation to make the change.
  • Update your PR description if the specifics of the PR have changed over time.
  • Include transcripts or screenshots that demonstrate the changed behavior.
  • If you changed .cabal files, make sure the package.yaml files are up-to-date instead.

@aryairani aryairani merged commit d0171dc into trunk Dec 19, 2025
31 checks passed
@aryairani aryairani deleted the moveto-rename branch December 19, 2025 16:56
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.

2 participants