“You should start using -pj if you’re using GHC profiling. Better, you should (re)write tools to work with this format instead of the awful ad-hoc parsing that existing tools do.”
GHC can output profiling information as JSON and you should use it. This is just a small PSA. As of GHC 8.2, when GHC is able to accept -pj RTS flag which will output things in a nice machine reada...
“You should start using -pj if you’re using GHC profiling. Better, you should (re)write tools to work with this format instead of the awful ad-hoc parsing that existing tools do.”
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Fūzetsu's Corner - GHC can output profiling information as JSON and you should use it.
GHC can output profiling information as JSON and you should use it. This is just a small PSA. As of GHC 8.2, when GHC is able to accept -pj RTS flag which will output things in a nice machine reada...
2 人がブックマーク・1 件のコメント
＼ コメントが サクサク読める アプリです ／