Project

General

Profile

Revision bc9fd714 src/lexer_lustre.mll

View differences:

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")

Also available in: Unified diff