{"shas":[["cb0f05fce6401a3e4e6443a804b76810dacb9fb8","5f50a84c1fa3bcff146405017f36aec1a10a9e38@gazagnaire.com","Improve the error reporting for effect unification problems","samoht"],["9b85c55b2a67c2d8fd980bf3ed18174ddba9b1c1","5f50a84c1fa3bcff146405017f36aec1a10a9e38@gazagnaire.com","Add a hook in effect.ml to see to unifications for debugging purposes.","samoht"],["13da13d012f119e8316ddabde28f41cf452dcf03","5f50a84c1fa3bcff146405017f36aec1a10a9e38@gazagnaire.com","Compute the effect for recursive types (not tested).","samoht"],["bb2b1ee1f27157fe7e8b7fc4af9ec557fe19f50f","5f50a84c1fa3bcff146405017f36aec1a10a9e38@gazagnaire.com","When computing the number of regions from a local types, add 1 if we see a record with mutable fields.","samoht"]],"repo":"samoht/llama","actor":"samoht","ref":"refs/heads/tesard","size":4,"head":"bb2b1ee1f27157fe7e8b7fc4af9ec557fe19f50f","actor_gravatar":"698b0d9fd426ffed3d4306051c4f66d5","push_id":24765926}