Write json->value function and use it to convert values in json->pcontext.

Author: davidatp

src/float.rkt

@@ -8,7 +8,7 @@
  ulp-difference ulps->bits
  midpoint random-generate
  </total <=/total
- value->string value->json
+ value->string value->json json->value
  real->repr repr->real)
 
 (define (ulp-difference x y repr)
@@ -62,6 +62,20 @@
     [_ (hash 'type (~a (representation-name repr))
              'ordinal (~a ((representation-repr->ordinal repr) x)))]))
 
+(define (json->value x repr)
+  (match x
+    [(? real?) x]
+    [(? hash?) 
+      (match (hash-ref x 'type) 
+        ["real"
+          (match (hash-ref x 'value)
+            ["-inf" -inf.0]
+            ["+inf" +inf.0]
+            ["NaN" +nan.0]
+            [_ +nan.0])]
+        [_ ((representation-ordinal->repr repr)
+              (string->number (hash-ref x 'ordinal)))])]))
+
 (define (value->string n repr)
   ;; Prints a number with relatively few digits
   (define ->bf (representation-repr->bf repr))

src/points.rkt

@@ -91,7 +91,7 @@
   (define-values (pts exs)
     (for/lists (pts exs) ([entry (in-list json)])
       (match-define (list pt ex) entry)
-      (values (map real->repr pt var-reprs) (real->repr ex output-repr))))
+      (values (map real->repr pt var-reprs) (real->repr (json->value ex output-repr) output-repr))))
   (mk-pcontext pts exs))
 
 (define (pcontext->json pcontext repr)