forst-lang / forst / 24037090201

76%

Build Type

push

github

Committed by web-flow

Commit Message

feat(compiler): variable slice indexing and indexed assignment (#57)

docs: Add optionals RFC

test(printer): add round-trip format tests and fix AST printing

The parser stores several statement and type-def nodes as pointers; the
pretty-printer only matched value types, so real files skipped large parts
of printStmt and printTopLevel. Handle *IfNode, *ForNode, *TypeGuardNode,
and *TypeDefAssertionExpr, and omit the internal TYPE_SHAPE sentinel when
emitting structural shapes so output re-parses. Add FormatSource round-trip
cases, FormatDocument / UTF16Len tests, and printType assertion coverage.

Reorganize ROADMAP Language & types by theme (core typing, optionals/
Result, guards, generics, control flow, builtins) and expand planned/
experimental rows with RFC links and a switch vs match design note.

feat(compiler): variable slice indexing and indexed assignment

Add IndexExpressionNode, parse `expr[i]` chains and `xs[i] = v` as assignment
(not comparison). Extend AssignmentNode LValues to []ExpressionNode; typecheck
slice element reads (Int index) and `=` into index expressions; emit Go
index expressions and assignments.

Example:
```forst
func pick(xs []String, i Int): String {
      return xs[i]
}
func write(xs []String, i Int) {
      xs[i] = "x"
}
```

fix(transformer): correct Go types for slices and named returns

Use transformType for shape fields and function parameters so []T becomes a
real Go slice type, not a hash alias. When returning a user-defined struct
type, transform call expressions (e.g. `return inner()`) after the ident→
composite pass. Treat TypeArray, TypeMap, and TypeObject as builtins when
normalizing function return types so `return out` for `[]String` is not fed
through struct wrapping.

Example:
```forst
type R = { ok: Bool }
func inner(): R { return { ok: true } }
funouter(): R { return inner() }
```

feat(examples): add tic-tac-toe multi-file sample

Add engine, types, server, and ftconfig under examples/in/tictactoe u... (continued)

Coverage Stats

530 of 924 new or added lines in 33 files covered. (57.36%)

14 existing lines in 8 files now uncovered.

15371 of 24954 relevant lines covered (61.6%)

15.57 hits per line