From 1ad51e67d30f1cdac10f1574acc49de13a305398 Mon Sep 17 00:00:00 2001 From: John Hodge Date: Sun, 30 Oct 2016 18:39:55 +0800 Subject: Resolve Abs - MaybeBind->Bind in irrefutable context --- src/resolve/absolute.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/resolve/absolute.cpp b/src/resolve/absolute.cpp index da3a5619..7fe7d6c6 100644 --- a/src/resolve/absolute.cpp +++ b/src/resolve/absolute.cpp @@ -1727,7 +1727,10 @@ void Resolve_Absolute_Pattern(Context& context, bool allow_refutable, ::AST::Pa } } else { - TODO(pat.span(), "Resolve_Absolute_Pattern - Encountered MaybeBind in irrefutable context - replace with binding"); + auto name = mv$( e.name ); + + pat = ::AST::Pattern(::AST::Pattern::TagBind(), mv$(name)); + pat.binding().m_slot = context.push_var( pat.span(), pat.binding().m_name ); } ), (Macro, -- cgit v1.2.3