B-Lang-org/bsc

Properly support "enabled_when_ready" attribute for methods

Aperta

#607 aperta il 25 ago 2023

 (0 commenti) (0 reazioni) (0 assegnatari)Haskell (178 fork)batch import
enhancementgood first issue

Metriche repository

Star
 (1108 stelle)
Metriche merge PR
 (Merge medio 17g 1h) (18 PR mergiate in 30 g)

Descrizione

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.

Guida contributor