(define impc:aot:print-compilation-details
(lambda (start-time)
(log-info "Total compile time:" (real->integer (- (clock:clock) start-time)) "seconds")
(log-info "type aliases:" (length *impc:ti:typealias-cache*))
(log-info "named types:" (length *impc:ti:namedtype-cache*))
(log-info "generic types:" (length *impc:ti:generictype-cache*))
(log-info "type specialisations:" (length *impc:ti:polytype-cache*))
(log-info "top-level closures:" (length *impc:ti:closure-cache*))
(log-info "generic functions:" (length *impc:ti:genericfunc-cache*))
(log-info "function specialisations:" (length *impc:ti:polyfunc-cache*))))