typer.mli 353 Bytes
Newer Older
1
2
3
4
5
6
7
exception ParsingPattern of string

val compile_regexp : Ast.regexp -> Ast.ppat -> Ast.ppat

val typ : Ast.ppat -> Typed.ttyp
val pat : Ast.ppat -> Typed.tpat

8
9
10
11
12
13
module Fv : Set.S with type elt = string
module Env : Map.S with type key = string

val expr: Ast.pexpr -> Fv.t * Typed.texpr

val compute_type: Types.descr Env.t -> Typed.texpr -> Types.descr