DavePearce/Whiley — Issue #58: Type Propagation and Constraint Inline
Author: DavePearce
Created: 2011-11-12 03:48:17+00:00
State: open

There is a problem that type propagation occurs before constraint inline. The problem is that constraints sourced from other files are not guaranteed to have had their types propagated through when we inline them. One solution is to run type propagation twice.