diff options
| author | Philip Herron <philip.herron@embecosm.com> | 2020-12-18 16:17:47 +0000 |
|---|---|---|
| committer | Philip Herron <herron.philip@googlemail.com> | 2020-12-19 19:32:41 +0000 |
| commit | 3a10d1f15969f94c3d3bc836db1d75dd0f914aa9 (patch) | |
| tree | eecfac3b2f5b7b995a249862e16692a3d5e76845 /gcc/loop-init.c | |
| parent | bc14d9a0cd3c67093a9c11ad368c0d28325b21c6 (diff) | |
| download | gcc-3a10d1f15969f94c3d3bc836db1d75dd0f914aa9.zip gcc-3a10d1f15969f94c3d3bc836db1d75dd0f914aa9.tar.gz gcc-3a10d1f15969f94c3d3bc836db1d75dd0f914aa9.tar.bz2 | |
Add type unification as part of typecheck.
Rust must examine each usage of a name and unify their types. For example:
let mut x;
x = 1
This means the declaration is determined to be an inference variable then
the assignment can be resolved to an Integer TyTy which can be combined
as part of the rules to now make the let x decl be an i32.
Diffstat (limited to 'gcc/loop-init.c')
0 files changed, 0 insertions, 0 deletions