Sunjay Varma

The next steps are described in [this paper document](https://paper.dropbox.com/doc/Chalk-and-Specialization--AgEWIBFuX8r0ivXjYsji70cRAg-urrCptcGmI7PA4pYaF5yn#:uid=509442721140008699892992&h2=2019.07.01). Summary of next steps: - Create a `specialization_forest(trait_id)` query with [this code extracted](https://github.com/rust-lang/chalk/blob/201775c47e4cefeb71d7f415c605e09c02e33b22/src/query.rs#L79-L81) - Extend `RustIrDatabase` trait with a `specialization_forest()` method...

> but silently stoping iteration seems a more sensible behavior than panicking. Heh. Well that didn't work out. That is a very good comment though. I love that the assumption...

Map generation still fails way too often. This test was disabled here: https://github.com/sunjay/caves/commit/0d70016b5cc2bf2d9cd1c9c59ef10a7ac7ab4a27

Tests were removed during the refactoring because this is hard to do when using specs::World for everything. Need to think about a way to do this.

Although animation cannot be deduped, animation manager certainly can be.

When lowering `nir::BoolOr` and `nir::BoolAnd`, we should create `cgenir` that uses C `goto` statements to implement the short-circuiting semantics. This pseudo-code represents approximately what we're going for: ```c bool result;...

After a lot of thought and several attempts at this I have figured out that the problem is not the design of package, but the design of the overall scope...

## Notes Four types of constraints, resolved in the following order: 1. `is_type(, )` - signifies that the type of the def must unify with the given type (e.g. because...

After #58, we added parser combinators and implemented a simple MVP parser using that. An issue that came up is that it's really difficult to tell where to produce an...

Ideas to look into: * [Pratt Parsing](https://matklad.github.io/2020/04/13/simple-but-powerful-pratt-parsing.html) * [Shunting Yard](https://matklad.github.io/2020/04/15/from-pratt-to-dijkstra.html) ([wiki](https://en.m.wikipedia.org/wiki/Shunting-yard_algorithm))