Commit 2cb61397 authored by Lovis J.I. Zenz's avatar Lovis J.I. Zenz
Browse files

added more detailed description of val fuse-bodies to fusion.ml

parent e61e6fed
#
# procedure pfuse-bodies takes a sem_stmt_list and returns a sem_stmt_list
# procedure fuse-bodies takes a sem_stmt_list and returns a sem_stmt_list
# with fused bodies of conditions.
#
# most simple implementation
......@@ -13,6 +13,15 @@
#
# --> if a then do b; d; end else do c; e; end
#
# do a fusion of ITEs on a list of statements
#
# Parameter:
# list of statements
#
# Returns:
# list of statements with inlined right hand sides
#
export fuse-bodies : (sem_stmt_list)-> S sem_stmt_list <{} => {}>
val fuse-bodies stmts = fuse-bodies-stmt-list-initial stmts
......
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