Harris case study

[MorelElian]

on main branch

Harris.ml

I have the following error:
@ path __491+[Dir_body; (Dir_seq_nth 0)] Path.resolve_path_and_ctx: direction Dir_body does not match with the following term assume()
On transformation:

List.iter fuse [ ["grayscale"], [], ["gray"]; ["sobelX"; "sobelY"], [], ["ix"; "iy"]; ["mul"; "sum3x3"; "coarsity"], overlaps_2x2 ["ixx"; "ixy"; "iyy"], ["out"]; ];

Harris_no_stencil.ml -- Harris_optim.ml

I think this code is out-of-date. Should we remove it ? (lot of transformations doesn't exist anymore/ has changed)

[Bastacyclop]

I would remove harris_optim.ml because it's trying to improve upon harris_no_stencil.ml but we have better style inside harris.ml. I would keep harris_no_stencil.ml because it shows what one would do without the Stencil module.