Skip to content

Add warning about implicitly local HB.instance calls, improve error messages#561

Open
lweqx wants to merge 3 commits into
math-comp:masterfrom
lweqx:local-instances-in-builders
Open

Add warning about implicitly local HB.instance calls, improve error messages#561
lweqx wants to merge 3 commits into
math-comp:masterfrom
lweqx:local-instances-in-builders

HB.instance: improve error message when declaring local builder

a435ffe
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.