diff options
author | Philip Herron <philip.herron@embecosm.com> | 2020-12-12 12:56:02 +0000 |
---|---|---|
committer | Philip Herron <herron.philip@googlemail.com> | 2020-12-17 17:23:46 +0000 |
commit | 44d10d9547612b5fda3d27bb628d5d6ee79108af (patch) | |
tree | ee39563bec035ad3882c1e655a49ba55df12d47c /gcc/rust/resolve/rust-ast-resolve-pattern.h | |
parent | 4fb0ab7e635c65318aadf958e0e1303f3435c4e5 (diff) | |
download | gcc-44d10d9547612b5fda3d27bb628d5d6ee79108af.zip gcc-44d10d9547612b5fda3d27bb628d5d6ee79108af.tar.gz gcc-44d10d9547612b5fda3d27bb628d5d6ee79108af.tar.bz2 |
TypeResolution pass now with a TyTy module
Resolution must implement the Gathering specified in the rust-dev guide.
We need to be able to handle cases such as:
let mut x;
x = 1;
or
let mut x = vec!{}
x.push(1)
Now the TyTy module has a combine abstract method to allow the combination
of types to condense down from their integral parts.
Diffstat (limited to 'gcc/rust/resolve/rust-ast-resolve-pattern.h')
-rw-r--r-- | gcc/rust/resolve/rust-ast-resolve-pattern.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/rust/resolve/rust-ast-resolve-pattern.h b/gcc/rust/resolve/rust-ast-resolve-pattern.h index fc2da70..a393d31 100644 --- a/gcc/rust/resolve/rust-ast-resolve-pattern.h +++ b/gcc/rust/resolve/rust-ast-resolve-pattern.h @@ -78,6 +78,7 @@ public: void visit (AST::IdentifierPattern &pattern) { + printf ("declaration for: %s\n", pattern.as_string ().c_str ()); // if we have a duplicate id this then allows for shadowing correctly // as new refs to this decl will match back here so it is ok to overwrite resolver->get_name_scope ().insert (pattern.get_ident (), |