Skip to content

clean up unused types in definitions.rs and remove outdated docstring - #818

Merged
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:clean-up-definitions-collections
Sep 25, 2026
Merged

NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:clean-up-definitions-collections

Conversation

@moritz-gross

Copy link
Copy Markdown
Collaborator

as far as I can tell, the majority of the code at the start of this file is obsolete at this point.

  • CollectionFromFile and VariableDefHashMap are type alias that are used only once, immediately after declaration
  • Contains does not have any implementations
  • docstring mentions non-existent FromFileVariable (among other stuff)
  • the name Contains for Vec/Set/Map is unclear to me, so I renamed it, but maybe I'm missing the meaning somehow !?

@moritz-gross moritz-gross changed the title clean up unused types in definitions and remove outdated docstring clean up unused types in definitions.rs and remove outdated docstring Sep 25, 2026
@NSoiffer

Copy link
Copy Markdown
Collaborator

Looks good. I think things changed from the early implementation.

@NSoiffer
NSoiffer merged commit ad0e716 into daisy:main Sep 25, 2026
10 checks passed
@github-project-automation github-project-automation Bot moved this from Triage to Done in MathCAT Project Board Sep 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants