Project

General

Profile

« Previous | Next » 

Revision 3e039a34

Added by Pierre-Loïc Garoche over 1 year ago

Tiny: solved issue with a change in the Location.dummy signature

View differences:

src/tools/tiny/tiny_utils.ml
2 2
module Ast = Tiny.Ast
3 3

  
4 4

  
5
let lloc_to_tloc loc = Tiny.Location.dummy (*TODO*)
5
let lloc_to_tloc loc = Tiny.Location.dummy () (*TODO*)
6 6
                     
7 7
let tloc_to_lloc loc = Location.dummy_loc (*TODO*)
8 8

  
......
34 34

  
35 35
let instr_loc i =
36 36
  match i.Machine_code_types.lustre_eq with
37
  | None -> Tiny.Location.dummy
37
  | None -> Tiny.Location.dummy ()
38 38
  | Some eq -> lloc_to_tloc eq.eq_loc
39 39
             
40 40
let rec lval_to_texpr loc _val =
......
191 191
       )
192 192
  
193 193
let machine_to_ast bounds_input m =
194
  let loc = Tiny.Location.dummy in
194
  let loc = Tiny.Location.dummy () in
195 195
  let read_vars = read_vars loc bounds_input m.Machine_code_types.mstep.step_inputs in
196 196
  let ast_loop_first = machine_body_to_ast true m in
197 197
  let ast_loop_run = machine_body_to_ast false m in

Also available in: Unified diff