From 896d85e521311bbe1644598446df37f1b63fcd46 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Fri, 30 Dec 2016 11:08:44 +0800
Subject: Trans - Fiddling

---
 src/trans/enumerate.cpp | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/trans/enumerate.cpp')

diff --git a/src/trans/enumerate.cpp b/src/trans/enumerate.cpp
index 37d7ab98..de2763df 100644
--- a/src/trans/enumerate.cpp
+++ b/src/trans/enumerate.cpp
@@ -197,6 +197,7 @@ namespace {
 
             if( active_set.find(&ty) != active_set.end() ) {
                 // TODO: Handle recursion
+                DEBUG("- Type recursion with " << ty);
                 return ;
             }
             active_set.insert( &ty );
@@ -206,10 +207,13 @@ namespace {
             (Infer,
                 ),
             (Generic,
+                BUG(Span(), "Generic type hit in enumeration - " << ty);
                 ),
             (ErasedType,
+                BUG(Span(), "ErasedType hit in enumeration - " << ty);
                 ),
             (Closure,
+                BUG(Span(), "Closure type hit in enumeration - " << ty);
                 ),
             // Nothing to do
             (Diverge,
-- 
cgit v1.2.3