Skip to main content

ruda_kernel/dsl/frontend/
validation.rs

1use alloc::string::String;
2use crate::dsl::prelude::*;
3use ruda_kernel_macros::intrinsic;
4
5#[ruda]
6#[allow(unused_variables)]
7/// Push a validation error that will make the kernel compilation to fail.
8///
9/// # Notes
10///
11/// The error can be caught after the kernel is launched.
12pub fn push_validation_error(#[comptime] msg: String) {
13    intrinsic! {|scope| scope.push_error(msg)}
14}