Commit 4559ed11 authored by nr@eecs.harvard.edu's avatar nr@eecs.harvard.edu

(temporarily) check consistency of new postorder DFS no matter what DEBUG is

parent f33b7c70
......@@ -463,7 +463,8 @@ postorder_dfs g@(LGraph _ blockenv) =
dfs1 = zip eblock :
postorder_dfs_from_except blockenv eblock (unitUniqSet id)
dfs2 = postorder_dfs' g
in ASSERT (map blockId dfs1 == map blockId dfs2) dfs2
-- in ASSERT (map blockId dfs1 == map blockId dfs2) dfs2
in if (map blockId dfs1 == map blockId dfs2) then dfs2 else panic "inconsistent DFS"
postorder_dfs_from
:: (HavingSuccessors b, LastNode l) => BlockEnv (Block m l) -> b -> [Block m l]
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment