Project

General

Profile

Revision bc9fd714

View differences:

src/_tags.in
1 1
# general config
2 2
true: bin_annot, color(always)
3
true: use_menhir
3
# true: use_menhir
4 4

  
5 5
# paths to sources
6 6
"backends": include
src/lexer_lustre.mll
83 83
    NODESPEC ns
84 84
  with LexerLustreSpec.Error loc -> raise (Parse.Error (Location.shift (Location.curr lexbuf) loc, Parse.Node_spec_error s))
85 85

  
86

  
86
(*
87 87
let make_kind_spec lexbuf s =
88 88
    let s_lexbuf = Lexing.from_string s in
89 89
    let _ = KindLustreParser.contract_in_block KindLustreLexer.token s_lexbuf in
90 90
    let dummy_ns = { Lustre_types.requires = []; ensures = []; behaviors = []; spec_loc = Location.dummy_loc} in
91 91
    NODESPEC dummy_ns
92 92

  
93
(*let make_spec = make_kind_spec*)
93
let make_spec = make_kind_spec*)
94 94
}
95 95

  
96 96
let newline = ('\010' | '\013' | "\013\010")
src/main_lustre_compiler.ml
110 110
	
111 111
    end;
112 112
  let machine_code = Plugins.refine_machine_code prog machine_code in
113
  Log.report ~level:1 (fun fmt -> fprintf fmt "xxx@]@ yyy@ ");
113
  Log.report ~level:1 (fun fmt -> fprintf fmt "@]@ @ ");
114 114
  
115 115
  Compiler_stages.stage3 prog machine_code dependencies basename;
116 116
  begin

Also available in: Unified diff