CakeML/cakeml

Avoid going through calling convention when entering Handle

Aberta

#155 aberto em 28 de set. de 2016

 (0 comentário) (0 reação) (0 responsável)Standard ML (98 forks)auto 404
enhancementhelp wantedhigh effortlow reward

Métricas do repositório

Stars
 (1.169 estrelas)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

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

Guia do colaborador