Add test for operations with rationals

src/runtime/src/integer.rs

@@ -100,7 +100,7 @@ pub extern "C" fn integer_slash_integer(x: *const Integer, y: *const Integer) ->
     let x = unsafe { x.as_ref().unwrap() };
     let y = unsafe { y.as_ref().unwrap() };
 
-    let boxed = Box::new(Rational::from(x / y));
+    let boxed = Box::new(Rational::from(x) / y);
     Box::into_raw(boxed)
 }
 

src/semantics/tests/mod.rs

@@ -19,6 +19,7 @@ e2e!(non_class_constructor);
 e2e!(plus_assign);
 e2e!(predeclare_function);
 e2e!(predeclare_vars);
+e2e!(rational);
 e2e!(reference_mut);
 e2e!(references);
 e2e!(specify_variable_ty);

src/semantics/tests/rational/rational.ppl

@@ -0,0 +1,15 @@
+println 0.0
+println +1.0
+println -2.0
+println 1.0 + 2.0
+println 5.0 - 1.0
+println 2.5 * 2.0
+println 9.0 / (3 / 2)
+println 0.0 == 0.0
+println 1.0 != 0.0
+println 0.0 < 1.0
+println 1.0 > 0.0
+println 0.0 <= 0.0 
+println 0.0 <= 1.0
+println 0.0 >= 0.0
+println 1.0 >= 0.0

src/semantics/tests/rational/run.log

@@ -0,0 +1,15 @@
+0.0
+1.0
+-2.0
+3.0
+4.0
+5.0
+6.0
+true
+true
+true
+true
+true
+true
+true
+true