boschresearch/blech-doc

Types

FriedrichGretz opened this issue · 2 comments

Does https://www.blech-lang.org/docs/user-manual/types/#mutable-and-immutable-structures still reflect the current implementation regarding letand var fields and resetting them using {} ?

The current implementation allows to specify empty structures

struct T
end

The documentation requires at least one field.

Which one is correct?

The compiler now refuses to type check empty structures. The documentation is thus correct without a change.