search

frenetic-lang / frenetic

The Frenetic Programming Language and Runtime System
http://www.frenetic-lang.org/
Other
223 stars 51 forks source link

Parse error on virtual policy file #467

Closed ssomayyajula closed 8 years ago

ssomayyajula commented 8 years ago

Passing the NetKAT policy under examples/virtual/fujitsu/vno1-vpol.kat to Frenetic_NetKAT_Parser.policy_from_string causes the following exception to be thrown:

((human_readable 2016-02-01T18:43:48+0000)
  (int63_ns_since_epoch 1454352228753693000))
 "unhandled exception in Async scheduler"
 ("unhandled exception"
  ((lib/monitor.ml.Error_
    ((exn ("Loc.Exc_located(_, _)"))
     (backtrace
      ("Raised at file \"camlp4/Camlp4/Struct/Loc.ml\", line 306, characters 16-35"
       "Called from file \"lib/Frenetic_NetKAT_Lexer.ml\", line 186, characters 10-26"
       "Called from file \"stream.ml\", line 86, characters 21-35"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Tools.ml\", line 42, characters 10-209"
       "Called from file \"stream.ml\", line 189, characters 44-50"
       "Called from file \"camlinternalLazy.ml\", line 25, characters 17-27"
       "Re-raised at file \"camlinternalLazy.ml\", line 32, characters 10-11"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Tools.ml\", line 52, characters 10-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 222, characters 9-15"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 190, characters 17-23"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 190, characters 17-23"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 190, characters 17-23"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 190, characters 17-23"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 190, characters 17-23"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 222, characters 9-15"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 190, characters 17-23"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 190, characters 17-23"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 190, characters 17-23"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 190, characters 17-23"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 190, characters 17-23"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 37, characters 12-26"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Parser.ml\", line 373, characters 21-47"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Entry.ml\", line 45, characters 8-25"
       "Re-raised at file \"camlp4/Camlp4/Struct/Grammar/Entry.ml\", line 49, characters 42-45"
       "Called from file \"camlp4/Camlp4/Struct/Grammar/Entry.ml\", line 59, characters 57-78"
       "Called from file \"async/Frenetic_VC_Shell.ml\", line 34, characters 93-140"
       "Called from file \"src/mParser.ml\", line 406, characters 15-22"
       "Called from file \"src/mParser.ml\", line 392, characters 8-11"
       "Called from file \"src/mParser.ml\", line 406, characters 15-22"
       "Called from file \"src/mParser.ml\", line 406, characters 15-22"
       "Called from file \"src/mParser.ml\", line 476, characters 15-19"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 474, characters 8-12"
       "Called from file \"src/mParser.ml\", line 339, characters 8-27"
       "Called from file \"src/mParser.ml\", line 351, characters 2-20"
       "Called from file \"async/Frenetic_VC_Shell.ml\", line 228, characters 12-28"
       "Called from file \"async/Frenetic_VC_Shell.ml\", line 231, characters 6-19"
       "Called from file \"lib/raw_deferred.ml\", line 55, characters 65-68"
       "Called from file \"lib/job_queue.ml\", line 164, characters 6-47" ""))
     (monitor
      (((name main) (here ()) (id 1) (has_seen_error true)
        (is_detached false) (kill_index 0))))))
   (Pid 2958))))
smolkaj commented 8 years ago

Already fixed this on the fix-virtual-compiler branch. I will merge it in sometime in the next hours.

ssomayyajula commented 8 years ago

Alright, thanks for the fix!