forst-lang / forst / 24313395883

76%

Build Type

push

github

Committed by haveyaseen

Commit Message

fix(typechecker): match hash shape literals to missing named param types

Structural IsTypeCompatible required both sides in Defs, so calls like
f({ ... }) failed when the parameter still named a typedef that was absent
from Defs while inference produced a hash type. inferShapeType now records the
processed shape for that expected name; IsTypeCompatible uses it as a fallback
via shapesHaveSameStructure.

test(transformer): register AppContext and nested input typedefs in shape
literal tests; run CheckTypes on functions only in UsesExpectedType (top-level
*ast.ShapeNode is not inferred).

Example:

```go
func f(arg T_ShapeArg) {}

func main() {
  // T_ShapeArg removed from Defs; literal still infers T_… hash
  f({ foo: "bar" })
}
```

Coverage Stats

13 of 28 new or added lines in 2 files covered. (46.43%)

1260 existing lines in 22 files now uncovered.

16648 of 26473 relevant lines covered (62.89%)

20.19 hits per line