Hi there, it seems that NonEmpty
does not have an Ord
instance. Any plans to add this? Would be nice to have. I realize now that I can make PRs onto Daml’s public Github repo, happy to make a PR for this one, should be fairly straightforward to add I think.
4 Likes
Hi @huw, an Ord
instance for NonEmpty
would definitely me reasonable and we’d happily accept a PR!
3 Likes
Great! I’ll give it a shot
2 Likes
Hi @cocreature , I have created the code and tests for this change. Seems I get a 403 error trying to push to a branch on your repo. Do I need to request access?
1 Like
You can create a pull request from a fork. First fork the repository, then push to a branch on your fork and then create a PR from that. See Creating a pull request from a fork - GitHub Docs for details.
1 Like