Skip to content

refactor(melobjinfo): make input files nonempty - #1888

Open
anmonteiro wants to merge 2 commits into
mainfrom
refactor/nonempty-melobjinfo-files
Open

refactor(melobjinfo): make input files nonempty#1888
anmonteiro wants to merge 2 commits into
mainfrom
refactor/nonempty-melobjinfo-files

Conversation

@anmonteiro

Copy link
Copy Markdown
Member

Carry validated melobjinfo inputs as Nonempty_list.t while processing files.

Depends on #1885.

@anmonteiro
anmonteiro force-pushed the refactor/nonempty-list-operations branch 2 times, most recently from a349d68 to b96653a Compare September 9, 2026 21:14
@anmonteiro
anmonteiro force-pushed the refactor/nonempty-melobjinfo-files branch from 8dbd9ef to 1a81c42 Compare September 9, 2026 21:16
@anmonteiro
anmonteiro force-pushed the refactor/nonempty-list-operations branch from b96653a to 42279b1 Compare September 9, 2026 21:28
@anmonteiro
anmonteiro force-pushed the refactor/nonempty-melobjinfo-files branch from 1a81c42 to dd380d1 Compare September 9, 2026 21:29
@anmonteiro
anmonteiro force-pushed the refactor/nonempty-list-operations branch from 42279b1 to 1926872 Compare September 9, 2026 21:40
@anmonteiro
anmonteiro force-pushed the refactor/nonempty-melobjinfo-files branch from dd380d1 to d5beab2 Compare September 9, 2026 21:41
@anmonteiro
anmonteiro force-pushed the refactor/nonempty-list-operations branch from 1926872 to 611656f Compare September 9, 2026 22:05
@anmonteiro
anmonteiro force-pushed the refactor/nonempty-melobjinfo-files branch from d5beab2 to 58b504f Compare September 9, 2026 22:07
Base automatically changed from refactor/nonempty-list-operations to main September 9, 2026 22:16
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