blob: 5089ae863a47c8aa8c5746a3b92e4cc29fe813fb (
plain)
1
2
3
4
5
6
7
8
9
10
11
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));
}
|