grift

A gradually typed language

Build status: ok dependency problems failing tests

Authors
Documentation
Tags
Last updatedMonday, October 7th, 2019 9:17:19pm (UTC)
Ring2
ConflictsNone
DependenciesNone
Most recent build results
Version Exceptions
VersionSourceChecksum
defaulthttps://github.com/Gradual-Typing/Grift.git6fb8b83f7a143766da64999842153b8ec254d95b
Last checkedSaturday, October 19th, 2019 1:19:45am (UTC)
Last editedSunday, September 16th, 2018 2:43:04am (UTC)
Date addedN/A
Modules
  • grift/src/casts/constants-and-codes.rkt
  • grift/src/unique-identifiers.rkt
  • grift/src/language/syntax-with-constants.rkt
  • grift/src/lib/dgraph.rkt
  • grift/tests/paths.rkt
  • grift/src/grift/reduce-to-cast-calculus.rkt
  • grift/src/configuration.rkt
  • grift/src/logging.rkt
  • grift/src/lib/mutable-set.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/benchmark/bench.rkt
  • grift/src/casts/purify-letrec.rkt
  • grift/src/language/pprint.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/tests/suite/tuples/tests.rkt
  • grift/src/lib/function.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/backend-c/runtime-location.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/tests/suite/mu/tests.rkt
  • grift/src/casts/specify-representation.rkt
  • grift/src/unsafe-require-typed.rkt
  • grift/src/type-equality.rkt
  • grift/src/data/flatten-values.rkt
  • grift/src/growable-vector.rkt
  • grift/src/language/syntax.rkt
  • grift/src/casts/cast-profiler.rkt
  • grift/tests/suite/tests.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/main.rkt
  • grift/src/language/grift.rkt
  • grift/src/lib/dhash.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/form-map.rkt
  • grift/src/language/make-begin.rkt
  • grift/tests/suite/tools/tests.rkt
  • grift/src/language/contracts.rkt
  • grift/src/backend-c/code-generator.rkt
  • grift/src/casts/interpret-casts-with-hyper-coercions.rkt
  • grift/src/grift/definer.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/macros.rkt
  • grift/src/compile.rkt
  • grift/benchmark/configs.rkt
  • grift/src/language/lambda0.rkt
  • grift/tests/suite/vectors/tests.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/data/uncover-locals.rkt
  • grift/src/lib/graph.rkt
  • grift/src/lib/option-set.rkt