diff options
| author | Nadrieril Feneanar | 2019-11-11 17:01:02 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-11 17:01:02 +0100 |
| commit | 84cd6f386d6f4c7952fbc1da87dcd754f26ee404 (patch) | |
| tree | d348f580a00c4b97f04f3a2e41ea2a23d67af824 /dhall/src/core/valuef.rs | |
| parent | f58ff637c8d53af1fcee43bfba5a9f8de799084c (diff) | |
| parent | 8b566b2575096562c2e15d6ac9ee8750db2cf14f (diff) | |
Merge pull request #114 from Nadrieril/nice-type-errors
Ground work for pretty type errors
Diffstat (limited to '')
| -rw-r--r-- | dhall/src/core/valuef.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dhall/src/core/valuef.rs b/dhall/src/core/valuef.rs index 4e457e6..e5d0807 100644 --- a/dhall/src/core/valuef.rs +++ b/dhall/src/core/valuef.rs @@ -1,12 +1,13 @@ use std::collections::HashMap; use dhall_syntax::{ - rc, Builtin, Const, ExprF, Integer, InterpolatedTextContents, Label, + Builtin, Const, ExprF, Integer, InterpolatedTextContents, Label, NaiveDouble, Natural, }; use crate::core::value::{ToExprOptions, Value}; use crate::core::var::{AlphaLabel, AlphaVar, Shift, Subst}; +use crate::phase::typecheck::rc; use crate::phase::{Normalized, NormalizedExpr}; /// A semantic value. Subexpressions are Values, which are partially evaluated expressions that are |