Type chk sem_create

example/concurrency-04.rst

@@ -11,9 +11,9 @@ fn increment(times: int) {
   }
 }
 
-let tid_1 = spawn increment(l00);
-let tid_2 = spawn increment(100);
-let tid_3 = spawn increment(100);
+let tid_1 = spawn increment(1000);
+let tid_2 = spawn increment(1000);
+let tid_3 = spawn increment(1000);
 
 join tid_3;
 join tid_2;

src/parser/src/structs.rs

@@ -427,8 +427,9 @@ pub enum Type {
     Bool,
     String,
     UserFn(Box<FnTypeData>),
-    BuiltInFn,   // type checking done separately since it can be polymorphic unlike user fn
-    ThreadId,    // result of spawn
+    BuiltInFn, // type checking done separately since it can be polymorphic unlike user fn
+    ThreadId,  // result of spawn
+    Semaphore,
     Unit,        // void type like Rust
     Unitialised, // Type for variables that exist in a block but not yet declared - only used for TyEnv
 }
@@ -443,15 +444,6 @@ impl Type {
     }
 }
 
-#[test]
-fn hi() {
-    let ty1 = dbg!(Type::Int.eq(&Type::UserFn(Box::new(FnTypeData {
-        params: vec![],
-        ret_type: Type::Bool
-    }))));
-    // dbg!(Type::Int.eq(&Type::Int));
-}
-
 impl Type {
     /// Converts string to primitive type.
     pub fn from_string(input: &str) -> Result<Type, ParseError> {
@@ -479,6 +471,7 @@ impl Display for Type {
             Self::String => "string".to_string(),
             Self::UserFn(fn_ty) => fn_ty.to_string(),
             Self::ThreadId => "tid".to_string(),
+            Self::Semaphore => "sem".to_string(),
         };
 
         write!(f, "{}", string)

src/types/src/check_fn_call.rs

@@ -319,9 +319,11 @@ impl<'prog> TypeChecker<'prog> {
                     }
                 }
             }
+            // () -> semaphore
             SEM_CREATE => {
                 // Fill out this block
-                todo!()
+                TypeChecker::check_arg_params_len(name, arg_types.len(), 0)?;
+                Type::Semaphore
             }
             SEM_SET => {
                 // Fill out this block
@@ -503,5 +505,8 @@ mod tests {
 
         // Test int_to_float
         expect_pass("let x : float = int_to_float(3); x", Type::Float);
+
+        // Test sem
+        expect_pass("let x = sem_create(); x", Type::Semaphore);
     }
 }