Andrew Kent pnwamk
pnwamk
/ lazy-snip-typed_rkt.zo.diff
Created
May 22, 2018 15:31
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 12a13,157 | |
| > (module (lazy-snip-typed #%contract-defs-names) .... | |
| > (require (for-template (submod ".."))) | |
| > (provide) | |
| > '#<void> | |
| > (begin-for-all | |
| > (define #0=(.get-syntax-literal! pos) | |
| > .... | |
| > (let (((scope:0 (deserialize-scope 'module)) | |
| > (scope:1 (deserialize-scope 'module)) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| https://github.com/celskeggs/scribbles/blob/master/saving.rkt | |
| digimon | |
| phc-adt-lib/phc-adt$ PLTSTDERR=debug@tr-timing raco make tagged-structure-low-level.hl.rkt now segfaults after type checking |
pnwamk
/ nightly-vs-pr.diff
Created
May 2, 2018 21:20
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 24c24 | |
| < #<path:/Users/pnwamk/Repos/plt/nightly/share/pkgs/plot-lib/plot/private/plot2d/compiled/vector.rkt> | |
| --- | |
| > #<path:/Users/pnwamk/Repos/plt/dev/racket/share/pkgs/plot-lib/plot/private/plot2d/compiled/vector.rkt> | |
| 45c45 | |
| < #<path:/Users/pnwamk/Repos/plt/nightly/share/pkgs/plot-lib/plot/private/plot2d/compiled/vector.rkt> | |
| --- | |
| > #<path:/Users/pnwamk/Repos/plt/dev/racket/share/pkgs/plot-lib/plot/private/plot2d/compiled/vector.rkt> | |
| 92c92 | |
| < #<path:/Users/pnwamk/Repos/plt/nightly/share/pkgs/plot-lib/plot/private/plot2d/compiled/vector.rkt> |
pnwamk
/ vector_rkt.zo.diff
Last active
May 2, 2018 21:12
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (module vector .... | |
| (require (lib "typed/racket/base.rkt") | |
| (lib "racket/list.rkt") | |
| (lib "racket/unsafe/ops.rkt") | |
| (lib "typed/racket/base.rkt") | |
| (lib "racket/list.rkt") | |
| (lib "racket/unsafe/ops.rkt") | |
| (for-syntax | |
| (lib "typed-racket/utils/redirect-contract.rkt") | |
| (submod "." #%contract-defs-reference))) |
pnwamk
/ vector_rkt-NIGHTLY.zo
Created
May 2, 2018 14:25
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (module vector .... | |
| (require (lib "typed/racket/base.rkt") | |
| (lib "racket/list.rkt") | |
| (lib "racket/unsafe/ops.rkt") | |
| (lib "typed/racket/base.rkt") | |
| (lib "racket/list.rkt") | |
| (lib "racket/unsafe/ops.rkt") | |
| (for-syntax | |
| (lib "typed-racket/utils/redirect-contract.rkt") | |
| (submod "." #%contract-defs-reference))) |
pnwamk
/ vector_rkt-PR.zo
Created
May 2, 2018 14:23
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (module vector .... | |
| (require (lib "typed/racket/base.rkt") | |
| (lib "racket/list.rkt") | |
| (lib "racket/unsafe/ops.rkt") | |
| (lib "typed/racket/base.rkt") | |
| (lib "racket/list.rkt") | |
| (lib "racket/unsafe/ops.rkt") | |
| (for-syntax | |
| (lib "typed-racket/utils/redirect-contract.rkt") | |
| (submod "." #%contract-defs-reference))) |
pnwamk
/ rectangle_rkt-NIGHTLY.dep
Created
May 2, 2018 14:21
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ("6.90.0.28" ("7329c226388681d07f9e26ca0cc05b3d5fb802f3" | |
| . "05777cbeaa88817af30a64f8563c956f04c018e8") (collects #"plot" #"private" | |
| #"common" #"type-doc.rkt") (collects #"plot" #"private" #"common" #"utils.rkt") | |
| (collects #"plot" #"utils.rkt") (collects #"racket" #"base.rkt") (collects | |
| #"racket" #"contract" #"parametric.rkt") (collects #"racket" #"list.rkt") | |
| (collects #"racket" #"match.rkt") (collects #"racket" #"private" #"sort.rkt") | |
| (collects #"racket" #"runtime-config.rkt") (collects #"racket" | |
| #"runtime-path.rkt") (collects #"racket" #"sequence.rkt") (collects #"typed" | |
| #"racket" #"base" #"lang" #"reader.rkt") (collects #"typed" #"racket" | |
| #"base.rkt") (collects #"typed" #"racket" #"class.rkt") (collects |
pnwamk
/ rectangle_rkt-PR.dep
Created
May 2, 2018 14:21
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ("6.90.0.27" ("7329c226388681d07f9e26ca0cc05b3d5fb802f3" | |
| . "2ac6f4a0422fa89542ceaedd3b7ac875b299fc87") (collects #"math" #"base.rkt") | |
| (collects #"math" #"bigfloat.rkt") (collects #"math" #"main.rkt") (collects | |
| #"math" #"matrix.rkt") (collects #"math" #"number-theory.rkt") (collects #"math" | |
| #"private" #"array" #"array-broadcast.rkt") (collects #"math" #"private" | |
| #"array" #"array-constructors.rkt") (collects #"math" #"private" #"array" | |
| #"array-fft.rkt") (collects #"math" #"private" #"array" #"array-indexing.rkt") | |
| (collects #"math" #"private" #"array" #"array-parallel.rkt") (collects #"math" | |
| #"private" #"array" #"array-print.rkt") (collects #"math" #"private" #"array" | |
| #"array-sequence.rkt") (collects #"math" #"private" #"array" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (: quicksort! (-> (Vectorof Real) Void)) | |
| (define (quicksort! A) | |
| (quicksort-helper! A 0 (- (vector-length A) 1))) | |
| (: quicksort-helper! (-> ([A : (Vectorof Real)] | |
| [lo : Natural] | |
| [hi : Integer]) | |
| #:pre (A lo hi) | |
| (and (<= lo (vector-length A)) | |
| (< hi (vector-length A))) |
pnwamk
/ lab9-solutions.rkt
Last active
October 20, 2017 15:56
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ; C211 Lab 9 | |
| ; * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * | |
| ; Exercise 1 Design a function farthest which accepts a posn | |
| ; and list of posn and uses either foldl or foldr to find the | |
| ; posn farthest from the given posn. You should use local to | |
| ; define a local helper function. | |
| ; * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * | |