Dump Subcommand Throws Bad File Descriptor Error

[Craig Riecke]

It seems the commit d85a083 is causing the dump subcommand to no longer work.

vagrant@frenetic:~/src/frenetic$ ./frenetic.native dump local examples/diamond.kat
Uncaught exception:

  (Sys_error "Bad file descriptor")

Raised by primitive operation at file "pervasives.ml", line 351, characters 7-32
Called from file "stream.ml", line 40, characters 11-52
Called from file "stream.ml", line 88, characters 28-39
Called from file "stream.ml", line 119, characters 8-14
Called from file "stream.ml", line 86, characters 21-35
Called from file "camlp4/Camlp4/Struct/Grammar/Tools.ml", line 34, characters 10-26
Called from file "camlp4/Camlp4/Struct/Grammar/Static.ml", line 67, characters 79-88
Called from file "lib/Frenetic_NetKAT_Parser.cppo.ml", line 234, characters 6-33
Called from file "frenetic/Dump.ml", line 142, characters 14-34
Called from file "src/command.ml", line 2340, characters 6-97
Called from file "src/exn.ml", line 90, characters 6-10

[Craig Riecke]

This doesn't look complicated, so I will take it.

[Steffen Smolka]

Can we close this? #500 is merged in.