Trait kailua_check::options::Options [−] [src]

pub trait Options {
    fn set_package_path(
        &mut self, 
        _path: Spanned<&[u8]>, 
        _report: &Report
    ) -> Result<(), Option<Stop>> { ... }

    fn set_package_cpath(
        &mut self, 
        _path: Spanned<&[u8]>, 
        _report: &Report
    ) -> Result<(), Option<Stop>> { ... }

    fn require_chunk(
        &mut self, 
        _path: Spanned<&[u8]>, 
        _report: &Report
    ) -> Result<Chunk, Option<Stop>> { ... }
}

Options for customizing the type checker.

All of those methods return Err(None) if the error occurred and has not been reported, or Err(Some(Stop)) if the error occurred and the caller wants to bail out. If the implementation has a handle to the reporter and wants to do its own reporting, it can report and return Ok (recovery) or Err(Some(Stop)) (error propagation).

Provided Methods

Called when package.path gets assigned to a string literal type.

Does nothing by default.

Called when package.cpath gets assigned to a string literal type.

Does nothing by default.

Called when require is called with a string literal type.

Errors by default; the checker will use its own error message.

Implementors