This PR migrates semantic-analysis over to the parametric modular abstract interpretation framework I’ve been building. It remains superficially similar, but has a better basis for the domain effect, better ergonomics via labelled effects for the store &c., and provides an operation analogous to linking, allowing out-of-order program analysis and (typically file-level) incremental updating.
This PR migrates
semantic-analysisover to the parametric modular abstract interpretation framework I’ve been building. It remains superficially similar, but has a better basis for the domain effect, better ergonomics via labelled effects for the store &c., and provides an operation analogous to linking, allowing out-of-order program analysis and (typically file-level) incremental updating.