Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :

Commit e0770d3f authored by POTTIER Francois's avatar POTTIER Francois

Removed an unsafe conversion in [FancyDriver].

parent 58bd83c8
......@@ -23,8 +23,7 @@ let fail lexbuf checkpoint =
usually 0. This is a BIG HACK. TEMPORARY *)
| Cons (Element (s, _, _, _), _) ->
(* We are missing a conversion [lr1state -> int]. TEMPORARY *)
Obj.magic (s : _ lr1state)
number s
(* Display a nice error message. In principle, the table found in
[ParserMessages] should be complete, so we should obtain
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