Module Sarek_execute.Execute_error

type error =
  1. | Unbound_variable of string
  2. | Type_mismatch of {
    1. expected : string;
    2. actual : string;
    3. context : string;
    }
  3. | Unsupported_argument of {
    1. arg_type : string;
    2. context : string;
    }
  4. | Backend_error of {
    1. backend : string;
    2. message : string;
    }
  5. | Compilation_failed of {
    1. kernel : string;
    2. reason : string;
    }
  6. | Invalid_dimensions of {
    1. grid : string;
    2. block : string;
    3. reason : string;
    }
  7. | Missing_ir of {
    1. kernel : string;
    }
  8. | Missing_native_fn of {
    1. kernel : string;
    }
  9. | Transfer_failed of {
    1. vector : string;
    2. reason : string;
    }
  10. | Interp_error of string
  11. | Invalid_file of {
    1. path : string;
    2. reason : string;
    }
  12. | Type_helper_not_found of {
    1. type_name : string;
    2. context : string;
    }

Execution error type

exception Execution_error of error

Exception wrapper for execution errors

val error_to_string : error -> string

Convert error to human-readable string

val raise_error : error -> 'a

Raise an execution error