From 4f2c27bc1ca8c2147fa8e9292c6cec04ab8d0984 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 15 Mar 2019 23:45:50 +0100
Subject: Get rid of box patterns

Closes #27
---
 dhall/src/lib.rs       |  1 -
 dhall/src/normalize.rs | 26 +++++++++++++-------------
 2 files changed, 13 insertions(+), 14 deletions(-)

(limited to 'dhall')

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index f976c65..d8ca955 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -1,4 +1,3 @@
-#![feature(box_patterns)]
 #![feature(trace_macros)]
 #![feature(proc_macro_hygiene)]
 #![feature(slice_patterns)]
diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 9f246e4..ca261e1 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -68,41 +68,41 @@ where
                     let xs = ys.iter().rev().cloned().collect();
                     ListLit(t.clone(), xs)
                 }
-                (ListBuild, [a0, k]) => {
+                (ListBuild, [a0, g]) => {
                     // fold/build fusion
-                    let k = match k {
-                        App(box Builtin(ListFold), args) => {
-                            match args.as_slice() {
-                                [_, x, rest..] => {
+                    let g = match g {
+                        App(f, args) => {
+                            match (&**f, args.as_slice()) {
+                                (Builtin(ListFold), [_, x, rest..]) => {
                                     return normalize_whnf(&App(
                                         bx(x.clone()),
                                         rest.to_vec(),
                                     ))
                                 }
-                                args => app(Builtin(ListFold), args.to_vec()),
+                                (f, args) => app(f.clone(), args.to_vec()),
                             }
                         }
-                        k => k.clone(),
+                        g => g.clone(),
                     };
-                    let k = bx(k);
+                    let g = bx(g);
                     let a0 = bx(a0.clone());
                     let a1 = bx(shift(1, &V("a".into(), 0), &a0));
                     normalize_whnf(
-                        &dhall_expr!(k (List a0) (λ(a : a0) -> λ(as : List a1) -> [ a ] # as) ([] : List a0)),
+                        &dhall_expr!(g (List a0) (λ(a : a0) -> λ(as : List a1) -> [ a ] # as) ([] : List a0)),
                     )
                 }
                 (OptionalBuild, [a0, g]) => {
                     // fold/build fusion
                     let g = match g {
-                        App(box Builtin(OptionalFold), args) => {
-                            match args.as_slice() {
-                                [_, x, rest..] => {
+                        App(f, args) => {
+                            match (&**f, args.as_slice()) {
+                                (Builtin(OptionalFold), [_, x, rest..]) => {
                                     return normalize_whnf(&App(
                                         bx(x.clone()),
                                         rest.to_vec(),
                                     ))
                                 }
-                                args => app(Builtin(OptionalFold), args.to_vec()),
+                                (f, args) => app(f.clone(), args.to_vec()),
                             }
                         }
                         g => g.clone(),
-- 
cgit v1.2.3