Desugaring matches parametric ops on 'real rather than 'binary64 or '…

…binary32
herbie-fp · Feb 7, 2019 · 670da46 · 670da46
1 parent 0b5601f
commit 670da46
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/web/make-graph.rkt b/src/web/make-graph.rkt
@@ -230,6 +230,11 @@
                  baseline-error oracle-error all-alts)
    result)
    (define precision (test-precision test))
+   ;; render-history expects the precision to be 'real rather than 'binary64 or 'binary32
+   ;; remove this when the number system interface is added
+   (define precision* (if (set-member? '(binary64 binary32) precision)
+                          'real
+                          precision))
 
    (fprintf out "<!doctype html>\n")
    (write-xexpr
@@ -301,7 +306,7 @@
        (section ([id "history"])
         (h1 "Derivation")
         (ol ([class "history"])
-         ,@(render-history end-alt (mk-pcontext newpoints newexacts) (mk-pcontext points exacts) precision)))
+         ,@(render-history end-alt (mk-pcontext newpoints newexacts) (mk-pcontext points exacts) precision*)))
 
        ,(render-reproduction test)))
     out))