8.12
6.43 Source Locations
The . operator can be used on a source location expression as
equivalent to calling Srcloc functions:
srcloc.source
is
Srcloc.source(srcloc)
srcloc.line
is
Srcloc.line(srcloc)
srcloc.column
is
Srcloc.column(srcloc)
srcloc.position
is
Srcloc.position(srcloc)
srcloc.span
is
Srcloc.span(srcloc)
srcloc.to_report_string
is
Srcloc.to_report_string(srcloc)
annotation |
Matches a source location value.
function | ||||||
Constructs a source location.
binding operator | |||||
Matches a source location where the components match the corresponding binding forms.
function |
|
function |
|
function |
|
function |
|
function |
Extracts a component of a source location.
Converts a source location into a human-readable string suitable for
error messages and other reporting.
"demo.rhm:1:14"