viewcvs.cgi/typing/typer.mli

open Ident

exception NonExhaustive of Types.descr
exception Constraint of Types.descr * Types.descr * string
exception ShouldHave of Types.descr * string
exception WrongLabel of Types.descr * label
exception UnboundId of string

module Env : Map.S with type key = id
type env = Types.descr Env.t

val register_global_types : (string * Ast.ppat) list -> unit
val dump_global_types: Format.formatter -> unit
val typ : Ast.ppat -> Typed.ttyp
val pat : Ast.ppat -> Typed.tpat
val expr: Ast.pexpr -> fv * Typed.texpr
val let_decl : Ast.ppat -> Ast.pexpr -> Typed.let_decl


val type_check: 
  env -> Typed.texpr -> Types.descr -> bool -> Types.descr
  (* [compute_type env e t precise] checks that expression [e] 
     has type [t] under typing environment [env]; if [precise=true], 
     also returns a possible more precise type for [e].
  *)
val type_let_decl: env -> Typed.let_decl -> (id * Types.descr) list
     
val type_rec_funs: env -> Typed.let_decl list -> (id * Types.descr) list
  (* Assume that all the expressions are Absstractions *)
1	abate	233	open Ident
2
3	abate	9	exception NonExhaustive of Types.descr
4			exception Constraint of Types.descr * Types.descr * string
5	abate	19	exception ShouldHave of Types.descr * string
6	abate	233	exception WrongLabel of Types.descr * label
7	abate	36	exception UnboundId of string
8	abate	5
9	abate	278	module Env : Map.S with type key = id
10	abate	66	type env = Types.descr Env.t
11	abate	6
12	abate	277	val register_global_types : (string * Ast.ppat) list -> unit
13	abate	278	val dump_global_types: Format.formatter -> unit
14	abate	277	val typ : Ast.ppat -> Typed.ttyp
15			val pat : Ast.ppat -> Typed.tpat
16			val expr: Ast.pexpr -> fv * Typed.texpr
17			val let_decl : Ast.ppat -> Ast.pexpr -> Typed.let_decl
18	abate	6
19	abate	66
20	abate	19	val type_check:
21	abate	225	env -> Typed.texpr -> Types.descr -> bool -> Types.descr
22	abate	19	(* [compute_type env e t precise] checks that expression [e]
23			has type [t] under typing environment [env]; if [precise=true],
24			also returns a possible more precise type for [e].
25			*)
26	abate	225	val type_let_decl: env -> Typed.let_decl -> (id * Types.descr) list
27	abate	19
28	abate	225	val type_rec_funs: env -> Typed.let_decl list -> (id * Types.descr) list
29	abate	66	(* Assume that all the expressions are Absstractions *)