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.