diff options
author | Nadrieril | 2019-05-06 23:52:15 +0200 |
---|---|---|
committer | Nadrieril | 2019-05-06 23:52:15 +0200 |
commit | 55b5be3407a8528bc47482a591b168a7cb0ce91e (patch) | |
tree | 4ccd6a98d01e6436c7fdd51a77837b02847fc3a2 /dhall/src/error | |
parent | 5b91eaa9d6b70a2ac72fe19f2d21871c8d94b017 (diff) |
Move main datatypes into their own modules
Diffstat (limited to 'dhall/src/error')
-rw-r--r-- | dhall/src/error/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/src/error/mod.rs b/dhall/src/error/mod.rs index e70b9a9..f84d078 100644 --- a/dhall/src/error/mod.rs +++ b/dhall/src/error/mod.rs @@ -2,8 +2,8 @@ use std::io::Error as IOError; use dhall_syntax::{BinOp, Import, Label, ParseError, V}; +use crate::core::context::TypecheckContext; use crate::phase::resolve::ImportStack; -use crate::phase::typecheck::TypecheckContext; use crate::phase::{Normalized, Type, Typed}; pub type Result<T> = std::result::Result<T, Error>; |