Add test for unit alias working in defs

This commit is contained in:
Richard Feldman 2020-02-19 21:32:50 -08:00
parent 54a5349306
commit 8fdc77167a

View File

@ -1940,6 +1940,23 @@ mod test_infer {
);
}
#[test]
fn unit_alias() {
infer_eq(
indoc!(
r#"
Unit : [ Unit ]
unit : Unit
unit = Unit
unit
"#
),
"Unit",
);
}
#[test]
fn rigid_in_letnonrec() {
infer_eq_without_problem(