From efe4b340bebaa7ef8bce6e69194959b126c5fade Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 10 Apr 2020 12:10:53 +0100
Subject: Deserialize `Prelude.Map` and `toMap` to a map instead of a list

---
 dhall/src/operations/normalization.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dhall/src/operations/normalization.rs')

diff --git a/dhall/src/operations/normalization.rs b/dhall/src/operations/normalization.rs
index e3a9415..86fed13 100644
--- a/dhall/src/operations/normalization.rs
+++ b/dhall/src/operations/normalization.rs
@@ -226,11 +226,11 @@ pub fn normalize_operation(opkind: &OpKind<Nir>) -> Ret {
                     Some(h) => ret_kind(h.app_to_kind(v.clone())),
                     None => nothing_to_do(),
                 },
-                EmptyOptionalLit(_) => match kvs.get(&"None".into()) {
+                EmptyOptionalLit(_) => match kvs.get("None") {
                     Some(h) => ret_ref(h),
                     None => nothing_to_do(),
                 },
-                NEOptionalLit(v) => match kvs.get(&"Some".into()) {
+                NEOptionalLit(v) => match kvs.get("Some") {
                     Some(h) => ret_kind(h.app_to_kind(v.clone())),
                     None => nothing_to_do(),
                 },
-- 
cgit v1.2.3