added sky tower

Author: drblallo

Diff for: .vimrc

@@ -197,6 +197,8 @@ nnoremap <leader><leader>dts :DTSUIT<cr>
 nnoremap <leader><leader>to :TONE<cr>
 nnoremap <leader><leader>dto :DTONE<cr>
 nnoremap <leader><leader>tc :BENCHMARK<cr>
+map <leader><leader>L i<
+map <leader><leader>G i>
 
 command! -nargs=1 Rename call s:clangRename(<f-args>)
 exe "hi clangOutError ctermfg="g:ColorStatement

Diff for: lib/dialect/src/EmitImplicitDestructorInvocationsPass.cpp

@@ -472,7 +472,8 @@ namespace mlir::rlc
 			llvm::DenseMap<mlir::Type, bool> requireDestructor;
 
 			fun->walk([&](mlir::Operation* op) {
-				if (not mlir::isa<mlir::rlc::DeclarationStatement>(op))
+				auto casted = mlir::dyn_cast<mlir::rlc::DeclarationStatement>(op);
+				if (not casted or casted.isReference())
 					return;
 				for (mlir::Value result : op->getResults())
 					if (typeRequiresDestructor(

Diff for: stdlib/collections/vector.rl

@@ -36,6 +36,10 @@ cls<T> Vector:
         counter = 0
         while counter < self._size:
             new_data[counter] = self._data[counter] 
+            counter = counter + 1
+
+        counter = 0
+        while counter < self._capacity:
             __builtin_destroy_do_not_use(self._data[counter])
             counter = counter + 1
 

Diff for: tool/rlc/test/enumeration_errors.rl

@@ -0,0 +1,25 @@
+# RUN: rlc %s -o %t -i %stdlib 
+# RUN: %t%exeext | FileCheck %s
+
+
+import action
+
+
+cls TopLevel:
+    # CHECK: a is of type Int, which is not enumerable. Replace it instead with a BInt with appropriate bounds or specify yourself how to enumerate it.
+    Int a
+    # CHECK-NEXT: b is of type Float, which is not enumerable. Specify yourself how to enumerate it.
+    Float b
+    Bool[3] c
+    Vector<BInt<0, 3>> f
+
+act play() -> Game:
+    # CHECK: GameDoNothing.a is of type Int, which is not enumerable. Replace it instead with a BInt with appropriate bounds or specify yourself how to enumerate it.
+    act do_nothing(Int a, Bool b)
+
+fun main() -> Int:
+    let y : TopLevel
+    let state : AnyGameAction
+    print(get_enumeration_errors(y))
+    print(get_enumeration_errors(state))
+    return 0