Add one test from the spec

1 files changed, 12 insertions, 0 deletions

diff --git a/tests/tests.rs b/tests/tests.rs
new file mode 100644
index 0000000..5089ae8
--- /dev/null
+++ b/tests/tests.rs
@@ -0,0 +1,12 @@
+use dhall::*;
+
+#[test]
+fn test(){
+    let buffer_expr = String::from(include_str!("../dhall-lang/tests/normalization/success/simple/naturalPlusA.dhall"));
+    let buffer_expected = String::from(include_str!("../dhall-lang/tests/normalization/success/simple/naturalPlusB.dhall"));
+    let expr = parser::parse_expr(&buffer_expr).unwrap();
+    let expected = parser::parse_expr(&buffer_expected).unwrap();
+    // let type_expr = typecheck::type_of(&expr).unwrap();
+    // let normalized = normalize::<_, X, _>(&expr);
+    assert_eq!(normalize::<_, X, _>(&expr), normalize::<_, X, _>(&expected));
+}