Done!

justinfargnoli · Feb 10, 2020 · 7848cbf · 7848cbf
1 parent 0199289
commit 7848cbf
Show file tree

Hide file tree

Showing 5 changed files with 57 additions and 5 deletions.
diff --git a/tests/inputs/input_rec_c.txt b/tests/inputs/input_rec_c.txt
diff --git a/tests/inputs/input_rec_c_factorial.txt b/tests/inputs/input_rec_c_factorial.txt
@@ -0,0 +1,12 @@
+recC("S", 
+	"num", 
+	numT, 
+	numT, 
+	ifC(eqC(idC("num"),numC(1)), 
+		numC(1), 
+		multC(idC("num"), 
+			appC(idC("S"), plusC(idC("num"), numC(-1)))
+		)
+	), 
+	appC(idC("S"), numC(5))
+)
diff --git a/tests/inputs/input_rec_c_fail.txt b/tests/inputs/input_rec_c_fail.txt
@@ -0,0 +1,12 @@
+recC("S", 
+	"num", 
+	numT, 
+	numT, 
+	ifC(eqC(idC("num"),numC(0)), 
+		numC(0), 
+		plusC(idC("num"), 
+			appC(idC("S"), plusC(idC("num"), numC(-1)))
+		)
+	), 
+	appC(idC("S"), trueC)
+)
diff --git a/tests/inputs/input_rec_c_sumation.txt b/tests/inputs/input_rec_c_sumation.txt
@@ -0,0 +1,12 @@
+recC("S", 
+	"num", 
+	numT, 
+	numT, 
+	ifC(eqC(idC("num"),numC(0)), 
+		numC(0), 
+		plusC(idC("num"), 
+			appC(idC("S"), plusC(idC("num"), numC(-1)))
+		)
+	), 
+	appC(idC("S"), numC(10))
+)
diff --git a/tests/integration_test.rs b/tests/integration_test.rs
@@ -122,9 +122,26 @@ fn type_check_input_super() {
 }
 
 #[test]
-fn type_check_input_rec_c() {
+fn type_check_input_rec_c_sumation() {
     assert_eq!(
-        tc200::type_check("tests/inputs/input_rec_c.txt"),
-        Type::BoolT
+        tc200::type_check("tests/inputs/input_rec_c_sumation.txt"),
+        Type::NumT
+    );
+}
+
+#[test]
+#[should_panic]
+fn type_check_input_rec_c_fail() {
+    tc200::type_check("tests/inputs/input_rec_c_fail.txt");
+}
+
+#[test]
+fn type_check_input_rec_c_factorial() {
+    assert_eq!(
+        tc200::type_check("tests/inputs/input_rec_c_factorial.txt"),
+        Type::NumT
     );
-}
+}
+
+
+