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

Diff of /typing/typer.mli

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

revision 5 by abate, Tue Jul 10 16:57:03 2007 UTC revision 6 by abate, Tue Jul 10 16:57:08 2007 UTC
# Line 5  Line 5 
5  val typ : Ast.ppat -> Typed.ttyp  val typ : Ast.ppat -> Typed.ttyp
6  val pat : Ast.ppat -> Typed.tpat  val pat : Ast.ppat -> Typed.tpat
7    
8  val expr: Ast.pexpr -> Typed.texpr  module Fv : Set.S with type elt = string
9  val compute_type: Typed.texpr -> Types.descr  module Env : Map.S with type key = string
10    
11    val expr: Ast.pexpr -> Fv.t * Typed.texpr
12    
13    val compute_type: Types.descr Env.t -> Typed.texpr -> Types.descr
Legend:
Removed from v.5  
changed lines
  Added in v.6
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5