diff options
| author | Nadrieril | 2019-11-11 11:20:32 +0000 |
|---|---|---|
| committer | Nadrieril | 2019-11-11 13:50:36 +0000 |
| commit | b68c3af578d1f6b0d1e32e7d88ef57774fb468d8 (patch) | |
| tree | d35a77d82657928e817fa2541edb6dcbe8455266 /dhall/src/core | |
| parent | a8cb6926cbafb2ac806f7bec27a29b0528ed5056 (diff) | |
Capture absence of span in Span itself
Diffstat (limited to 'dhall/src/core')
| -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 |