Commit 3d3c7d9f authored by POTTIER Francois's avatar POTTIER Francois

Temporary state where [rhs] and [rhs2] are checked to return the same thing.

According to a very limited demo in calc-incremental, this seems to work.
parent 6ae2f4f8
......@@ -193,8 +193,10 @@ module MakeInspection (T : TableFormat.INSPECTION_TABLES) = struct decode_symbol rhs
let rhs prod =
let _ = rhs2 prod in
let answer1 : T.xsymbol list = rhs2 prod in
let answer2 : T.xsymbol list = T.production_defs.(prod) in
assert (Printf.fprintf stderr "I AM HERE\n%!"; answer1 = answer2);
(* This is a copy of [Item.export]. *)
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