From 8680920be83ecff0aaf6472b78599bb9108272a7 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 27 Feb 2019 19:31:19 +0100
Subject: Add one test from the spec

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

(limited to 'tests/tests.rs')

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));
+}
-- 
cgit v1.2.3