From 82d62c4d7d423817a4fd9d6294d27d18d60bcd22 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 11 Apr 2019 13:11:52 +0200
Subject: Add basic deserialization support

Closes #13
---
 dhall_core/src/core.rs  | 1 -
 dhall_core/src/label.rs | 3 +++
 2 files changed, 3 insertions(+), 1 deletion(-)

(limited to 'dhall_core/src')

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()
+    }
 }
-- 
cgit v1.2.3