Commit 45de833e authored by Richard Eisenberg's avatar Richard Eisenberg
Browse files

Clarify role of coercion in flattening function

Comments only: [ci skip]
parent 437ff69e
......@@ -1432,7 +1432,8 @@ flatten_app_tys fun_ty arg_tys
; flatten_app_ty_args fun_xi fun_co arg_tys }
-- Given a flattened function (with the coercion produced by flattening) and
-- a bunch of unflattened arguments, flatten the arguments and apply.
-- The coercion argument's role matches the role stored in the FlatM monad.
-- The bang patterns used here were observed to improve performance. If you
-- wish to remove them, be sure to check for regeressions in allocations.
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