summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorNadrieril2019-02-27 19:31:19 +0100
committerNadrieril2019-02-27 19:31:19 +0100
commit8680920be83ecff0aaf6472b78599bb9108272a7 (patch)
tree6f0d93c31bb7ee00acccd620248025d9d79754e9 /tests
parent849a1e59a9cd1fbd91a4fa64b027d720ff63ff2c (diff)
Add one test from the spec
Diffstat (limited to '')
-rw-r--r--tests/tests.rs12
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));
+}