diff options
| author | John Hodge <tpg@mutabah.net> | 2016-06-11 22:05:05 +0800 |
|---|---|---|
| committer | John Hodge <tpg@mutabah.net> | 2016-06-11 22:05:05 +0800 |
| commit | 312d91ae9b2e55aa1a447d7994468023490bfeb3 (patch) | |
| tree | 37e48917ceb9bada08e99a2f30ff7073c95c8456 /src/hir/type.hpp | |
| parent | 59ed1dee6a4777e380982b3b8dd464429d0f423b (diff) | |
| download | mrust-312d91ae9b2e55aa1a447d7994468023490bfeb3.tar.gz | |
HIR Typecheck - Fix pattern propagation
Diffstat (limited to 'src/hir/type.hpp')
| -rw-r--r-- | src/hir/type.hpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/hir/type.hpp b/src/hir/type.hpp index 209e7f94..70a0419d 100644 --- a/src/hir/type.hpp +++ b/src/hir/type.hpp @@ -183,6 +183,9 @@ public: static TypeRef new_array(TypeRef inner, ::HIR::ExprPtr size_expr) { return TypeRef(Data::make_Array({box$(mv$(inner)), mv$(size_expr), ~0u})); } + static TypeRef new_path(::HIR::Path path, TypePathBinding binding) { + return TypeRef(Data::make_Path({ mv$(path), mv$(binding) })); + } TypeRef clone() const; |