Cleanup inliner - Githubissues

CakeML / pure

A verified compiler for a lazy functional language

Other

32 stars 4 forks source link

Cleanup inliner #68

Closed KacperFKorban closed 1 year ago

KacperFKorban commented 1 year ago

remove inliner_old, inline_all_old, tree_size
remove inliner debugs
remove named TODOs