use serde::Deserialize; use serde_dhall::{from_str, from_str_auto_type, StaticType}; #[test] fn test_de_typed() { fn parse(s: &str) -> T { from_str_auto_type(s).unwrap() } assert_eq!(parse::("True"), true); assert_eq!(parse::("1"), 1); assert_eq!(parse::("1"), 1); assert_eq!(parse::("1"), 1); assert_eq!(parse::("+1"), 1); assert_eq!(parse::("+1"), 1); assert_eq!(parse::("+1"), 1); assert_eq!(parse::("1.0"), 1.0); assert_eq!(parse::("1.0"), 1.0); assert_eq!(parse::(r#""foo""#), "foo".to_owned()); assert_eq!(parse::>("[] : List Natural"), vec![]); assert_eq!(parse::>("[1, 2]"), vec![1, 2]); assert_eq!(parse::>("None Natural"), None); assert_eq!(parse::>("Some 1"), Some(1)); assert_eq!( parse::<(u64, String)>(r#"{ _1 = 1, _2 = "foo" }"#), (1, "foo".to_owned()) ); #[derive(Debug, PartialEq, Eq, Deserialize, StaticType)] struct Foo { x: u64, y: i64, } assert_eq!(parse::("{ x = 1, y = -2 }"), Foo { x: 1, y: -2 }); #[derive(Debug, PartialEq, Eq, Deserialize, StaticType)] enum Bar { X(u64), Y(i64), } assert_eq!(parse::("< X: Natural | Y: Integer >.X 1"), Bar::X(1)); #[derive(Debug, PartialEq, Eq, Deserialize, StaticType)] enum Baz { X, Y(i64), } assert_eq!(parse::("< X | Y: Integer >.X"), Baz::X); assert!(from_str_auto_type::("< X | Y: Integer >.Y").is_err()); } #[test] fn test_de_untyped() { fn parse(s: &str) -> T { from_str(s).unwrap() } // Test tuples on record of wrong type assert_eq!( parse::<(u64, String, isize)>(r#"{ y = "foo", x = 1, z = +42 }"#), (1, "foo".to_owned(), 42) ); use std::collections::HashMap; let mut expected_map = HashMap::new(); expected_map.insert("x".to_string(), 1); expected_map.insert("y".to_string(), 2); assert_eq!( parse::>("{ x = 1, y = 2 }"), expected_map ); use std::collections::BTreeMap; let mut expected_map = BTreeMap::new(); expected_map.insert("x".to_string(), 1); expected_map.insert("y".to_string(), 2); assert_eq!( parse::>("{ x = 1, y = 2 }"), expected_map ); // https://github.com/Nadrieril/dhall-rust/issues/155 assert!(from_str::("List/length [True, 42]").is_err()); }