Literal decoders return token-relative ranges; rebase only at an atom.
5273def termDecodeAttachOrigin =
5274 (lambda unrestricted origin : (family SyntaxOrigin) .
5275 (lambda unrestricted result : (family TermDecodeResult) .
5276 (eliminate
5277 TermDecodeResult
5278 (lambda unrestricted current : (family TermDecodeResult) . (family TermDecodeResult))
5279 result
5280 (branch TermDecoded term . (constructor TermDecodeResult TermDecoded term))
5281 (branch TermsDecoded terms . (constructor TermDecodeResult TermsDecoded terms))
5282 (branch
5283 TermDecodeFailed
5284 code
5285 relative
5286 .
5287 (constructor
5288 TermDecodeResult
5289 TermDecodeFailed
5290 code
5291 (eliminate
5292 SyntaxOrigin
5293 (lambda unrestricted current : (family SyntaxOrigin) . (family SyntaxOrigin))
5294 origin
5295 (branch SyntaxOriginUnknown . (constructor SyntaxOrigin SyntaxOriginUnknown))
5296 (branch
5297 SyntaxOriginRange
5298 start
5299 end
5300 .
5301 (eliminate
5302 SyntaxOrigin
5303 (lambda unrestricted current : (family SyntaxOrigin) . (family SyntaxOrigin))
5304 relative
5305 (branch SyntaxOriginUnknown . (constructor SyntaxOrigin SyntaxOriginUnknown))
5306 (branch
5307 SyntaxOriginRange
5308 relativeStart
5309 relativeEnd
5310 .
5311 (constructor
5312 SyntaxOrigin
5313 SyntaxOriginRange
5314 (Std.Natural/naturalAdd start relativeStart)
5315 (Std.Natural/naturalAdd start relativeEnd)))))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.