summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-14 23:03:17 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-14 23:03:17 +0100
commite21ff76f04ebc81da8f0c77f851bc09cefdf155c (patch)
tree86fb566923bf30557157615cfe2bc7cccd321766
parentf490f284951bd7fe9609732d7a2fef07fad0d5aa (diff)
downloadpetitcaml-e21ff76f04ebc81da8f0c77f851bc09cefdf155c.tar.gz
petitcaml-e21ff76f04ebc81da8f0c77f851bc09cefdf155c.tar.bz2
[petitcaml] Comment utils.ml
-rw-r--r--utils.ml7
1 files changed, 6 insertions, 1 deletions
diff --git a/utils.ml b/utils.ml
index 8b727a2..26f882b 100644
--- a/utils.ml
+++ b/utils.ml
@@ -1,8 +1,12 @@
+(****************************************
+ utils.ml - helpers divers et variés
+ ****************************************)
+
open Ast
open Lexing
open Typing
-(* Formattage de base des constantes, motifs et opérateurs *)
+(* Formatage de base des constantes, motifs et opérateurs *)
let format_const = function
| Cint i -> Printf.sprintf "Cint %d" i
@@ -179,6 +183,7 @@ let make_func id recur fbody = function
arg = arg ;
body = body }
+(* Détermination récursive des identificateurs d'une expression *)
let rec identifiers expr =
match expr.e with
| Econst _ -> Sset.empty