From fedd3d949174b60ead3215c6aea0f8bf3e73e053 Mon Sep 17 00:00:00 2001
From: totoro <david.rene@calexium.com>
Date: Thu, 13 Apr 2017 00:50:23 +0200
Subject: [PATCH] add get_all_types from all ds_type_file

---
 types/ds_types.anubis | 14 ++++++++++++++
 1 file changed, 14 insertions(+), 0 deletions(-)

diff --git a/types/ds_types.anubis b/types/ds_types.anubis
index d5a022f..bfe2c54 100644
--- a/types/ds_types.anubis
+++ b/types/ds_types.anubis
@@ -226,6 +226,20 @@ public define List(Extern_type)
   extract_extern_type(ds_alternatives, [], beside_type)
 .
 
+public define List(DS_Type)
+  get_all_types
+  (
+    List(DS_Type_File)  type_files
+  )=
+  if type_files is
+  {
+    []      then [],
+    [h . t] then
+      since h is ds_type_file(_, _, types),
+      types + get_all_types(t)
+  }
+.
+  
  /******************* DUMP function *****************************/
 
 public define String
--
libgit2 0.21.4