Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to 'tamer/src/ir/mod.rs')
-rw-r--r--tamer/src/ir/mod.rs11
1 files changed, 11 insertions, 0 deletions
diff --git a/tamer/src/ir/mod.rs b/tamer/src/ir/mod.rs
index faf2673..3b94703 100644
--- a/tamer/src/ir/mod.rs
+++ b/tamer/src/ir/mod.rs
@@ -59,6 +59,17 @@
//! a graph data structure,
//! and is capable of representing entire programs composed of many
//! different packages.
+//!
+//! Lowering
+//! ========
+//! IRs are progressively _lowered_ to other IRs that are closer to the
+//! final representation emitted by the compiler ("lower"-level).
+//!
+//! - [`xmlo::reader`](crate::obj::xmlo::reader) produces
+//! [`XmloEvent`](crate::obj::xmlo::XmloEvent)s containing
+//! [`legacyir`].
+//! - [`xmlo::asg_builder`](crate::obj::xmlo::asg_builder) immediately lowers
+//! those into [`asg`].
pub mod asg;
pub mod legacyir;