aboutsummaryrefslogtreecommitdiff
path: root/LICENSE-APACHE
diff options
context:
space:
mode:
authorbors[bot] <bors[bot]@users.noreply.github.com>2018-12-29 12:24:40 +0000
committerbors[bot] <bors[bot]@users.noreply.github.com>2018-12-29 12:24:40 +0000
commit9220641ba4d3c7a95db7355d9999da54d455607c (patch)
tree7c240880b47d94ecb9c9d39766579e8ec563b018 /LICENSE-APACHE
parenta9528c540b1e71d03d643244dd915f6420b38191 (diff)
parentb1590bdf6a88c03e2aeeedbe04f4dbc4203073db (diff)
Merge #355
355: Type variables / unification r=matklad a=flodiebold This will really become necessary when we implement generics, but even now, it allows us to reason 'backwards' to infer types of expressions that we didn't understand for some reason. This uses [ena](https://crates.io/crates/ena) to keep track of type variables. Also turn `Ty::Tuple` from a `Vec` into an `Arc<[Ty]>` to keep `Ty` easily cloneable. Though to be honest I'm not sure how often we actually share data here, with all the make_muts and modifying... Co-authored-by: Florian Diebold <[email protected]>
Diffstat (limited to 'LICENSE-APACHE')
0 files changed, 0 insertions, 0 deletions