Use `DefId`:s in `WellFounded`

broom-lang / broom

A programming language with first-class modules and algebraic effects.

https://broom.readthedocs.io

BSD 3-Clause "New" or "Revised" License

10 stars 1 forks source link

Closed nilern closed 5 years ago

nilern commented 5 years ago

Should help correctness of WellFounded tremendously. Can also remove ScopeId:s from FAst.