3 ms·

Thanks, Steve! I'm well aware of the type checker's problems with 'lazy', and it's something I hope to address soon.

• stevejohnson 10y ago
  While you're here, I should say: first, thanks for your work, and second, it would be nice if the compiler could log the timing data in a consolidated form so my script wouldn't be necessary. :-) Regex-parsing and aggregating a bunch of log lines seems dicey.
  • jopamer 10y ago
    Unfortunately, debug-time-function-bodies isn't an "officially" supported flag, so improving it isn't a high priority right now. ...That said, we'd be more than happy to take improvement PRs in this area, if you're feeling up for it!