Project

General

Profile

Revision 31027df4

View differences:

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