From 15529eed900f2e2242cae121d382abbaf292e8e5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Thu, 24 Jun 2010 03:32:46 +0200 Subject: [PATCH] Small todo fix, (reactivate error printing in clocking since now the printer works). --- compiler/minils/analysis/clocking.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/compiler/minils/analysis/clocking.ml b/compiler/minils/analysis/clocking.ml index 44943e1..0026a14 100644 --- a/compiler/minils/analysis/clocking.ml +++ b/compiler/minils/analysis/clocking.ml @@ -7,6 +7,7 @@ (* *) (**************************************************************************) (* clock checking *) + open Misc open Ident open Minils @@ -23,14 +24,13 @@ exception Unify let error kind = raise (TypingError kind) let message e kind = - ((match kind with | Etypeclash (actual_ct, expected_ct) -> ()); - (*TODO remettre en route quand Printer fonctionne + match kind with | Etypeclash (actual_ct, expected_ct) -> Printf.eprintf "%aClock Clash: this expression has clock %a, \n\ but is expected to have clock %a.\n" - Printer.print_exp e - Printer.print_clock actual_ct - Printer.print_clock expected_ct*) - raise Error) + Mls_printer.print_exp e + Mls_printer.print_clock actual_ct + Mls_printer.print_clock expected_ct; + raise Error let index = ref 0