From 19ee8bf4e7226117c47edfba623db61720a07338 Mon Sep 17 00:00:00 2001
From: Grégoire Duchêne <gduchene@awhk.org>
Date: Sun, 28 Sep 2014 18:11:08 +0200
Subject: Implemented the -denv CLI option

---
 src/Tamasheq.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'src/Tamasheq.ml')

diff --git a/src/Tamasheq.ml b/src/Tamasheq.ml
index ebd8d7c..d5e17b0 100644
--- a/src/Tamasheq.ml
+++ b/src/Tamasheq.ml
@@ -144,5 +144,8 @@ let () =
         List.iter (Printlambda.lambda pp >> Format.print_newline) lambda
       ;
 
-      List.iter (fun l -> ignore @$ eval env [] l) lambda
+      List.iter (fun l -> ignore @$ eval env [] l) lambda;
+
+      if !denv then
+        Environment.dump env stderr
     end
-- 
cgit v1.2.3-70-g09d2