Format fixes followup

[rodabt]

No description provided.

[rodabt]

Hi @serkonda7! I made a few changes, and all formats and tests should pass now.

[serkonda7]

Thanks!

Is it really necessary to move the constants to termtable.v tho?
To me this seems like V has something improperly implemented there.

[rodabt]

Thanks!

Is it really necessary to move the constants to termtable.v tho? To me this seems like V has something improperly implemented there.

Tried other combinations, but it seems putting consts on the main file was the only one to pass both formatting and tests.

According to the manual: Outside from module main all constants need to be prefixed with the module name.

Tried that too, like termtable.[const_var], but didn't work.