Skip to content

Instantly share code, notes, and snippets.

@osa1
Last active August 29, 2015 14:21
Show Gist options
  • Save osa1/d124002fd7007788053f to your computer and use it in GitHub Desktop.
Save osa1/d124002fd7007788053f to your computer and use it in GitHub Desktop.
"number-theory.rkt":
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/number-theory.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/divisibility.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/modular-arithmetic.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/modular-arithmetic-base.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/syntax-utils.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/number-theory.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/base/base-random.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/types.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/small-primes.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/factorial.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/unsafe.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/bernoulli.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/vector/vector.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/binomial.rkt>
INFER TIME: (442 442 30)
>>> STX: #<syntax:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/bernoulli.rkt:35:11 (#%app vector-ref! global-bs ...>
>>> RESULT: #hash((g8226 . #(struct:t-subst (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum Positive-Rational-Not-Integer Negative-Rational-Not-Integer))) (g8227 . #(struct:t-subst 0)))
>>> ARGS: ((g8226 g8227) () ((Vectorof (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum Positive-Rational-Not-Integer Negative-Rational-Not-Integer)) (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum) (-> (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum Positive-Rational-Not-Integer Negative-Rational-Not-Integer)) (-> Any (U #f #t) : 0)) ((Vectorof (U g8226 g8227)) (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum) (-> g8226) (-> Any (U #f #t) : g8227)) g8226 (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum Positive-Rational-Not-Integer Negative-Rational-Not-Integer))
INFER TIME: (415 416 22)
>>> STX: #<syntax:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/bernoulli.rkt:37:11 (#%app vector-ref! local-bs (...>
>>> RESULT: #hash((g8228 . #(struct:t-subst (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum Positive-Rational-Not-Integer Negative-Rational-Not-Integer))) (g8229 . #(struct:t-subst 0)))
>>> ARGS: ((g8228 g8229) () ((Vectorof (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum Positive-Rational-Not-Integer Negative-Rational-Not-Integer)) (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum) (-> (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum Positive-Rational-Not-Integer Negative-Rational-Not-Integer)) (-> Any (U #f #t) : 0)) ((Vectorof (U g8228 g8229)) (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum) (-> g8228) (-> Any (U #f #t) : g8229)) g8228 (U 0 1 Byte-Larger-Than-One Positive-Index-Not-Byte Positive-Fixnum-Not-Index Negative-Fixnum Positive-Integer-Not-Fixnum Negative-Integer-Not-Fixnum Positive-Rational-Not-Integer Negative-Rational-Not-Integer))
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/eulerian-number.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/farey.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/fibonacci.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/partitions.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/polygonal.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/quadratic.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/primitive-roots.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/quadratic-residues.rkt>
making #<path:/home/omer/racket-6.2.0.3/share/pkgs/math-lib/math/private/number-theory/tangent-number.rkt>
[output to "compiled/number-theory_rkt.zo"]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment