No useless prints for translation API

herbie-fp · Jan 22, 2025 · 34cddc3 · 34cddc3
1 parent 95a9dd3
commit 34cddc3
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/src/api/demo.rkt b/src/api/demo.rkt
@@ -499,7 +499,6 @@
   (post-with-json-response (lambda (post-data)
                              (define formula
                                (read-syntax 'web (open-input-string (hash-ref post-data 'formula))))
-                             (eprintf "Converting to Math.js ~a..." formula)
 
                              (define result (core->mathjs (syntax->datum formula)))
                              (hasheq 'mathjs result))))
@@ -508,9 +507,7 @@
   (post-with-json-response (lambda (post-data)
                              ; FPCore formula and target language
                              (define formula (read (open-input-string (hash-ref post-data 'formula))))
-                             (eprintf "Translating formula: ~a...\n" formula)
                              (define target-lang (hash-ref post-data 'language))
-                             (eprintf "Target language: ~a...\n" target-lang)
                              ; Select the appropriate conversion function
                              (define lang-converter
                                (case target-lang
@@ -527,7 +524,6 @@
 
                              ; convert the expression
                              (define converted (lang-converter formula "expr"))
-                             (eprintf "Converted Expression: \n~a...\n" converted)
                              (hasheq 'result converted 'language target-lang))))
 
 (define (run-demo #:quiet [quiet? #f]