Skip to content
Browse files

WIP

  • Loading branch information...
1 parent ee9dd28 commit 2bacec8e690f3e921fb8c00300188f1821110c0b @braibant committed Mar 22, 2013
Showing with 6 additions and 5 deletions.
  1. +3 −5 invert.ml4
  2. +3 −0 print.ml
View
8 invert.ml4
@@ -27,20 +27,18 @@ module P = struct
end
-
-
let debug = true
let sanity env sigma t =
if debug
then
begin
- P.(print (string "Typing:" ^/^ P.constr t));
+ P.(eprint (string "Typing:" ^/^ P.constr t));
try
let ty = Typing.type_of env sigma t in
- P.(print (string "Type:" ^/^ P.constr ty));
+ P.(eprint (string "Type:" ^/^ P.constr ty));
with e ->
- P.(print (string "Unable to type the term"))
+ P.(eprint (string "Unable to type the term"))
end
View
3 print.ml
@@ -16,3 +16,6 @@ let stripes doc =
let print doc =
Printf.printf "%a" run doc
+
+let eprint doc =
+ Printf.eprintf "%a" run doc

0 comments on commit 2bacec8

Please sign in to comment.
Something went wrong with that request. Please try again.