Skip to content

Comments

Pickup: include input_name in Table.Reader fields #478

Merged
PragTob merged 5 commits intomainfrom
madlep-include-input_name-in-table
Oct 21, 2025
Merged

Pickup: include input_name in Table.Reader fields #478
PragTob merged 5 commits intomainfrom
madlep-include-input_name-in-table

Conversation

@PragTob
Copy link
Member

@PragTob PragTob commented Oct 21, 2025

Continuation/minor fixyp of #476

madlep and others added 4 commits October 21, 2025 21:10
* Make sure we only treat the special no input marker as no input,
not `nil`
* Make that clear in the type spec which was wrong and definitely
got this value even before but why would dialyzer complain?
@PragTob PragTob merged commit 60d5dcd into main Oct 21, 2025
24 checks passed
@PragTob PragTob deleted the madlep-include-input_name-in-table branch October 21, 2025 19:49
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