Commit 528bf088 authored by POTTIER Francois's avatar POTTIER Francois

Manual update: a comment on GADTs in OCaml.

parent 50c30d25
......@@ -1903,9 +1903,10 @@ factoring out an error matrix, as suggested by Dencker, D
Heuft~\cite{dencker-84}.
The type-theoretic tricks that triggered our interest in LR
parsers~\cite{pottier-regis-gianas-typed-lr} are not implemented in \menhir,
because the \ocaml compiler does not currently offer generalized algebraic
data types (GADTs).
parsers~\cite{pottier-regis-gianas-typed-lr} are not implemented in \menhir.
In the beginning, we did not implement them because the \ocaml compiler did
not at the time offer generalized algebraic data types (GADTs). Today, \ocaml
has GADTs, but, as the saying goes, ``if it ain't broken, don't fix it''.
% ---------------------------------------------------------------------------------------------------------------------
......
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