diff --git a/compiler/src/main.cpp b/compiler/src/main.cpp index 6ca01cc58..a41d4b90d 100644 --- a/compiler/src/main.cpp +++ b/compiler/src/main.cpp @@ -295,9 +295,13 @@ mlir::LogicalResult processInputBuffer( mlir::concretelang::ClientServer:: create(buffer->getBuffer(), options, keySetCache, mlir::concretelang::JITSupport()); - + if (!lambdaOrErr) { + mlir::concretelang::log_error() + << "Failed to get JIT-lambda " << funcName << " " + << llvm::toString(lambdaOrErr.takeError()); + return mlir::failure(); + } llvm::Expected resOrErr = (*lambdaOrErr)(jitArgs); - if (!resOrErr) { mlir::concretelang::log_error() << "Failed to JIT-invoke " << funcName << " with arguments "