Skip to content

Define stimes 0 for lazy text#641

Merged
Bodigrim merged 1 commit into
masterfrom
stimes-lazy
Jun 21, 2025
Merged

Define stimes 0 for lazy text#641
Bodigrim merged 1 commit into
masterfrom
stimes-lazy

Conversation

@Lysxia

@Lysxia Lysxia commented Jun 16, 2025

Copy link
Copy Markdown
Contributor

Close #632

Comment thread src/Data/Text/Lazy.hs Outdated
@Bodigrim
Bodigrim merged commit 7cd1deb into master Jun 21, 2025
48 of 49 checks passed
@Bodigrim
Bodigrim deleted the stimes-lazy branch June 21, 2025 00:30
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.

stimes 0 is undefined on lazy text

2 participants