From bc1c40d670de0e37edf525fccd13a837b5983e7e Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 14 Mar 2019 21:53:07 +0100
Subject: Handle and parse interpolated strings

Closes #25
---
 dhall/src/normalize.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dhall/src/normalize.rs')

diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 50a1625..5003ccd 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -42,7 +42,7 @@ where
                 (NaturalEven, NaturalLit(n)) => BoolLit(n % 2 == 0),
                 (NaturalOdd, NaturalLit(n)) => BoolLit(n % 2 != 0),
                 (NaturalToInteger, NaturalLit(n)) => IntegerLit(n as isize),
-                (NaturalShow, NaturalLit(n)) => TextLit(n.to_string()),
+                (NaturalShow, NaturalLit(n)) => TextLit(n.to_string().into()),
 
                 (b, App(f, x)) => match (b, normalize_whnf(&f), x) {
                     // fold/build fusion for `Natural`
@@ -202,7 +202,7 @@ where
             (BoolNE, BoolLit(x), BoolLit(y)) => BoolLit(x != y),
             (NaturalPlus, NaturalLit(x), NaturalLit(y)) => NaturalLit(x + y),
             (NaturalTimes, NaturalLit(x), NaturalLit(y)) => NaturalLit(x * y),
-            (TextAppend, TextLit(x), TextLit(y)) => TextLit(x + &y),
+            (TextAppend, TextLit(x), TextLit(y)) => TextLit(x + y),
             (ListAppend, ListLit(t1, xs), ListLit(t2, ys)) => {
                 // Drop type annotation if the result is nonempty
                 let t = if xs.is_empty() && ys.is_empty() {
-- 
cgit v1.2.3