git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1953 from Chobbes/stats_fix
f7ac46aEdwin Brady
rts/idris_stats.h+2−1
compare with master
unifiedsplit
@@ -3,9 +3,10 @@
3
3
4#ifdef IDRIS_ENABLE_STATS
4#ifdef IDRIS_ENABLE_STATS
5#include <time.h>
5#include <time.h>
6+#endif
7+
6#include <inttypes.h>
8#include <inttypes.h>
7#include <stdint.h>
9#include <stdint.h>
8−#endif
9
10
10
11
11// TODO: measure user time, exclusive/inclusive stats
12// TODO: measure user time, exclusive/inclusive stats