Skip to content

Commit

Permalink
REFACTOR: library(rbtrees) to use more => style rules and use det/1.
Browse files Browse the repository at this point in the history 
This refactoring guards at practically zero overhead cost against errors
such as passing  variable rather than a Red-Black tree, passing an invalid
Red-Black tree.  This patch makes the library strictly stead-fast.  Finally,
many test cases are added.

Fix is_rbtree/1 fail condition; use => in more places
  • Loading branch information
@kamahen @JanWielemaker
kamahen authored and JanWielemaker committed Dec 5, 2021
1 parent b6abf3a commit 062a975
Show file tree
Hide file tree
Showing 2 changed files with 411 additions and 138 deletions.

1 comment on commit 062a975

@JanWielemaker
Copy link
Member

Choose a reason for hiding this comment

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

This commit has been mentioned on SWI-Prolog. There might be relevant details there:

https://swi-prolog.discourse.group/t/example-of-converting-code-to-ssu/4713/1

Please sign in to comment.