turnstile-test

Build status: ok passing tests missing license metadata

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