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