diff options
author | Nadrieril | 2019-03-06 12:19:26 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-06 12:19:26 +0100 |
commit | 564a5f37b106c69d8ebe9aec2f665f5222b3dfda (patch) | |
tree | 21779d5ea3bc5daaec7fa214402868cde101cfce /dhall_core/src | |
parent | 5b32c5bdea80a0bdf19240f3cc2b8e2ae251d51a (diff) |
Split-off core into its own crate
Diffstat (limited to '')
-rw-r--r-- | dhall_core/src/core.rs (renamed from dhall/src/core.rs) | 0 | ||||
-rw-r--r-- | dhall_core/src/grammar.lalrpop (renamed from dhall/src/grammar.lalrpop) | 0 | ||||
-rw-r--r-- | dhall_core/src/grammar_util.rs (renamed from dhall/src/grammar_util.rs) | 0 | ||||
-rw-r--r-- | dhall_core/src/lexer.rs (renamed from dhall/src/lexer.rs) | 0 | ||||
-rw-r--r-- | dhall_core/src/lib.rs | 10 | ||||
-rw-r--r-- | dhall_core/src/parser.rs (renamed from dhall/src/parser.rs) | 0 |
6 files changed, 10 insertions, 0 deletions
diff --git a/dhall/src/core.rs b/dhall_core/src/core.rs index 340cb04..340cb04 100644 --- a/dhall/src/core.rs +++ b/dhall_core/src/core.rs diff --git a/dhall/src/grammar.lalrpop b/dhall_core/src/grammar.lalrpop index 1ffe2ff..1ffe2ff 100644 --- a/dhall/src/grammar.lalrpop +++ b/dhall_core/src/grammar.lalrpop diff --git a/dhall/src/grammar_util.rs b/dhall_core/src/grammar_util.rs index ce73444..ce73444 100644 --- a/dhall/src/grammar_util.rs +++ b/dhall_core/src/grammar_util.rs diff --git a/dhall/src/lexer.rs b/dhall_core/src/lexer.rs index 5fc0f05..5fc0f05 100644 --- a/dhall/src/lexer.rs +++ b/dhall_core/src/lexer.rs diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs new file mode 100644 index 0000000..e1d0f7d --- /dev/null +++ b/dhall_core/src/lib.rs @@ -0,0 +1,10 @@ +#![feature(box_patterns)] +#![feature(trace_macros)] + +pub mod core; +pub use crate::core::*; +use lalrpop_util::lalrpop_mod; +lalrpop_mod!(pub grammar); +mod grammar_util; +pub mod lexer; +pub mod parser; diff --git a/dhall/src/parser.rs b/dhall_core/src/parser.rs index 6b20c01..6b20c01 100644 --- a/dhall/src/parser.rs +++ b/dhall_core/src/parser.rs |