turnstile-test

Build status: ok passing tests

Authors
Documentation
Tags
Last updatedThursday, October 8th, 2020 5:45:26pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/stchang/macrotypes.git?path=turnstile-testc0d60d6f562ce2238c0fca0eac2c6085a2e166bf
Last checkedFriday, October 23rd, 2020 9:54:49am (UTC)
Last editedWednesday, October 24th, 2018 8:17:43pm (UTC)
Date addedN/A
Modules
  • tests/turnstile/stlc+cons-tests.rkt
  • tests/turnstile/rackunit-typechecking.rkt
  • tests/turnstile/generic.rkt
  • tests/turnstile/typed-rackunit-typechecking.rkt
  • tests/turnstile/dep/dep-ind-cur2-list-tests2.rkt
  • tests/turnstile/optimize/rackunit-kindchecking.rkt
  • tests/turnstile/simple/ext-stlc-tests.rkt
  • tests/turnstile/fomega-tests.rkt
  • tests/turnstile/stlc+reco+sub-tests.rkt
  • tests/turnstile/issues/issue072.rkt
  • tests/turnstile/linear/lin4-tests.rkt
  • tests/turnstile/linear/lin-tests.rkt
  • tests/turnstile/filter-maximal.rkt
  • tests/turnstile/dep/dep-ind-cur2-nat-tests.rkt
  • tests/turnstile/simple/stlc+lit-tests.rkt
  • tests/turnstile/linear/lin2-tests.rkt
  • tests/turnstile/cmu15-814/stlc+sum+forall-tests.rkt
  • tests/turnstile/stlc+union.rkt
  • tests/turnstile/optimize/fsub-tests.rkt
  • tests/turnstile/pat-expander-tests.rkt
  • tests/turnstile/optimize/exist-tests.rkt
  • tests/turnstile/load-time-tests/turnstile-base-lang.rkt
  • tests/turnstile/turnstile-tests.rkt
  • tests/turnstile/stlc-tests.rkt
  • tests/turnstile/samc-define-lang-tests.rkt
  • tests/turnstile/optimize/stlc+tup-tests.rkt
  • tests/turnstile/stlc+reco+var-tests.rkt
  • tests/turnstile/dep/dep-ind-cur2-list-tests.rkt
  • tests/turnstile/optimize/fomega2-tests.rkt
  • tests/turnstile/optimize/stlc+reco+sub-tests.rkt
  • tests/turnstile/optimize/stlc+lit-tests.rkt
  • tests/turnstile/optimize/ext-stlc-tests.rkt
  • tests/turnstile/dep/dep-ind-cur2-tests.rkt
  • tests/turnstile/cmu15-814/stlc+sum+fix-tests.rkt
  • tests/turnstile/linear/lin+tup-tests.rkt
  • tests/turnstile/fomega-no-reuse-tests.rkt
  • tests/turnstile/linear/fabul-tests.rkt
  • tests/turnstile/stlc+effect-tests.rkt
  • tests/turnstile/tlb-infer-tests.rkt
  • tests/turnstile/dep/dep-ind-cur2-data2-tests.rkt
  • tests/turnstile/stlc-jesse-tests.rkt
  • tests/turnstile/linear/lin+var-tests.rkt
  • tests/turnstile/telescopes.rkt
  • tests/turnstile/exist-tests.rkt
  • tests/turnstile/trivial-test.rkt
  • tests/turnstile/dep/dep-ind-cur2-eq-tests.rkt
  • tests/turnstile/linear/lin3-tests.rkt
  • tests/turnstile/fomega-no-reuse-tests-old.rkt
  • tests/turnstile/stlc+box-tests.rkt
  • tests/turnstile/dep/dep-ind-cur2-subtype-tests.rkt
  • tests/turnstile/cmu15-814/stlc+sum+exist-tests.rkt
  • tests/turnstile/dep-tests.rkt
  • tests/turnstile/ext-stlc-tests.rkt
  • tests/turnstile/optimize/stlc+sub-tests.rkt
  • tests/turnstile/rackunit-kindchecking.rkt
  • tests/turnstile/load-time-tests/turnstile-base-lang-prog.rkt
  • tests/turnstile/fsub-tests.rkt
  • tests/turnstile/cmu15-814/stlc+sum+rec-tests.rkt
  • tests/turnstile/optimize/stlc+rec-iso-tests.rkt
  • tests/turnstile/stlc+reco2-tests.rkt
  • tests/turnstile/optimize/fomega-tests.rkt
  • tests/turnstile/optimize/stlc+reco+var-tests.rkt
  • tests/turnstile/linear/lin+chan-tests.rkt
  • tests/turnstile/simple/stlc-tests.rkt
  • tests/turnstile/stlc+sub-tests.rkt
  • tests/turnstile/typed-var-stx/typed-var-test.rkt
  • tests/turnstile/typed-var-stx/typed-var-example.rkt
  • tests/turnstile/linear/lin5-tests.rkt
  • tests/turnstile/samc-define-lang-tests2.rkt
  • tests/turnstile/load-time-tests/turnstile-lang.rkt
  • tests/turnstile/cmu15-814/stlc+sum-tests.rkt
  • tests/turnstile/dep/dep-ind-cur2-eq-tests2.rkt
  • tests/turnstile/cmu15-814/stlc-tests.rkt
  • tests/turnstile/mode.rkt
  • tests/turnstile/stlc+union+case.rkt
  • tests/turnstile/load-time-tests/racket-prog.rkt
  • tests/turnstile/optimize/stlc+cons-tests.rkt
  • tests/turnstile/optimize/stlc+box-tests.rkt
  • tests/turnstile/stlc+rec-iso-tests.rkt
  • tests/turnstile/linear/rackunit-lin.rkt
  • tests/turnstile/load-time-tests/turnstile-lang-prog.rkt
  • tests/turnstile/pat-expander-tests-def.rkt
  • tests/turnstile/dep/dep-ind-cur2-nat+datum-tests.rkt
  • tests/turnstile/stlc+tup-tests.rkt
  • tests/turnstile/issues/issue035.rkt
  • tests/turnstile/dep/dep-ind-cur2-bool-tests.rkt
  • tests/turnstile/fomega2-tests.rkt
  • tests/turnstile/load-time-tests/racket-base-prog.rkt
  • tests/turnstile/ext-stlc-no-unicode-tests.rkt
  • tests/turnstile/stlc+lit-tests.rkt
  • tests/turnstile/linear/lin+cons-tests.rkt
  • tests/turnstile/optimize/sysf-tests.rkt
  • tests/turnstile/issues/issue084-deftypedvariable.rkt
  • tests/turnstile/sysf-tests.rkt