Compare commits

...

1 Commits

Author SHA1 Message Date
8d301a6fc2 scope_analysis: fix the handling of Lambda forms
All checks were successful
ci/woodpecker/push/debian Pipeline was successful
ci/woodpecker/push/fedora Pipeline was successful
ci/woodpecker/push/nix Pipeline was successful
ci/woodpecker/push/publish Pipeline was successful
ci/woodpecker/cron/debian Pipeline was successful
ci/woodpecker/cron/fedora Pipeline was successful
ci/woodpecker/cron/nix Pipeline was successful
ci/woodpecker/cron/publish Pipeline was successful
2026-02-12 18:32:36 +03:00

View File

@@ -87,7 +87,9 @@ let rec analyze tbl current = function
| Set (sym, expr) -> | Set (sym, expr) ->
let* inner = analyze tbl current expr in let* inner = analyze tbl current expr in
resolve_set tbl current sym inner resolve_set tbl current sym inner
| Lambda (s, body) -> analyze tbl (s :: current) body | Lambda (s, body) ->
let* body = (analyze tbl (s :: current) body) in
Ok (Lambda body)
| Apply (f, e) -> | Apply (f, e) ->
let* f = analyze tbl current f in let* f = analyze tbl current f in
let* e = analyze tbl current e in let* e = analyze tbl current e in