/[svn]/typing/typer.mli
ViewVC logotype

Diff of /typing/typer.mli

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 233 by abate, Tue Jul 10 17:17:31 2007 UTC revision 277 by abate, Tue Jul 10 17:21:46 2007 UTC
# Line 7  Line 7 
7  exception UnboundId of string  exception UnboundId of string
8    
9  module Env : Map.S with type key = Ident.id  module Env : Map.S with type key = Ident.id
 module TypeEnv : Map.S with type key = string  
10  type env = Types.descr Env.t  type env = Types.descr Env.t
 type ti  
 type glb = ti TypeEnv.t  
11    
12  val compile_regexp : Ast.regexp -> Ast.ppat -> Ast.ppat  val register_global_types : (string * Ast.ppat) list -> unit
13    val typ : Ast.ppat -> Typed.ttyp
14  val register_global_types : glb -> (string * Ast.ppat) list -> glb  val pat : Ast.ppat -> Typed.tpat
15  val typ : glb -> Ast.ppat -> Typed.ttyp  val expr: Ast.pexpr -> fv * Typed.texpr
16  val pat : glb -> Ast.ppat -> Typed.tpat  val let_decl : Ast.ppat -> Ast.pexpr -> Typed.let_decl
 val expr: glb -> Ast.pexpr -> fv * Typed.texpr  
 val let_decl : glb -> Ast.ppat -> Ast.pexpr -> Typed.let_decl  
17    
18    
19  val type_check:  val type_check:
Legend:
Removed from v.233  
changed lines
  Added in v.277
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5