Skip to content

Conversation

@guard-who
Copy link
Member

close #29

@jvoigtlaender
Copy link
Member

Hold off merging this.

@guard-who guard-who marked this pull request as draft December 5, 2025 17:21
@guard-who guard-who marked this pull request as ready for review December 6, 2025 02:10
Comment on lines 209 to 214
stail :: [a] -> [a]
stail [] = []
stail xs = tail xs
stail (_:xs) = xs
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

In short drop 1?

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.

deal with x-partial errors

3 participants