grift

A gradually typed language

Build status: failed

Authors
Documentation
Tags
Last updatedThursday, October 4th, 2018 7:18:04pm (UTC)
Ring2
ConflictsNone
DependenciesNone
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/Gradual-Typing/Grift.git249a27d01b7b563b395435b615ffc0a1b00ffc60
Last checkedSunday, October 21st, 2018 3:13:58am (UTC)
Last editedSunday, September 16th, 2018 2:43:04am (UTC)
Modules
  • grift/src/casts/constants-and-codes.rkt
  • grift/src/casts/uncover-free.rkt
  • grift/src/unique-identifiers.rkt
  • grift/src/language/syntax-with-constants.rkt
  • grift/tests/paths.rkt
  • grift/src/language/data5.rkt
  • grift/src/grift/reduce-to-cast-calculus.rkt
  • grift/src/configuration.rkt
  • grift/src/logging.rkt
  • grift/src/language/data2.rkt
  • grift/src/casts/interpret-casts-with-error.rkt
  • grift/src/data/simplify-predicates.rkt
  • grift/tests/suite/large/tests.rkt
  • grift/tests/suite/static/tests.rkt
  • grift/src/casts/interpret-casts-with-type-based-casts.rkt
  • grift/src/language/data0.rkt
  • grift/benchmark/bench.rkt
  • grift/src/casts/purify-letrec.rkt
  • grift/tests/suite/static/binding/tests.rkt
  • grift/src/data/normalize-context.rkt
  • grift/src/language/c-helpers.rkt
  • grift/src/language/primitives.rkt
  • grift/src/language/grift0.rkt
  • grift/tests/suite/tuples/tests.rkt
  • grift/tests/macros.rkt
  • grift/src/casts/memory-layout-helpers.rkt
  • grift/tests/suite/boxes/tests.rkt
  • grift/src/grift/type-check.rkt
  • grift/tests/test-compile-file.rkt
  • grift/src/language/data3.rkt
  • grift/src/backend-c/runtime-location.rkt
  • grift/src/language/cast-or-coerce4.rkt
  • grift/src/data/convert-representation.rkt
  • grift/src/backend-c/generate-c.rkt
  • grift/tests/main.rkt
  • grift/src/casts/interpret-casts-common.rkt
  • grift/src/casts/label-lambdas.rkt
  • grift/src/casts/specify-representation.rkt
  • grift/src/data/flatten-values.rkt
  • grift/src/language/cast0.rkt
  • grift/src/growable-vector.rkt
  • grift/src/language/cast-or-coerce3.rkt
  • grift/src/language/static.rkt
  • grift/src/language/syntax.rkt
  • grift/src/casts/cast-profiler.rkt
  • grift/tests/suite/tests.rkt
  • grift/src/language/cast-or-coerce6.rkt
  • grift/src/language/grift1.rkt
  • grift/tests/suite/core/tests.rkt
  • grift/tests/suite/monovectors/tests.rkt
  • grift/src/grift/read.rkt
  • grift/src/form-generics.rkt
  • grift/src/casts/hoist-types-and-coercions.rkt
  • grift/tests/suite/monoboxes/tests.rkt
  • grift/src/backend-c/runtime/make.rkt
  • grift/src/errors.rkt
  • grift/src/helpers-untyped.rkt
  • grift/src/unique-counter.rkt
  • grift/src/casts/impose-cast-semantics.rkt
  • grift/src/language/cast-or-coerce5.rkt
  • grift/main.rkt
  • grift/tests/rackunit.rkt
  • grift/src/data/remove-complex-opera.rkt
  • grift/src/casts/convert-closures.rkt
  • grift/tests/test-compile.rkt
  • grift/src/language/forms.rkt
  • grift/src/language/forms-equal.rkt
  • grift/src/language/make-begin.rkt
  • grift/tests/suite/tools/tests.rkt
  • grift/src/backend-c/code-generator.rkt
  • grift/src/casts/interpret-casts-with-hyper-coercions.rkt
  • grift/src/grift/definer.rkt
  • grift/src/language/cast-or-coerce3.1.rkt
  • grift/src/grift/insert-casts.rkt
  • grift/src/helpers.rkt
  • grift/tests/suite/core/binding/tests.rkt
  • grift/src/casts/interpret-casts.rkt
  • grift/src/grift/syntax-to-grift0.rkt
  • grift/src/language/lambda1.rkt
  • grift/src/macros.rkt
  • grift/src/compile.rkt
  • grift/benchmark/configs.rkt
  • grift/src/language/lambda0.rkt
  • grift/tests/suite/vectors/tests.rkt
  • grift/src/language/data4.rkt
  • grift/tests/values.rkt
  • grift/src/casts/define-to-let.rkt
  • grift/tests/suite/program/tests.rkt
  • grift/src/casts/interpret-casts-with-coercions.rkt
  • grift/src/language/data1.rkt
  • grift/src/data/uncover-locals.rkt