From 26b30b9bac0f6893c1df0f868739dd174569fd10 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Thu, 4 Nov 2010 18:07:17 +0100
Subject: [PATCH] Small code comments.

---
 compiler/global/clocks.ml                  | 5 ++++-
 compiler/heptagon/transformations/every.ml | 5 +++++
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/compiler/global/clocks.ml b/compiler/global/clocks.ml
index 91f11b7..a57fd26 100644
--- a/compiler/global/clocks.ml
+++ b/compiler/global/clocks.ml
@@ -11,6 +11,7 @@ open Names
 open Idents
 open Types
 
+
 type ct =
   | Ck of ck
   | Cprod of ct list
@@ -98,7 +99,9 @@ let rec skeleton ck = function
         | _ -> Cprod (List.map (skeleton ck) ty_list))
   | Tarray _ | Tid _ -> Ck ck
 
-let ckofct = function | Ck ck -> ck_repr ck | Cprod _ -> Cbase (*TODO bug ?*)
+(* TODO here it implicitely says that the base clock is Cbase
+    and that all tuple is on Cbase *)
+let ckofct = function | Ck ck -> ck_repr ck | Cprod _ -> Cbase
 
 
 
diff --git a/compiler/heptagon/transformations/every.ml b/compiler/heptagon/transformations/every.ml
index bd50de0..b3b9236 100644
--- a/compiler/heptagon/transformations/every.ml
+++ b/compiler/heptagon/transformations/every.ml
@@ -2,6 +2,11 @@ open Heptagon
 open Hept_mapfold
 open Reset
 
+
+(* Transform [f (...) every e]
+   into [f (...) every r] and add an equation [r=e] *)
+
+
 let statefull eq_list = List.exists (fun eq -> eq.eq_statefull) eq_list
 
 let is_var = function