SET (slot.(dst) , ns.concat4 slot1.(src1) slot1.(src2) slot2.(src3) slot2.(src4))
| OP_SELF _ ->
- LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t));
+ LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t));
slot.(dst) <- ns.singleton t
| OP_SELF_LEFT1 src ->
- LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t));
+ LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t));
slot.(dst) <- ns.cons t slot1.(src)
| OP_SELF_LEFT2 (src1, src2) ->
- LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t));
+ LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t));
slot.(dst) <- ns.conscat t slot1.(src1) slot1.(src2)
| OP_SELF_RIGHT1 src ->
- LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t));
+ LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t));
slot.(dst) <- ns.cons t slot2.(src)
| OP_SELF_RIGHT2 (src1, src2) ->
- LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t));
+ LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t));
slot.(dst) <- ns.conscat t slot2.(src1) slot2.(src2)
| OP_SELF_LEFT1_RIGHT1 (src1, src2) ->
- LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t));
+ LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t));
slot.(dst) <- ns.conscat t slot1.(src1) slot2.(src2)
| OP_SELF_LEFT2_RIGHT1 (src1, src2, src3) ->
- LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t));
+ LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t));
slot.(dst) <- ns.conscat3 t slot1.(src1) slot1.(src2) slot2.(src3)
| OP_SELF_LEFT1_RIGHT2 (src1, src2, src3) ->
- LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t));
+ LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t));
slot.(dst) <- ns.conscat3 t slot1.(src1) slot2.(src2) slot2.(src3)
| OP_SELF_LEFT2_RIGHT2 (src1, src2, src3, src4) ->
- LOG(__ "res-jit" 1 "Putting Node %i in the result set\n" (Node.to_int t));
+ LOG(__ "res-jit" 1 "Putting Node %i in the result set@\n" (Node.to_int t));
slot.(dst) <-
ns.conscat4 t slot1.(src1) slot1.(src2) slot2.(src3) slot2.(src4)
| OP_OTHER line ->
let exec_instr = EXEC_INSTR_TEMPLATE(NodeSet.Count)
let exec_code = EXEC_CODE_TEMPLATE(NodeSet.Count)
let rec exec slot slot1 slot2 t code = EXEC_REC_TEMPLATE
- let exec slot slot1 slot2 t code = EXEC_TEMPLATE
let var _ x = x
let close _ x = x
let is_open _ = false
let exec_instr = EXEC_INSTR_TEMPLATE(NodeSet.Mat)
let exec_code = EXEC_CODE_TEMPLATE(NodeSet.Mat)
let rec exec slot slot1 slot2 t code = EXEC_REC_TEMPLATE
- let exec slot slot1 slot2 t code = EXEC_TEMPLATE
let var _ x = x
let close _ x = x
let is_open _ = false