summaryrefslogtreecommitdiff
path: root/dhall/src/phase
diff options
context:
space:
mode:
authorNadrieril2019-08-15 22:12:06 +0200
committerNadrieril2019-08-15 22:12:06 +0200
commit816f616479cfa277e19b2e69be6c41bc8210e032 (patch)
treeaee9e97e364fb76558f8617bf046aa77a4db3223 /dhall/src/phase
parent9e38d92bf481da8e34081c81c813acd802efa016 (diff)
Disable some unused unstable features
Diffstat (limited to 'dhall/src/phase')
-rw-r--r--dhall/src/phase/normalize.rs2
-rw-r--r--dhall/src/phase/resolve.rs3
-rw-r--r--dhall/src/phase/typecheck.rs2
3 files changed, 3 insertions, 4 deletions
diff --git a/dhall/src/phase/normalize.rs b/dhall/src/phase/normalize.rs
index f11269e..02406f2 100644
--- a/dhall/src/phase/normalize.rs
+++ b/dhall/src/phase/normalize.rs
@@ -752,7 +752,7 @@ pub fn normalize_one_layer(expr: ExprF<Thunk, Normalized>) -> Value {
None => Ret::Expr(expr),
},
- ExprF::Projection(_, ls) if ls.is_empty() => {
+ ExprF::Projection(_, ref ls) if ls.is_empty() => {
Ret::Value(RecordLit(HashMap::new()))
}
ExprF::Projection(ref v, ref ls) => {
diff --git a/dhall/src/phase/resolve.rs b/dhall/src/phase/resolve.rs
index 52353e4..dabecf2 100644
--- a/dhall/src/phase/resolve.rs
+++ b/dhall/src/phase/resolve.rs
@@ -105,9 +105,8 @@ pub fn skip_resolve_expr(
}
#[cfg(test)]
+#[rustfmt::skip]
mod spec_tests {
- #![rustfmt::skip]
-
macro_rules! import_success {
($name:ident, $path:expr) => {
make_spec_test!(Import, Success, $name, &("../dhall-lang/tests/import/success/".to_owned() + $path));
diff --git a/dhall/src/phase/typecheck.rs b/dhall/src/phase/typecheck.rs
index 89e2da8..5eab8da 100644
--- a/dhall/src/phase/typecheck.rs
+++ b/dhall/src/phase/typecheck.rs
@@ -438,7 +438,7 @@ fn type_last_layer(
}
Assert(t) => {
match t.to_value() {
- Value::Equivalence(x, y) if x == y => {}
+ Value::Equivalence(ref x, ref y) if x == y => {}
Value::Equivalence(x, y) => {
return Err(mkerr(AssertMismatch(
x.to_typed(),