Skip to content

Conversation

@BinderDavid
Copy link
Collaborator

Fixes #122

@BinderDavid
Copy link
Collaborator Author

This is the 100th documented error message 🎆 🎉

@david-christiansen david-christiansen merged commit 2165d4a into main Aug 23, 2023
@david-christiansen
Copy link
Contributor

Wonderful!

@BinderDavid BinderDavid deleted the GHC-57396 branch September 27, 2023 13:24
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.

LinearTypesNotAllowed -> 57396

3 participants