Revision 31027df4
src/lexer_lustre.mll | ||
---|---|---|
88 | 88 |
try |
89 | 89 |
let s_lexbuf = Lexing.from_string s in |
90 | 90 |
(*Format.printf "KIND SPEC \"%s\"@." s;*) |
91 |
let _ = KindLustreParser.contract_in_block_main KindLustreLexer.token s_lexbuf in
|
|
91 |
let contract = KindLustreParser.contract_in_block_main KindLustreLexer.token s_lexbuf in
|
|
92 | 92 |
let dummy_ns = { Lustre_types.requires = []; ensures = []; behaviors = []; spec_loc = Location.dummy_loc} in |
93 |
NODESPEC dummy_ns |
|
93 |
begin |
|
94 |
List.iter (fun item -> |
|
95 |
Format.eprintf "CONTRACT: %a@." KindLustreAst.pp_print_contract_item item) contract; |
|
96 |
NODESPEC dummy_ns |
|
97 |
end |
|
94 | 98 |
with exn -> ((*Printexc.print_backtrace stderr; *) raise exn) |
95 | 99 |
|
96 | 100 |
let make_spec = make_kind_spec |
Also available in: Unified diff