CakeML/cakeml

Avoid going through calling convention when entering Handle

オープン

#155 opened on 2016/09/28

 (0 件のコメント) (0 件のリアクション) (0 人の担当者)Standard ML (98 件のフォーク)auto 404
enhancementhelp wantedhigh effortlow reward

Repository metrics

Stars
 (1,169 個のスター)
PR merge metrics
 (PR metrics pending)

説明

Currently, entry into a Handle is more expensive than it strictly needs to be. See dev mail from 28 September 2016.

コントリビューターガイド