More fixes

Author: bksaiki

src/interface.rkt

@@ -40,17 +40,17 @@
 
 (define (shift bits fn)
   (define shift-val (expt 2 bits))
-  (λ (x) (+ (fn x) shift-val)))
+  (λ (x) (fn (- x shift-val))))
 
 (define (unshift bits fn)
   (define shift-val (expt 2 bits))
-  (λ (x) (fn (- x shift-val))))
+  (λ (x) (+ (fn x) shift-val)))
 
 (define-representation (binary64 real)
   bigfloat->flonum
   bf
-  (unshift 63 ordinal->flonum)
-  (shift 63 flonum->ordinal)
+  (shift 63 ordinal->flonum)
+  (unshift 63 flonum->ordinal)
   64
   '(+nan.0 +inf.0 -inf.0))
 

src/web/common.rkt

@@ -15,8 +15,8 @@
 (define (fpcore->string core)
   (match-define (list 'FPCore args props ... expr) core)
   (define props*  ; make sure each property (name, value) gets put on the same line
-    (for/list ([val (apply dict-set* '() props)]) ; how to make a list of pairs from a list
-      (format "~a ~a" (car val) (cdr val))))
+    (for/list ([(prop name) (in-dict (apply dict-set* '() props))]) ; how to make a list of pairs from a list
+      (format "~a ~a" prop name)))
   (pretty-format `(,(format "FPCore ~a" args) ,@props* ,expr) #:mode 'display))
 
 (define/contract (render-menu sections links)