macrotypes-test

Build status: ok failing tests

Authors
Documentation
Tags
Last updatedMonday, August 17th, 2020 5:47:50pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/stchang/macrotypes.git?path=macrotypes-test56ef3e36cddb5ec4bf1330c47079d9c8747f4bf8
Last checkedSunday, September 20th, 2020 3:33:02pm (UTC)
Last editedWednesday, October 24th, 2018 8:11:40pm (UTC)
Date addedN/A
Modules
  • tests/macrotypes/rackunit-typechecking.rkt
  • tests/macrotypes/stlc+tup-tests.rkt
  • tests/macrotypes/mlish-tests.rkt
  • tests/macrotypes/fomega2-tests.rkt
  • tests/macrotypes/mlish-internal-tests.rkt
  • tests/macrotypes/stlc+cons-tests.rkt
  • tests/macrotypes/mlish/sweet-map.rkt
  • tests/macrotypes/variance-constraints.rkt
  • tests/macrotypes/rackunit-kindchecking.rkt
  • tests/macrotypes/fomega-tests.rkt
  • tests/macrotypes/stlc+reco+var-tests.rkt
  • tests/macrotypes/sysf-tests.rkt
  • tests/macrotypes/stlc+box-tests.rkt
  • tests/macrotypes/stlc+overloading-tests.rkt
  • tests/macrotypes/general-tests.rkt
  • tests/macrotypes/stlc+effect-tests.rkt
  • tests/macrotypes/exist-tests.rkt
  • tests/macrotypes/perfsysf.rkt
  • tests/macrotypes/do-tests.rkt
  • tests/macrotypes/stlc+sub-tests.rkt
  • tests/macrotypes/stlc+lit-tests.rkt
  • tests/macrotypes/ext-stlc-tests.rkt
  • tests/macrotypes/postfix-in.rkt
  • tests/macrotypes/perf.rkt
  • tests/macrotypes/stlc+occurrence-tests.rkt
  • tests/macrotypes/stlc+reco+sub-tests.rkt
  • tests/macrotypes/stlc+rec-iso-tests.rkt
  • tests/macrotypes/typecheck-core.rkt
  • tests/macrotypes/stlc-tests.rkt
  • tests/macrotypes/infer-tests.rkt
  • tests/macrotypes/fsub-tests.rkt
  • tests/macrotypes/issues/issue035.rkt