Skip to content
Snippets Groups Projects
Commit 5de95e01 authored by Justus Fasse's avatar Justus Fasse
Browse files

Documentation for type checking.

parent 85d20c50
No related branches found
No related tags found
No related merge requests found
Pipeline #35259 canceled
Stage: build_compiler
    Stage: tests
      Hide whitespace changes
      Inline Side-by-side
      Showing
      with 5 additions and 0 deletions
      frontend/typing.mli
      + 5
      − 0
      View file @ 5de95e01
      (** Type inference and subsequent type checking. *)
      val typed_ast : Syntax.t -> Syntax.t val typed_ast : Syntax.t -> Syntax.t
      (** [typed_ast] applies type inference and unification and returns a Syntax.t
      * where type variables have been instantiated by their inferred types.
      * Warning: During this process the input AST is mutated! *)
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment