Skip to content
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.

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

Support public/1 directive, add public_clauses flag (#372) #374

Closed
wants to merge 1 commit into from

Conversation

guregu
Copy link
Contributor

@guregu guregu commented Oct 18, 2023

See: #372. Applied feedback from @UWN.

Changes:

  • Support public/1 directive
  • Add public_clauses flag that bypasses the public-private check when on (off by default)
    • Feel free to name this something else
  • Add predicate_property/2 for publicness
  • Undo strict_iso stuff for clause/2 that was added in Support clause/2,3 for non-dynamic clauses #373

Internal stuff:

  • Added is_exported bit for predicates
  • Use is_exported instead of is_public for module exporting stuff
  • Remove a singleton var from the tests I added 🙈
  • Add a test for public/1 directive
  • I left module.make_public alone as I wasn't sure exactly what it was for.

@guregu guregu changed the title Support public directive, add public_clauses flag (#372) Support public/1 directive, add public_clauses flag (#372) Oct 18, 2023
@guregu
Copy link
Contributor Author

guregu commented Oct 18, 2023

Closing in favor of a system predicate as per #372 (comment)

@guregu guregu closed this Oct 18, 2023
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.

1 participant