Merge pull request #592 from hacspec/hax-lib-expose-proc-macros

feat(hax-lib): export proc-macros from `hax-lib-macros`
cryspen · Apr 10, 2024 · fd78dab · fd78dab
2 parents f7e3bbe + 7ace44d
commit fd78dab
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 0 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/hax-lib/Cargo.toml b/hax-lib/Cargo.toml
@@ -12,3 +12,4 @@ description = "Hax-specific helpers for Rust programs"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
+hax-lib-macros = {path = "../hax-lib-macros"}
diff --git a/hax-lib/src/lib.rs b/hax-lib/src/lib.rs
@@ -129,3 +129,5 @@ pub fn exists<T>(_f: impl Fn(T) -> bool) -> bool {
 pub fn implies(lhs: bool, rhs: impl Fn() -> bool) -> bool {
     !lhs || rhs()
 }
+
+pub use hax_lib_macros::*;
Original file line number	Diff line number	Diff line change
Expand Up		@@ -12,3 +12,4 @@ description = "Hax-specific helpers for Rust programs"
		# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

		[dependencies]
		hax-lib-macros = {path = "../hax-lib-macros"}