From 14d544935fc87df2b258cd4c9ed5acede44fe1f3 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Mon, 14 Oct 2013 13:37:07 +0100
Subject: Run main() to execute tests

Tests do not pass because of weird pattern-matching errors
in the interpreter.
---
 src/lem_interp/run_interp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index d28cb0d6..ba3557bf 100644
--- a/src/lem_interp/run_interp.ml
+++ b/src/lem_interp/run_interp.ml
@@ -47,7 +47,7 @@ let act_to_string = function
  | Write_mem _ -> "write_mem"
 ;;
 
-let run (name, test) = match interp test (E_block []) with
+let run (name, test) = match interp test (E_app(E_id(Id "main"), [E_lit L_unit])) with
  | Value v -> eprintf "%s: returned %s\n" name (val_to_string v)
  | Action (a, s) -> eprintf "%s: suspended on action %s\n" name (act_to_string a)
  | Error e -> eprintf "%s: error: %s\n" name e
-- 
cgit v1.2.3