Módulos (use / export)

Dividí el código en archivos. export hace público un task/type/let/enum; todo lo demás queda privado. Un módulo es un map de sus exports, importado bajo un alias.

El módulo — mathlib.syn:

export task square(n)
    give n * n

export let VERSION be "1.0"

task private_helper()        -- sin `export` → no visible para quien importa
    give 42

El entry que lo importa:

-- Doc example: modules (use / export). Imports ./mathlib.syn under the alias `math`.
intent: "doc example: modules"
use "./mathlib.syn" as math

print("math.square(5) = " + text(math.square(5)) + ",  VERSION " + math.VERSION)

test "import an exported task and let (private_helper is NOT visible)"
    assert_eq(math.square(5), 25)
    assert_eq(math.VERSION, "1.0")

Reglas

• use "./path.syn" as alias — los paths son relativos al archivo que importa; solo .syn, sin URLs/FFI, y el traversal (../) está bloqueado.
• Las llamadas entre archivos necesitan el prefijo del alias: math.square(5), math.VERSION.
• Los imports están cacheados (se cargan una vez), son transitivos y con chequeo de ciclos.
• Un módulo no puede tener require ni serve top-level — eso va en el archivo entry. Un require por-task dentro de una task del módulo sí está bien.