forst-lang / forst / 24033636202

62%

main: 76%

Build Type

Pull #57

github

Committed by haveyaseen

Commit Message

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 using
variable subscripts and slice updates.

test: add slice index and pipeline coverage; update AST tests for ExpressionNode LValues

chore(cursor): refine generate-commit-message skill wording and example rules

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

Coverage Stats

238 of 389 new or added lines in 20 files covered. (61.18%)

8 existing lines in 5 files now uncovered.

15012 of 24468 relevant lines covered (61.35%)

14.73 hits per line