From 3b728aff86a086f71f013b77a715c33748d9f6a8 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 28 Oct 2020 21:45:42 +0000
Subject: Make type annotation optional to allow serializing SimpleValue

---
 serde_dhall/tests/simple_value.rs | 57 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 57 insertions(+)
 create mode 100644 serde_dhall/tests/simple_value.rs

(limited to 'serde_dhall/tests/simple_value.rs')

diff --git a/serde_dhall/tests/simple_value.rs b/serde_dhall/tests/simple_value.rs
new file mode 100644
index 0000000..d2792d4
--- /dev/null
+++ b/serde_dhall/tests/simple_value.rs
@@ -0,0 +1,57 @@
+mod simple_value {
+    use serde::{Deserialize, Serialize};
+    use serde_dhall::{
+        from_str, serialize, FromDhall, NumKind, SimpleValue, ToDhall,
+    };
+
+    fn assert_de<T>(s: &str, x: T)
+    where
+        T: FromDhall + PartialEq + std::fmt::Debug,
+    {
+        assert_eq!(from_str(s).parse::<T>().map_err(|e| e.to_string()), Ok(x));
+    }
+    fn assert_ser<T>(s: &str, x: T)
+    where
+        T: ToDhall + PartialEq + std::fmt::Debug,
+    {
+        assert_eq!(
+            serialize(&x).to_string().map_err(|e| e.to_string()),
+            Ok(s.to_string())
+        );
+    }
+    fn assert_serde<T>(s: &str, x: T)
+    where
+        T: ToDhall + FromDhall + PartialEq + std::fmt::Debug + Clone,
+    {
+        assert_de(s, x.clone());
+        assert_ser(s, x);
+    }
+
+    #[test]
+    fn test_serde() {
+        let bool_true = SimpleValue::Num(NumKind::Bool(true));
+        // https://github.com/Nadrieril/dhall-rust/issues/184
+        // assert_serde("[ True ]", vec![bool_true.clone()]);
+        assert_de("< Foo >.Foo", SimpleValue::Union("Foo".into(), None));
+        assert_de(
+            "< Foo: Bool >.Foo True",
+            SimpleValue::Union("Foo".into(), Some(Box::new(bool_true.clone()))),
+        );
+
+        // assert_eq!(
+        //     serialize(&SimpleValue::Optional(None)).to_string().map_err(|e| e.to_string()),
+        //     Err("cannot serialize value without a type annotation: Optional(None)".to_string())
+        // );
+
+        // #[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
+        // struct Foo {
+        //     foo: SimpleValue,
+        // }
+        // assert_serde(
+        //     "{ foo = True }",
+        //     Foo {
+        //         foo: bool_true.clone(),
+        //     },
+        // );
+    }
+}
-- 
cgit v1.2.3