gleamunison/source_loader

Parse a definitions-only source payload with the bootstrap environment. Evaluation belongs to the test/evidence phase, not source admission.

Types

LoadedSource

</>

pub type LoadedSource {
  LoadedSource(
    cache: types.TypeCache,
    definitions: List(#(String, elab_types.SurfaceDef)),
    names: List(String),
  )
}

Constructors

LoadedSource(
  cache: types.TypeCache,
  definitions: List(#(String, elab_types.SurfaceDef)),
  names: List(String),
)

Values

load

</>

pub fn load(source: String) -> Result(LoadedSource, String)