diff options
| -rw-r--r-- | dhall/src/lib.rs | 1 | ||||
| -rw-r--r-- | dhall/src/typecheck.rs | 2 | ||||
| -rw-r--r-- | dhall_core/src/context.rs (renamed from dhall/src/context.rs) | 0 | ||||
| -rw-r--r-- | dhall_core/src/lib.rs | 1 |
4 files changed, 2 insertions, 2 deletions
diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs index 902df53..32662cd 100644 --- a/dhall/src/lib.rs +++ b/dhall/src/lib.rs @@ -1,5 +1,4 @@ #![feature(box_patterns)] #![feature(trace_macros)] -pub mod context; pub mod typecheck; diff --git a/dhall/src/typecheck.rs b/dhall/src/typecheck.rs index 26192d2..aa8aa08 100644 --- a/dhall/src/typecheck.rs +++ b/dhall/src/typecheck.rs @@ -3,7 +3,7 @@ use std::collections::BTreeMap; use std::collections::HashSet; use std::fmt; -use crate::context::Context; +use dhall_core::context::Context; use dhall_core::core; use dhall_core::core::Builtin::*; use dhall_core::core::Const::*; diff --git a/dhall/src/context.rs b/dhall_core/src/context.rs index b88a677..b88a677 100644 --- a/dhall/src/context.rs +++ b/dhall_core/src/context.rs diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs index e1d0f7d..dbdd08c 100644 --- a/dhall_core/src/lib.rs +++ b/dhall_core/src/lib.rs @@ -8,3 +8,4 @@ lalrpop_mod!(pub grammar); mod grammar_util; pub mod lexer; pub mod parser; +pub mod context; |