fixed edge case on destructor emission

Author: drblallo

README.md

@@ -1,5 +1,7 @@
 # RLC
 
+[rationale, tutorials and documentation](https://rl-language.github.io)
+
 **Rulebook** is a language for complex interactive subsystems (reinforcement learning environments, videogames, UIs with graph-like transitions, multistep procedures, ...).
 
 Rulebook is compiled and statically checked, the key and innovative feature of the language are [Action functions with SPIN properties](https://rl-language.github.io/language_tour.html#action-functions), which help to:

lib/conversions/src/RLCToC.cpp

@@ -292,6 +292,21 @@ static void printMethodsOfType(
 						attrs,
 						builder,
 						isDecl);
+
+                auto can_type = mlir::FunctionType::get(value.getContext(), 
+						value.getType().cast<mlir::FunctionType>().getInputs(), {mlir::rlc::BoolType::get(value.getContext())});
+				printMethodOfType(
+						OS,
+						type,
+						can_type,
+					    "can_" + action.getName().str(),
+						mlir::rlc::mangledName(
+								"can_" + action.getName().str(),
+								true,
+								can_type),
+						attrs,
+						builder,
+						isDecl);
 			}
 		}
 	}
@@ -662,8 +677,6 @@ void rlc::rlcToCHeader(mlir::ModuleOp Module, llvm::raw_ostream& OS)
 			continue;
 		if (fun.getUnmangledName() == "main")
 			continue;
-		if (fun.isDeclaration())
-			continue;
 		std::string cShortName =
 				((not fun.getFunctionType().getInputs().empty() and
 					fun.getFunctionType().getInputs().front().isa<mlir::rlc::ClassType>())

lib/dialect/src/EmitImplicitDestructorInvocationsPass.cpp

@@ -336,6 +336,10 @@ namespace mlir::rlc
 			destructorsToCreate.push_back(t);
 		};
 
+        for (auto classDecl : op.getOps <mlir::rlc::ClassDeclaration>()) {
+            collectToCreate(classDecl.getDeclaredType());
+            classDecl.getDeclaredType().walk(collectToCreate);
+        }
 		op.walk([&](mlir::rlc::TypeAliasOp op) {
 			auto type = op.getAliased();
 			collectToCreate(type);

tool/rlc/test/wrappers/c_function.rl

@@ -19,6 +19,7 @@ fun to_invoke() -> Int {true}:
 #include <stdbool.h>
 #define RLC_GET_FUNCTION_DECLS
 #define RLC_GET_TYPE_DECLS
+#define RLC_GET_TYPE_DEFS
 #include "./header.h"
 
 int main() {