fixes #145

compiler/ccgtypes.nim

@@ -583,6 +583,8 @@ proc getTypeDescAux(m: BModule, typ: PType, check: var TIntSet): PRope =
   else: 
     InternalError("getTypeDescAux(" & $t.kind & ')')
     result = nil
+  # fixes bug #145:
+  excl(check, t.id)
 
 proc getTypeDesc(m: BModule, typ: PType): PRope = 
   var check = initIntSet()

tests/compile/tcodegenbug1.nim

@@ -53,3 +53,15 @@ proc `$`*(status: TStatusEnum): string =
 proc makeCommitPath*(platform, hash: string): string =
   return platform / "nimrod_" & hash.substr(0, 11) # 11 Chars.
 
+type
+  TFlag = enum
+    A, B, C, D
+
+  TFlags = set[TFlag]
+
+  TObj = object
+    x: int
+    flags: TFlags
+
+# have a proc taking TFlags as param and returning object having TFlags field
+proc foo(flags: TFlags): TObj = nil

todo.txt

@@ -1,6 +1,7 @@
 version 0.9.0
 =============
 
+- complete and document optional indentation for 'case' statement
 - implement a warning message for shadowed 'result' variable
 - make templates hygienic by default: try to gensym() everything in the 'block'
   of a template
@@ -149,9 +150,6 @@ Version 2 and beyond
 - implement/generalize the effect system; checked exceptions
 - const ptr/ref
 
-- optional indentation for 'case' statement; hm, keep in mind other syntax
-  changes that people want; may turn out to be a bad idea
-
 - language change: inheritance should only work with reference types, so that
   the ``type`` field is not needed for objects! --> zero overhead aggregation
   BETTER: ``of`` and safe object conversions only work with ref objects. Same