Commit 94356abf authored by simonpj's avatar simonpj
Browse files

[project @ 2004-05-06 12:27:39 by simonpj]

Add ASSERT
parent 6a821057
......@@ -952,7 +952,8 @@ segsToStmts :: [Segment [LStmt Name]] -> ([LStmt Name], FreeVars)
segsToStmts [] = ([], emptyFVs)
segsToStmts ((defs, uses, fwds, ss) : segs)
= (new_stmt : later_stmts, later_uses `plusFV` uses)
= ASSERT( not (null ss) )
(new_stmt : later_stmts, later_uses `plusFV` uses)
where
(later_stmts, later_uses) = segsToStmts segs
new_stmt | non_rec = head ss
......
Supports Markdown
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