You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Pretty-print `let`s with surrounding braces
The pretty-printer for `letseq` and `letrec` was not adding braces around
the variables being bound, resulting in malformed pretty-printed output such as
`letseq hw = "Hello, World!";; ...`. After adding braces, this now becomes
`letseq { hw = "Hello, World!"; };`, which is valid Bluespec code.
Fixes#529.