Definition of a pragma for boolean type.

[rodrigogribeiro]

Initial implementation for a pragma for setting up the boolean type. Current syntax definition:

data bool = true | false;

pragma bool-type-decl bool, true, false;

[mbenke]

What's the intended meaning? To translate declared true/false to Yul true/false/ Anything else?
Perhaps also if/while when we have them? Maybe we should think how they should work.

[rodrigogribeiro]

What's the intended meaning? To translate declared true/false to Yul true/false/ Anything else? Perhaps also if/while when we have them? Maybe we should think how they should work.

That's my main question: What should I do with this information? Should I add if / while statements to the surface syntax?

[mbenke]

It's very hard to tell what changed when actual changes are mixed with big reformatting. Could you please split this PR in two (reformatting, actual pragma stuff)?

[mbenke]

I don't know what PragmaStatus is, please add comment in code

[mbenke]

Something is missign in prettyprinter:

$ cabal run -- sol-core -v -f test/examples/pragmas/booltypesyntax.solc
> AST after name resolution
sol-core: src/Solcore/Frontend/Pretty/SolcorePretty.hs:(56,3)-(58,46): Non-exhaustive patterns in function ppr

[mbenke]

Suggested change

	instance Pretty Pragma where
	ppr (InferencePragma _ Enabled) = empty
	ppr (InferencePragma ty st) =
	hsep [text "pragma", ppr ty, ppr st, semi]
	instance Pretty Pragma where
	ppr (InferencePragma _ Enabled) = empty
	ppr (InferencePragma ty st) =
	hsep [text "pragma", ppr ty, ppr st, semi]
	ppr (BoolTypePragma (ty N.:| cons)) =
	text "pragma bool-type-decl" <+> commaSep (map ppr (ty:cons))