diff options
author | Nadrieril | 2019-03-21 21:27:36 +0100 |
---|---|---|
committer | Nadrieril | 2019-03-21 21:27:36 +0100 |
commit | 8d527e88168885ab754a039219d0ae682fa4508b (patch) | |
tree | b26d26902ba84d611f9905add97b3a29d0dcf025 /dhall_core/src/text.rs | |
parent | 6cbe21b84ffd274f92791ab8dbf9af6527978688 (diff) |
Follow the spec for handling Doubles
Diffstat (limited to '')
-rw-r--r-- | dhall_core/src/text.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall_core/src/text.rs b/dhall_core/src/text.rs index cd5fef3..eb0d39c 100644 --- a/dhall_core/src/text.rs +++ b/dhall_core/src/text.rs @@ -3,7 +3,7 @@ use std::iter::FromIterator; use std::ops::Add; use std::rc::Rc; -#[derive(Debug, Clone, PartialEq)] +#[derive(Debug, Clone, PartialEq, Eq)] pub struct InterpolatedText<Note, Embed> { head: String, tail: Vec<(Rc<Expr<Note, Embed>>, String)>, |