Type Check: 40 sec HIR: 30 sec MIR: 50 sec LLVM IR: 27 min Binary Output: 30 sec someone who is good at compilers please help me budget this. my compile times are dying
Replying to @dril_rs @whitequark
Your type check is too fast, you're definitely lacking on rigor there. Proper programs these days spend a couple of minutes with Z3 solving stuff.
8:12 AM - 30 Aug 2018
0 replies
0 retweets
7 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.