Skip to content

Conversation

@Budalebah
Copy link

@Budalebah Budalebah commented Oct 29, 2025

Summary

Fixes spelling errors in source files:

  • recievereceive
  • occurenceoccurrence

These corrections improve the quality and professionalism of the codebase.

Changes

Updated 6 files:

  • Source files: Submit.daml, NonEmpty.daml, Version.hs, Config.hs
  • Documentation: Daml-Script.rst, DA-NonEmpty.rst

Note: Auto-generated *-hoogle.txt files are not included as they will be automatically regenerated during build.

Related

Addresses issues found in PR #21872 where similar typos were identified. This PR fixes the root cause by correcting the typos in the source files instead of the generated files.

Budalebah and others added 2 commits October 29, 2025 13:43
- Fix 'recieve' to 'receive' in Submit.daml and Daml-Script.rst
- Fix 'occurence' to 'occurrence' in NonEmpty.daml, Version.hs, Config.hs and DA-NonEmpty.rst

Note: hoogle.txt files are auto-generated and will be updated automatically when the project is rebuilt.
@paulbrauner-da
Copy link
Contributor

/azp run

@azure-pipelines
Copy link
Contributor

Azure Pipelines successfully started running 1 pipeline(s).

@paulbrauner-da paulbrauner-da enabled auto-merge (squash) October 30, 2025 14:03
@paulbrauner-da
Copy link
Contributor

#21872 was ok after all, the hoogle files are checked in, my bad.

auto-merge was automatically disabled October 30, 2025 14:12

Pull request was closed

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