Orkuncakilkaya
b7745a4600
Expand the abbreviated string type and its conversion builtin to the full
word everywhere:
str -> string (the immutable-string type)
str(x) -> str -> string(x) -> string (the stringify builtin;
what `{…}` interpolation calls)
Types are recognized by identifier, and llty maps both spellings to LLVM
`ptr`, so this is an atomic source rewrite: type annotations, the Ludic
type tags, the builtin name/dispatch, and the interpolation desugar, plus
the grammars, LSP, docs (type-str -> type-string, fn-str -> fn-string), and
inventory. int/bool stay (universally accepted, like Math).
Reseeded; C-free fixpoint holds; all suites green (45/24/29); site + check.py OK.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
27 lines
873 B
Markdown
27 lines
873 B
Markdown
---
|
|
id: fn-arg
|
|
name: arg
|
|
category: builtins
|
|
kind: builtin
|
|
tokens: arg
|
|
sig: arg(i) -> string
|
|
tip: The i-th command-line argument as a string.
|
|
order: 50
|
|
---
|
|
|
|
Returns the command-line argument at index <code>i</code> as a string. Index <code>0</code> is conventionally the program's own name or path, so the first user-supplied argument is at index <code>1</code>. Use it together with <code>arg_count</code> to write configurable command-line tools in Ludic — reading an input filename, a mode flag, or a numeric option. Guard the index against <code>arg_count()</code> before reading so you never ask for an argument that was not passed.
|
|
|
|
Parameters:
|
|
- `i` — the argument index (`0` is the program name)
|
|
|
|
```ludic
|
|
program EchoFirstArg {
|
|
handler ShowArg phase Start {
|
|
if arg_count() > 1 {
|
|
print(arg(1))
|
|
} else {
|
|
print("no argument")
|
|
}
|
|
}
|
|
}
|
|
```
|