Project

General

Profile

Revision bc504848 src/lexer_lustre.mll

View differences:

src/lexer_lustre.mll
85 85

  
86 86

  
87 87
let make_kind_spec lexbuf s =
88
  try 
88 89
    let s_lexbuf = Lexing.from_string s in
89
    let _ = KindLustreParser.contract_in_block KindLustreLexer.token s_lexbuf in
90
    (*Format.printf "KIND SPEC \"%s\"@." s;*)
91
    let _ = KindLustreParser.contract_in_block_main KindLustreLexer.token s_lexbuf in
90 92
    let dummy_ns = { Lustre_types.requires = []; ensures = []; behaviors = []; spec_loc = Location.dummy_loc} in
91 93
    NODESPEC dummy_ns
94
  with exn -> ((*Printexc.print_backtrace stderr; *) raise exn)
92 95

  
93 96
let make_spec = make_kind_spec
94 97
}

Also available in: Unified diff