summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to 'tests')
-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));
+}