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]
opaque
LeanGccJit.Core.Context.newLocation
(ctx : LeanGccJit.Core.Context)
(file : String)
(line : Nat)
(column : Nat)
:
Create a Location
instance representing the given source location.
@[extern lean_gcc_jit_location_as_object]
Upcast a Location
to an Object
.