Project

General

Profile

« Previous | Next » 

Revision 6cbbe1c1

Added by LĂ©lio Brun 8 months ago

start again with spec representation

View differences:

src/clocks.ml
191 191
 clock_of_clock_list (List.map (fun ck -> new_ck (Con (ck,cr,l)) true) (clock_list_of_clock ck))
192 192

  
193 193
let clock_current ck =
194
 clock_of_clock_list (List.map (fun ck -> match (repr ck).cdesc with Con(ck',_,_) -> ck' | _ -> assert false) (clock_list_of_clock ck))
194
  clock_of_clock_list (List.map (fun ck -> match (repr ck).cdesc with
195
      | Con(ck',_,_) -> ck'
196
      | _ -> Format.eprintf "internal error: Clocks.clock_current %a@." print_ck_long (repr ck);
197
        assert false) (clock_list_of_clock ck))
195 198

  
196 199
let clock_of_impnode_clock ck =
197 200
  let ck = repr ck in
......
394 397
  | Factor_zero ->
395 398
    fprintf fmt "Cannot apply clock transformation with factor 0@."
396 399
  | Carrier_extrusion (ck,cr) ->
397
    fprintf fmt "This node has clock@.%a@.It is invalid as %a escapes its scope@."
400
    fprintf fmt "This node has clock@.%a@.It is invalid as the carrier %a escapes its scope@."
398 401
      print_ck ck
399 402
      print_carrier cr
400 403
  | Clock_extrusion (ck_node,ck) ->
401
    fprintf fmt "This node has clock@.%a@.It is invalid as %a escapes its scope@."
404
    fprintf fmt "This node has clock@.%a@.It is invalid as the clock %a escapes its scope@."
402 405
      print_ck ck_node
403 406
      print_ck ck
404 407

  

Also available in: Unified diff