docs.rs failed to build gluon_check-0.9.3
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build:
gluon_check-0.18.2
The check
crate is responsible for ensuring that an AST expression is actually a valid
program. This currently consits of three larger parts, typechecking, kindchecking and renaming.
If an AST passes the checks in Typecheck::typecheck_expr
(which runs all of theses checks
the expression is expected to compile succesfully (if it does not it should be considered an
internal compiler error.