compiler: fix non exhaustive conditions in inlined functions bug#65

tcoratger wants to merge 3 commits into

mainleanEthereum/leanVM:mainfrom

compiler-inline1leanEthereum/leanVM:compiler-inline1Copy head branch name to clipboard