Fixing Unit Tests

Author: parthrdesai

src/core/explain.rkt

@@ -497,7 +497,7 @@
         (let loop ([expr expr]
                    [loc '()])
           (match expr
-             [(== subexpr) (sow (reverse loc))]
+            [(== subexpr) (sow (reverse loc))]
             [(? literal?) (void)]
             [(? symbol?) (void)]
             [(approx _ impl) (loop impl (cons 2 loc))]
@@ -506,7 +506,6 @@
                    [i (in-naturals 1)])
                (loop arg (cons i loc)))]))))
 
-
 (define (generate-timelines expr
                             ctx
                             pctx
@@ -549,7 +548,7 @@
       (define err-count (length val))
       (define maybe-count (length (hash-ref maybe-expls->points key '())))
       (define flow-list (make-flow-table oflow-hash uflow-hash subexpr expl))
-    
+
       (define locations (get-locations expr subexpr))
 
       (list (~a (car subexpr)) (~a subexpr) (~a expl) err-count maybe-count flow-list locations)))
@@ -626,8 +625,6 @@
                       oflow-hash
                       uflow-hash))
 
-
-
 (define (flow-list flow-hash expr type)
   (for/list ([(k v) (in-dict (hash-ref flow-hash expr))])
     (list (~a k) type v)))
@@ -699,4 +696,4 @@
   (define true-maybe (hash-ref counts '(#t . maybe) 0))
   (define false-maybe (hash-ref counts '(#f . maybe) 0))
 
-  (list true-pos true-maybe false-neg false-pos false-maybe true-neg))
+  (list true-pos true-maybe false-neg false-pos false-maybe true-neg))

src/reports/timeline.rkt

@@ -350,19 +350,20 @@
     (dd (details
          (summary "Click to see full explanations table")
          (table ((class "times"))
-                (thead (tr (th "Operator") (th "Subexpression") (th "Explanation") (th "Count")))
+                (thead (tr (th "Operator") (th "Subexpression") (th "Explanation") (th "Count") (th "Locations")))
                 ,@(append*
                    (for/list ([rec (in-list (sort explanations > #:key fourth))])
-                     (match-define (list op expr expl cnt mcnt flows) rec)
+                     (match-define (list op expr expl cnt mcnt flows locations) rec)
 
                      (append (list `(tr (td (code ,(~a op)))
                                         (td (code ,(~a expr)))
                                         (td (b ,(~a expl)))
                                         (td ,(~a cnt))
-                                        (td ,(~a mcnt))))
+                                        (td ,(~a mcnt))
+                                        (td (code ,(~a locations))))
                              (for/list ([flow (in-list (or flows '()))])
                                (match-define (list ex type v) flow)
-                               `(tr (td "↳") (td (code ,(~a ex))) (td ,type) (td ,(~a v))))))))))))
+                               `(tr (td "↳") (td (code ,(~a ex))) (td ,type) (td ,(~a v)))))))))))))
 
 (define (render-phase-confusion confusion-matrix)
   (match-define (list (list true-pos false-neg false-pos true-neg)) confusion-matrix)