diff options
Diffstat (limited to 'src/type/case.rs')
| -rw-r--r-- | src/type/case.rs | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/type/case.rs b/src/type/case.rs index c53bbd0..d8871af 100644 --- a/src/type/case.rs +++ b/src/type/case.rs @@ -324,4 +324,22 @@ mod tests { Ok(vec![]) ); } + + #[test] + fn test_sumtype_match() { + assert_eq!( + scons(Inl, scons(var("x"), Nil)).matches_type(&sumtype(Integer, Boolean)), + Ok(vec![("x".to_string(), Integer)]) + ); + assert_eq!( + scons(Inr, scons(var("x"), Nil)).matches_type(&sumtype(Integer, Boolean)), + Ok(vec![("x".to_string(), Boolean)]) + ); + assert!( + scons(Inl, scons(True, Nil)).matches_type(&sumtype(Integer, Boolean)).is_err() + ); + assert!( + scons(Inr, scons(1, Nil)).matches_type(&sumtype(Integer, Boolean)).is_err() + ); + } } |