Documentation

LeanGccJit.Core.Location

Location is used to provide source information for debugging.

See the documentation of LeanGccJit.Core.Location for more information.

See also the C API documentation.

@[extern lean_gcc_jit_context_new_location]

Create a Location instance representing the given source location.

@[extern lean_gcc_jit_location_as_object]

Upcast a Location to an Object.