diff options
author | Nadrieril | 2020-04-10 12:22:44 +0100 |
---|---|---|
committer | GitHub | 2020-04-10 12:22:44 +0100 |
commit | f78da0fb1f338123a226ec4d576b5329fffb5148 (patch) | |
tree | 627fa7b0b2b951efc4102d02e0a8f5a05e4aa03e /dhall/src/operations/normalization.rs | |
parent | da80ef06a91e3869cc3c1d4dbd07259c408ff490 (diff) | |
parent | efe4b340bebaa7ef8bce6e69194959b126c5fade (diff) |
Merge pull request #160 from Nadrieril/toMap
Deserialize `Prelude.Map` and `toMap` to a map instead of a list
Diffstat (limited to 'dhall/src/operations/normalization.rs')
-rw-r--r-- | dhall/src/operations/normalization.rs | 4 |
1 files changed, 2 insertions, 2 deletions
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(), }, |