Up – Package index » Herdtools7 » Library herdtools7.asllib » Asllib » Typing

Module `Asllib.Typing`Source

The Typing module is yet a single-entry-point module. It only exports the function annotate_ast which fills type-annotations holes in the AST. It should provide enough information to disambiguate any type-dependent behaviour.

Sourcetype strictness =

| Silence
| Warn
| TypeCheck
| TypeCheckNoWarn

Possible strictness of type-checking.

Sourcemodule type ANNOTATE_CONFIG = sig ... end

Sourcemodule type S = sig ... end

Sourcemodule Annotate (C : ANNOTATE_CONFIG) : S

Sourcemodule TypeCheckDefault : S

Source

val type_and_run : 
  ?instrumentation:bool ->
  AST.t ->
  int * Instrumentation.semantics_rule list