Implement the RESCHEDULE intrinsic.

backends/GenerateC.hs

@@ -1709,6 +1709,7 @@ cgenProcCall n as
 --{{{  intrinsic procs
 cgenIntrinsicProc :: Meta -> String -> [A.Actual] -> CGen ()
 cgenIntrinsicProc m "ASSERT" [A.ActualExpression A.Bool e] = call genAssert m e
+cgenIntrinsicProc _ "RESCHEDULE" [] = tell ["Reschedule (wptr);\n"]
 cgenIntrinsicProc _ s _ = call genMissing $ "intrinsic PROC " ++ s
 
 cgenAssert :: Meta -> A.Expression -> CGen ()

common/Intrinsics.hs

@@ -30,5 +30,6 @@ intrinsicFunctions =
 intrinsicProcs :: [(String, [(A.AbbrevMode, A.Type, String)])]
 intrinsicProcs =
     [ ("ASSERT", [(A.ValAbbrev, A.Bool, "value")])
+    , ("RESCHEDULE", [])
     ]
 

testcases/reschedule.occ

@@ -0,0 +1,3 @@
+PROC main ()
+  RESCHEDULE ()
+: