Skip to content

Fix: Resolve macOS filename collision between Clause.rkt and clause.rkt #666

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
1234-ad wants to merge 5 commits into
base: master
Choose a base branch
from
Open

Fix: Resolve macOS filename collision between Clause.rkt and clause.rkt #666

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
96e66ab
Fix: Rename Clause.rkt to clause-struct.rkt to resolve macOS filename…
1234-ad Jan 7, 2026
140411a
Remove old Clause.rkt file (replaced by clause-struct.rkt)
1234-ad Jan 7, 2026
9d17468
Update import: satore/Clause → satore/clause-struct in unification-tr…
1234-ad Jan 7, 2026
8fc922c
Update import: satore/Clause → satore/clause-struct in rewrite-tree.rkt
1234-ad Jan 7, 2026
c3c250d
Update import: satore/Clause → satore/clause-struct in saturation.rkt
1234-ad Jan 7, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
0 satore/Clause.rkt → satore/clause-struct.rkt
View file
Open in desktop
File renamed without changes.
4 changes: 2 additions & 2 deletions satore/rewrite-tree.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@
racket/file
racket/list
racket/string
satore/Clause
satore/clause-struct
satore/clause-format
satore/clause
satore/misc
Expand Down Expand Up @@ -521,7 +521,7 @@
; We set the bit to #true, *even if* no rule has been added,
; because the purpose of this bit is to avoid considering
; C later again to save time.
; TODO: We could set Conv as a rewrite-rule too but ONLY if C also subsumes the converse
; TODO: We could set Conv as a rewrite-rule too but ONLY if C also subsumes the converse
; TODO: of conv.
(set-Clause-binary-rewrite-rule?! C #true)
rls]))]))
Expand Down
2 changes: 1 addition & 1 deletion satore/saturation.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
racket/math
racket/pretty
racket/string
satore/Clause
satore/clause-struct
satore/clause-format
satore/clause
satore/interact
Expand Down
2 changes: 1 addition & 1 deletion satore/unification-tree.rkt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@
define2
global
racket/list
satore/Clause
satore/clause-struct
satore/clause
satore/misc
satore/trie
Expand Down