From 82b08fa01b0980e7998760fe3cbba50c855ce454 Mon Sep 17 00:00:00 2001 From: Nadrieril Date: Thu, 9 May 2019 01:20:35 +0200 Subject: Update dhall-lang submodule --- dhall_syntax/src/core/text.rs | 12 ++++++++++++ 1 file changed, 12 insertions(+) (limited to 'dhall_syntax/src/core') diff --git a/dhall_syntax/src/core/text.rs b/dhall_syntax/src/core/text.rs index 83643d9..e79a86b 100644 --- a/dhall_syntax/src/core/text.rs +++ b/dhall_syntax/src/core/text.rs @@ -43,6 +43,18 @@ impl InterpolatedTextContents { } impl InterpolatedText { + pub fn head(&self) -> &str { + &self.head + } + + pub fn head_mut(&mut self) -> &mut String { + &mut self.head + } + + pub fn is_empty(&self) -> bool { + self.head.is_empty() && self.tail.is_empty() + } + pub fn traverse_ref<'a, SubExpr2, E, F>( &'a self, mut f: F, -- cgit v1.2.3