Type resolution for Pancake - Githubissues

alegnani / pancake-verifier

2 stars 0 forks source link

Type resolution for Pancake #38

Closed alegnani closed 1 month ago

alegnani commented 1 month ago

fixes #33, fixes #5

The translation procedure now looks like this:

parse S-expr from cake compiler to pancake::Program
convert from pancake::Program to ir::Program. This parses annotations and removes superfluous statements like TailCall
mangles the whole program
resolves types for the whole program
translates from ir::Program to viper::Program