From 7aa00a544e15d4fd33187c470a235ce60a4161d4 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 11 Mar 2019 00:09:01 +0100
Subject: Normalize lazily

Closes #7
---
 dhall_core/src/core.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dhall_core')

diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 5026328..481e949 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -757,6 +757,7 @@ fn add_ui(u: usize, i: isize) -> usize {
     }
 }
 
+/// Map over the immediate children of the passed Expr
 pub fn map_shallow<S, T, A, B, F1, F2, F3, F4>(
     e: &Expr<S, A>,
     map: F1,
-- 
cgit v1.2.3