diff options
author | Nadrieril | 2019-08-15 22:12:06 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-15 22:12:06 +0200 |
commit | 816f616479cfa277e19b2e69be6c41bc8210e032 (patch) | |
tree | aee9e97e364fb76558f8617bf046aa77a4db3223 /dhall/src/phase | |
parent | 9e38d92bf481da8e34081c81c813acd802efa016 (diff) |
Disable some unused unstable features
Diffstat (limited to 'dhall/src/phase')
-rw-r--r-- | dhall/src/phase/normalize.rs | 2 | ||||
-rw-r--r-- | dhall/src/phase/resolve.rs | 3 | ||||
-rw-r--r-- | dhall/src/phase/typecheck.rs | 2 |
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(), |