summaryrefslogtreecommitdiff
path: root/dhall_core/src
diff options
context:
space:
mode:
authorNadrieril2019-04-11 13:11:52 +0200
committerNadrieril2019-04-11 13:11:52 +0200
commit82d62c4d7d423817a4fd9d6294d27d18d60bcd22 (patch)
tree887b4af84bc2c69886616a4a9c8aa27fa846238a /dhall_core/src
parent9a060908aae564e7155259a4e12d63be3fb97d9b (diff)
Add basic deserialization support
Closes #13
Diffstat (limited to 'dhall_core/src')
-rw-r--r--dhall_core/src/core.rs1
-rw-r--r--dhall_core/src/label.rs3
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()
+ }
}