creusot icon indicating copy to clipboard operation
creusot copied to clipboard

Published 20 hours ago • verified publisher icon creusot-rs

Use proper query system

Open xldenis opened this issue 2 years ago • 0 comments

The core loop of Creusot is powered by a 'query' system: a HashMap which stores the results of translating functions. Structuring things as queries is quite natural when interacting with rustc which is itself structured as a query system. However, it could be very beneficial to move to a proper query system, like the one provided by salsa.

xldenis avatar Oct 17 '21 16:10 xldenis