From 73bcd2fb0bda8f939a6c1385b419a67ad8eeef2c Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Sun, 29 May 2016 21:41:05 +0800
Subject: HIR Typecheck - Expression inference coming along

---
 src/hir/pattern.hpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/hir/pattern.hpp')

diff --git a/src/hir/pattern.hpp b/src/hir/pattern.hpp
index 0db35059..fc763f54 100644
--- a/src/hir/pattern.hpp
+++ b/src/hir/pattern.hpp
@@ -60,6 +60,7 @@ struct Pattern
         (Ref,       struct { ::HIR::BorrowType type; ::std::unique_ptr<Pattern> sub; } ),
         (Tuple,     struct { ::std::vector<Pattern> sub_patterns; } ),
         (StructTuple, struct {
+            // NOTE: Type paths in patterns _can_ have parameters
             GenericPath path;
             const Struct*   binding;
             ::std::vector<Pattern> sub_patterns;
-- 
cgit v1.2.3