test: added boilerplate and tests for coproduct parsing, type checking and evaluation

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()
+	);
+    }
 }