diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-28 18:11:08 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-28 18:11:08 +0200 |
| commit | 19ee8bf4e7226117c47edfba623db61720a07338 (patch) | |
| tree | 66bf7c096d398145c8644274428e7f5ff151913c /src/Tamasheq.ml | |
| parent | 5f754e3f883b468953a73afd8a12b279a3a5c2b8 (diff) | |
Implemented the -denv CLI option
Diffstat (limited to 'src/Tamasheq.ml')
| -rw-r--r-- | src/Tamasheq.ml | 5 |
1 files changed, 4 insertions, 1 deletions
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 |