Commit 6100ae65 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

Pinterp: Capp is just a partial application

parent fb97e3b1
......@@ -686,7 +686,8 @@ and exec_call env rs args ity_result =
let env = add_local_funs locals env in
begin
match d.c_node with
| Capp _ -> assert false (* TODO ? *)
| Capp (rs',pvl) ->
exec_call env rs' (pvl @ args) ity_result
| Cpur _ -> assert false (* TODO ? *)
| Cany -> raise CannotCompute
| Cfun body ->
......
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