Skip to content

Commit

Permalink
Fix fmt.
Browse files Browse the repository at this point in the history
  • Loading branch information
zaneenders committed Aug 23, 2024
1 parent b430ec3 commit b647b38
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 3 deletions.
5 changes: 4 additions & 1 deletion infra/convert-demo.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,10 @@
(define exprs-unfiltered
(for/list ([test tests])
(read-expr (hash-ref test 'input) is-version-10)))
(define exprs (for/set ([expr exprs-unfiltered] #:when (not (set-member? existing-set expr))) expr))
(define exprs
(for/set ([expr exprs-unfiltered]
#:when (not (set-member? existing-set expr)))
expr))
(for ([expr (in-set exprs)])
(fprintf output-file "~a\n" (make-fpcore expr)))
exprs)
Expand Down
4 changes: 3 additions & 1 deletion src/reports/plot.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,9 @@
splitpoints->json)

(define (all-same? pts idx)
(= 1 (set-count (for/set ([pt pts]) (list-ref pt idx)))))
(= 1
(set-count (for/set ([pt pts])
(list-ref pt idx)))))

(define (ulps->bits-tenths x)
(string->number (real->decimal-string (ulps->bits x) 1)))
Expand Down
3 changes: 2 additions & 1 deletion src/syntax/types.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,8 @@
(define (type-name? x)
(hash-has-key? type-dict x))

(define-syntax-rule (define-type name _ ...) (hash-set! type-dict 'name #t))
(define-syntax-rule (define-type name _ ...)
(hash-set! type-dict 'name #t))

(define-type real)
(define-type bool)
Expand Down

0 comments on commit b647b38

Please sign in to comment.