summaryrefslogtreecommitdiff
path: root/dhall/src/lib.rs
diff options
context:
space:
mode:
Diffstat (limited to 'dhall/src/lib.rs')
-rw-r--r--dhall/src/lib.rs12
1 files changed, 12 insertions, 0 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
new file mode 100644
index 0000000..e07071d
--- /dev/null
+++ b/dhall/src/lib.rs
@@ -0,0 +1,12 @@
+#![feature(box_patterns)]
+
+pub mod context;
+mod core;
+pub use crate::core::*;
+use lalrpop_util::lalrpop_mod;
+lalrpop_mod!(pub grammar); // synthesized by LALRPOP
+mod grammar_util;
+mod generated_parser;
+pub mod lexer;
+pub mod parser;
+pub mod typecheck;