diff options
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/tests.rs | 12 |
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)); +} |