Merge branch 'serde'

2 files changed, 3 insertions, 1 deletions

diff --git a/dhall_core/src/core.rs b/dhall_core/src/core.rs
index 39dea37..03a34f1 100644
--- a/dhall_core/src/core.rs
+++ b/dhall_core/src/core.rs
@@ -3,7 +3,6 @@ use crate::*;
 use std::collections::BTreeMap;
 use std::rc::Rc;
 
-pub type Int = isize;
 pub type Integer = isize;
 pub type Natural = usize;
 pub type Double = NaiveDouble;
diff --git a/dhall_core/src/label.rs b/dhall_core/src/label.rs
index 9dc2816..43c3f53 100644
--- a/dhall_core/src/label.rs
+++ b/dhall_core/src/label.rs
@@ -28,4 +28,7 @@ impl Label {
     pub fn from_str(s: &str) -> Label {
         Label(s.into())
     }
+    pub fn as_ref(&self) -> &str {
+        self.0.as_ref()
+    }
 }