Skip to content

Fix misleading filename docstring (empty path returns Just "", not Nothing)#3

Merged
hellerve merged 1 commit into
masterfrom
claude/fix-filename-empty-doc
Jun 29, 2026
Merged

Fix misleading filename docstring (empty path returns Just "", not Nothing)#3
hellerve merged 1 commit into
masterfrom
claude/fix-filename-empty-doc

Fix filename doc: empty path returns Just "", not Nothing

1ac6c89
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar