Refactor: use `SmallSet` for `funFlags`, make more boolean fields a `FunctionFlag`

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.

Other

2.4k stars 339 forks source link

Closed andreasabel closed 1 month ago

andreasabel commented 1 month ago

enhanced test for #6640
optimize FunctionData: SmallSet for funFlags, make boolean fields into FunctionFlags

Commits tested individually.