bug report : exception thrown when simplifying
1 view
Skip to first unread message
Ross Duncan
Sep 22, 2016, 11:51:09 AM9/22/16
to quant...@googlegroups.com
Hello again!
1. Start from a fresh zx-project-1.1
2. Compile the “basic_simp” simproc
3. Load the attached graph.
4. Start a new derivation and and hit the graph with basic_simp. Result:
[info] Exception trace for exception - bad_input_exp raised in :serial=1file=io/graph_json_io.ML line 35
[info]
[info] End of trace
[info]
[info] ERROR: Unexpected result from core: scala.concurrent.impl.Promise$DefaultPromise@57ad85ed
it didn’t do any simplifying either, but that may well be the correct behaviour.
-r
1. Start from a fresh zx-project-1.1
2. Compile the “basic_simp” simproc
3. Load the attached graph.
4. Start a new derivation and and hit the graph with basic_simp. Result:
[info] Exception trace for exception - bad_input_exp raised in :serial=1file=io/graph_json_io.ML line 35
[info]
[info] End of trace
[info]
[info] ERROR: Unexpected result from core: scala.concurrent.impl.Promise$DefaultPromise@57ad85ed
it didn’t do any simplifying either, but that may well be the correct behaviour.
-r
Reply all
Reply to author
Forward
0 new messages