Joseph Ferano fff1c0b9c3 Merge master: return-type inference beside the syntax-following type spellings

2026-09-26 00:27:59 +07:00

..

flat

A macro body counts as run in order only when nothing outside its templates depends on how the body splits into arguments, a let whose longer scope would reach a macro naming it stays in a do: block, and converted programs with shadowed names and macro bodies print what their paren originals print

2026-09-25 23:00:27 +07:00

handwritten

A one-line if takes its else on the next line, lambdas state their types, a restart's report sits on its header, Dir.north names an enum member, messages spell types in the code's syntax, adjacent globals convert adjacent, and a bad map key is one error

2026-09-26 00:07:28 +07:00

infer

A _ function's exits combine exactly as an if's arms do, a refused _ body or loop is collected with every other error, and the placeholder type never leaves the checker

2026-09-25 20:37:50 +07:00

mixed

A .fln file is read by an indented reader that yields the paren reader's forms, every program entry point picks the reader by extension, and flan convert prints either syntax as the other

2026-09-25 15:04:32 +07:00

algorithms.flan

A .fln file is read by an indented reader that yields the paren reader's forms, every program entry point picks the reader by extension, and flan convert prints either syntax as the other

2026-09-25 15:04:32 +07:00

algorithms.fln

Master is merged into the flat-let lane

2026-09-25 22:49:39 +07:00

sand.fln

A let in .fln is always flat and a line indented under one is refused, the printer renames a let's name a later statement means otherwise or puts the let in a do: block, and a one-argument and/or prints as its argument

2026-09-25 22:23:37 +07:00