From 8344871706b75f3f237385bf68e3ecaabf348ebc Mon Sep 17 00:00:00 2001 From: David Van Horn Date: Tue, 17 Dec 2024 12:49:44 -0500 Subject: [PATCH] Remove some unneeded things from utils.rkt. --- a86/scribblings/utils.rkt | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/a86/scribblings/utils.rkt b/a86/scribblings/utils.rkt index a16c7aa..b0bdf5b 100644 --- a/a86/scribblings/utils.rkt +++ b/a86/scribblings/utils.rkt @@ -21,18 +21,5 @@ (syntax->datum #'fn))))) #`(filebox (link (string-append "code/" fn) (tt fn)) (form #,(datum->syntax #'form s)))))])) -(define-syntax (filebox-include-fake stx) - (syntax-case stx () - [(_ form fn . s) - #`(filebox (link (string-append "code/" fn) (tt fn)) (form . #,(map syntax-e (syntax->list #'s))))])) - (define (save-file f s) (with-output-to-file f (λ () (display s)) #:exists 'replace)) - -(define (binary i [len 0]) - (typeset-code #:block? #f #:indent 0 - (string-append "#b" - (~a (number->string i 2) - #:left-pad-string "0" - #:align 'right - #:min-width len))))