B-Lang-org/bsc

Properly support "enabled_when_ready" attribute for methods

Aberta

#607 aberto em 25 de ago. de 2023

 (0 comentário) (0 reação) (0 responsável)Haskell (178 forks)batch import
enhancementgood first issue

Métricas do repositório

Stars
 (1.108 estrelas)
Métricas de merge de PR
 (Mesclagem média 17d 1h) (18 fundiu PRs em 30d)

Description

As mentioned in this comment on Discussion #605, there is some support for enabled_when_ready as a method attribute, but it is not parsed for BH (only BSV) and the use is not checked in the parent module. And the feature is not tested or documented. Implementation seems straightforward, although some high-level thought may be needed, to decide if we want to reuse the existing encoding at synthesis boundaries or extended it.

Guia do colaborador