Skip to content

Instantly share code, notes, and snippets.

🦁
Statusing

Sam Tobin-Hochstadt samth

🦁
Statusing
Block or report user

Report or block samth

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
View errors-cs
not same result untyped: +nan.0+nan.0i typed: +nan.0+0.0i
(/ 2.3454025 (flmin (real->double-flonum 1.797693134862315e+308) (real->double-flonum -1.2848677e+32)) (make-rectangular +nan.0 0.0))
not same result untyped: -0.0-0.0i typed: -0.0+nan.0i
(/ (+ (real->double-flonum 0.41378116537811604) (real->double-flonum 1)) (round (real->double-flonum 1.8869765)) (make-rectangular -1/2 1.7976931348623157e+308))
not same result untyped: 0.0-0.0i typed: 0.0+nan.0i
(/ (+ (exact-round 1.8655746e+35) (exact-round 1)) 2.0324421e-21 (make-rectangular 4 1.7976931348623157e+308))
not same result untyped: -3.701631435361851+1.5e-322i typed: +nan.0+0.0i
View errors
not same result untyped: -0.0+0.0i typed: -0.0+nan.0i
(/ (+ (real->double-flonum 0.41378116537811604) (real->double-flonum 1)) (round (real->double-flonum 1.8869765f0)) (make-rectangular -1/2 1.7976931348623157e+308))
not same result untyped: -3.701631435361851+1.4821969375237e-322i typed: +nan.0+0.0i
(/ (bitwise-not (exact-round 0.9279912613796584)) (flcos (real->double-flonum -1)) (+ (make-rectangular 1 3.95252516673e-323)))
not same result untyped: -0.0+0.0i typed: +nan.0+0.0i
(/ (make-rectangular -1.7976931348623157e+308 -1.0118355f-14))
not same result untyped: -0.2-0.0i typed: +nan.0-0.0i
View systems.txt
[samth@huor:/tmp/CSRankings (gh-pages) plt] r count.rkt
confs: ("sosp" "osdi")
There are 266 people with 1 papers in all confs.
There are 62 people with 2 papers in all confs.
There are 20 people with 3 papers in all confs.
There are 9 people with 4 papers in all confs.
'("Eddie Kohler"
"Shan Lu"
"Wyatt Lloyd"
"Gregory R. Ganger"
View assembly.rkt
#lang racket/base
(require get-primitive)
(define ev (get-primitive 'eval))
(define rd (get-primitive 'read))
(ev '(import (chezscheme)))
(define ois (ev 'open-input-string))
View out
;; linklet ---------------------
(linklet
(() (.syntax-literals) () (interp-match) (syntax-protect)
(t-resyntax t-subst check-loc) (pattern-failure)
(raise-syntax-error
(syntax-e 1/syntax-e)
free-identifier=?))
()
(lambda (user-stx_1)
(let-values ([(arg_2) user-stx_1])
View a.rkt
#lang racket
(require "b.rkt")
(m 10)
View bug-rkt.rkt
#lang racket/base
(#%module-begin
(#%require racket/math)
(#%require racket/list racket/flonum racket/unsafe/ops)
(define (check-list v) (unless (list? v) (error 'check-list)))
(define-values (*iteration-limit*) '50)
(define-values
(mandel)
View crash.rkt
(module a '#%kernel
(define-values
(struct:keyword-procedure
mkkwproc
keywordprocedure?
keyword-procedure-ref
keywordprocedureset)
(make-struct-type 'procedure #f 1 '0 #f
(list (cons prop:incomplete-arity #t))
(current-inspector)
View -
(module a '#%kernel
(define-values
(struct:keyword-procedure
mkkwproc
keywordprocedure?
keyword-procedure-ref
keywordprocedureset)
(make-struct-type 'procedure #f 4 '0))
(define-values
(keyword-procedure-proc)
View out.linklet
;; This is not the original source code. Instead, this is the code after
;; fully expanding and flattening into a single linklet.
(module out '#%kernel
(define-values
(prop:keyword-impersonator keyword-impersonator? keyword-impersonator-ref)
(make-struct-type-property 'keyword-impersonator))
(define-values
(keyword-procedure-impersonator-of)
(lambda (v_0)
(begin (if (keyword-impersonator? v_0) (let-values () ((keyword-impersonator-ref v_0) v_0)) (let-values () #f)))))
You can’t perform that action at this time.