Skip to main content

make_pipe_construct

Function make_pipe_construct 

Source
fn make_pipe_construct(
    (p, (t, maybe_spanned_q)): (SpannedSymbolOrLiteral, (SpannedSymbolOrLiteral, Option<(InstructionFragment, SimpleSpan)>)),
) -> InstructionFragment
Expand description

The pipe construct is described in section 6-2.8 “SPECIAL SYMBOLS” of the Users Handbook.

“ADXₚ|ₜQ” should be equivalent to “ADXₚ{Qₜ}*”. So during evaluation we will need to generate an RC-word containing Qₜ.