Repository navigation

A do-block bind or let written without its type gets a note on its error - #1807

Merged

nicolas-abril merged 5 commits into

bendlang:mainfrom

HamedShams:fix/do-stmt-typed-bind

Oct 26, 2026

Merged

A do-block bind or let written without its type gets a note on its error#1807
nicolas-abril merged 5 commits into
bendlang:mainfrom
HamedShams:fix/do-stmt-typed-bind

Commits on Oct 21, 2026
- A do-block bind or let that lost its type is reported as that, not as the exec form
  HamedShams
  committed
  d342750
Commits on Oct 24, 2026
- A do-block exec statement whose type is a lowercase name stays the exec form
  HamedShams
  committed
  bed4f43
Commits on Oct 26, 2026
- A bare lowercase name before `<-` is a lost annotation unless it names a declared type
  
  nicolas-abril
  and
  claude
  committed
  27fe13e
- A do-block bind or let without its type keeps its error and gains a note
  
  nicolas-abril
  and
  claude
  committed
  7fce6e4
- err_lost_type: drop its comment
  
  nicolas-abril
  and
  claude
  committed
  3e7bf5b