Try to compile

main.py

@@ -8,7 +8,7 @@ EXAMPLE_CODE = open("/workspace/psychec/test.c", "r").read()
 def run_psychec(c_code: str):
     """Run PsycheC type inference on the provided C code."""
     if not c_code.strip():
-        return "Please provide some C code.", "", ""
+        return "Please provide some C code.", "", "", ""
     
     with tempfile.TemporaryDirectory() as tmpdir:
         input_file = Path(tmpdir) / "input.c"
@@ -33,12 +33,30 @@ def run_psychec(c_code: str):
             if not log_output.strip():
                 log_output = "Type inference completed successfully." if result.returncode == 0 else "Type inference failed."
             
-            return log_output, header_content, fixed_content
+            compile_status = ""
+            if fixed_c.exists():
+                try:
+                    compile_result = subprocess.run(
+                        ["cc", "-c", str(fixed_c)],
+                        capture_output=True,
+                        text=True,
+                        cwd=tmpdir
+                    )
+                    if compile_result.returncode == 0:
+                        compile_status = "Compilation successful."
+                    else:
+                        compile_status = f"Compilation failed: {compile_result.stderr.strip()}"
+                except Exception as e:
+                    compile_status = f"Compilation error: {e}"
+            else:
+                compile_status = "No fixed file to compile."
+            
+            return log_output, header_content, fixed_content, compile_status
             
         except subprocess.TimeoutExpired:
-            return "Error: Type inference timed out after 30 seconds.", "", ""
+            return "Error: Type inference timed out after 30 seconds.", "", "", ""
         except Exception as e:
-            return f"Error: {e}", "", ""
+            return f"Error: {e}", "", "", ""
 
 def create_demo():
     with gr.Blocks(title="PsycheC Type Inference") as demo:
@@ -67,11 +85,12 @@ def create_demo():
                 header_output = gr.Code(label="Generated Header (_gen.h)", language="c", lines=10)
                 fixed_output = gr.Code(label="Fixed C File (_fixed.c)", language="c", lines=10)
                 log_output = gr.Textbox(label="Output Log", lines=1)
+                compile_output = gr.Textbox(label="Compilation Status", lines=5)
         
         run_btn.click(
             fn=run_psychec,
             inputs=[code_input],
-            outputs=[log_output, header_output, fixed_output]
+            outputs=[log_output, header_output, fixed_output, compile_output]
         )
         
         gr.Markdown(