Parent Directory
|
Revision Log
[r2002-10-10 16:39:45 by cvscast] Empty log message Original author: cvscast Date: 2002-10-10 16:39:45+00:00
| 1 | abate | 5 | exception ParsingPattern of string |
| 2 | |||
| 3 | val compile_regexp : Ast.regexp -> Ast.ppat -> Ast.ppat | ||
| 4 | |||
| 5 | val typ : Ast.ppat -> Typed.ttyp | ||
| 6 | val pat : Ast.ppat -> Typed.tpat | ||
| 7 | |||
| 8 | abate | 6 | module Fv : Set.S with type elt = string |
| 9 | 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 |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |