Index: src/ControlStruct/TranslateEnumRange.cpp
===================================================================
--- src/ControlStruct/TranslateEnumRange.cpp	(revision f3b67b61c77cdbc02930ce3fa8b8ccb9124f9ec5)
+++ src/ControlStruct/TranslateEnumRange.cpp	(revision f3b67b61c77cdbc02930ce3fa8b8ccb9124f9ec5)
@@ -0,0 +1,100 @@
+#include "TrasnlateEnumRange.hpp"
+
+#include "AST/Pass.hpp"
+#include "AST/TranslationUnit.hpp"
+
+namespace ControlStruct {
+
+struct addInitType {
+    const ast::Stmt * postvisit( const ast::ForStmt * stmt );
+};
+
+struct addInit {
+    const ast::Stmt * postvisit( const ast::ForStmt * stmt );
+};
+
+struct translateEnumRangeCore {
+    const ast::Stmt * postvisit( const ast::ForStmt * stmt );
+};
+
+const ast::Stmt* addInitType::postvisit( const ast::ForStmt * stmt ) {
+    if ( stmt->range_over ) {
+        auto typeExpr = stmt->range_over.strict_as<ast::TypeExpr>();
+        auto type = typeExpr->type;
+        auto inits = stmt->inits;
+        auto enumInst = type.strict_as<ast::EnumInstType>();
+        auto enumDecl = enumInst->base;
+
+        auto init = stmt->inits.front();
+
+        if (auto declStmt = init.as<ast::DeclStmt>()) {
+            auto decl = declStmt->decl;
+            if ( auto objDecl = decl.as<ast::ObjectDecl>()) {
+                if ( !objDecl->type && type ) {
+                    auto objDeclWithType = ast::mutate_field( objDecl, &ast::ObjectDecl::type, type );
+                    auto declWithType = ast::mutate_field( declStmt, &ast::DeclStmt::decl, objDeclWithType );
+                    stmt = ast::mutate_field_index( stmt, &ast::ForStmt::inits, 0, declWithType );
+                }
+            }
+        }
+    }
+    return stmt;
+}
+
+const ast::Stmt* addInit::postvisit( const ast::ForStmt * stmt ) {
+    if ( stmt->range_over ) {
+        auto typeExpr = stmt->range_over.strict_as<ast::TypeExpr>();
+        auto type = typeExpr->type;
+        auto inits = stmt->inits;
+        auto enumInst = type.strict_as<ast::EnumInstType>();
+        auto enumDecl = enumInst->base;
+
+        auto init = stmt->inits.front();
+
+        if (auto declStmt = init.as<ast::DeclStmt>()) {
+            auto decl = declStmt->decl;
+            if ( auto objDecl = decl.as<ast::ObjectDecl>()) {
+                if ( !objDecl->init ) {
+                    auto location = stmt->location;
+                    auto newInit = new ast::SingleInit( location, new ast::NameExpr( location, enumDecl->members.front()->name ) );
+                    auto objDeclWithInit = ast::mutate_field( objDecl, &ast::ObjectDecl::init, newInit );
+                    auto declWithInit = ast::mutate_field( declStmt, &ast::DeclStmt::decl, objDeclWithInit );
+                    stmt = ast::mutate_field_index( stmt, &ast::ForStmt::inits, 0, declWithInit );
+                }
+            }
+        }
+    }
+    return stmt;
+}
+
+const ast::Stmt* translateEnumRangeCore::postvisit( const ast::ForStmt * stmt ) {
+    if ( !stmt->range_over ) return stmt;
+    auto location = stmt->location;
+    auto declStmt = stmt->inits.front().strict_as<ast::DeclStmt>();
+    auto initDecl = declStmt->decl.strict_as<ast::ObjectDecl>();
+    auto indexName = initDecl->name;
+    
+    auto typeExpr = stmt->range_over.strict_as<ast::TypeExpr>();
+    auto enumInst = typeExpr->type.strict_as<ast::EnumInstType>();
+    auto enumDecl = enumInst->base;
+
+    auto condition = ast::UntypedExpr::createCall( location, "?<=?", {
+        new ast::NameExpr( location, indexName ),
+        // ast::ConstantExpr::from_ulong( location, enumDecl->members.size() )
+        new ast::NameExpr( location, enumDecl->members.back()->name )
+    });
+    auto increment = ast::UntypedExpr::createCall( location, "succ", {
+        new ast::NameExpr( location, indexName )
+    });
+    auto assig = ast::UntypedExpr::createAssign( location, new ast::NameExpr( location, indexName ), increment );
+    auto mut = ast::mutate_field( stmt, &ast::ForStmt::cond, condition );
+    mut = ast::mutate_field(stmt, &ast::ForStmt::inc, assig );
+    return mut;
+}
+
+void translateEnumRange( ast::TranslationUnit & translationUnit ) {
+    ast::Pass<addInitType>::run( translationUnit );
+    ast::Pass<addInit>::run( translationUnit );
+    ast::Pass<translateEnumRangeCore>::run( translationUnit );
+}
+}
Index: src/ControlStruct/TrasnlateEnumRange.hpp
===================================================================
--- src/ControlStruct/TrasnlateEnumRange.hpp	(revision f3b67b61c77cdbc02930ce3fa8b8ccb9124f9ec5)
+++ src/ControlStruct/TrasnlateEnumRange.hpp	(revision f3b67b61c77cdbc02930ce3fa8b8ccb9124f9ec5)
@@ -0,0 +1,9 @@
+#pragma once
+
+namespace ast {
+class TranslationUnit;
+}
+
+namespace ControlStruct {
+void translateEnumRange( ast::TranslationUnit & translationUnit );
+}