line

Reads one line of input.

Syntax: read line

Category#

io

Related#

• read

Examples#

radix/corpus/lineam/lineam.fab (canonical · keyword)#

Reads one line of input.

# =============================================================================
# line — Reads one line of input.
# =============================================================================
#
# What this teaches:
#   • line-oriented input mode — `read line` reads a single line from stdin
#
# Common mistakes:
#   • Confusing line (reads one line without trailing newline) with print (writes diagnostic output with newline).
#
# See also: read
# =============================================================================

# line — line-oriented read read
#
# GRAMMAR:
#   readMode :← 'read' 'line'
#
# EXPECTED OUTPUT:
#   Scalar stdout smoke (see body).
#
# BACKEND:
#   Rust/Go/roundtrip whitelist like read/lege.fab.
#

main {
    print "lineam exemplum — stdin read deferred in harness"
}

Expected output:

lineam exemplum — stdin read deferred in harness