diff options
| author | Pierre-Marie Pédrot | 2019-02-05 17:28:05 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-02-11 15:48:43 +0100 |
| commit | fba77d134e27c086a982e61de5741038bf92bb8a (patch) | |
| tree | 89af4953ee85a55a8ab25ee73b30733d065c8c5d /kernel/nativevalues.mli | |
| parent | ccfa2585dbe9a482040f2b2d405fdb4451d19e39 (diff) | |
Make Grammar truly functorial.
The old implementation was simply hiding the fact that the functor relied on
a generic data type. If we want to implement the grammar engine in a truly
type-safe way, we need to make the ancilliary datatypes depend on the type
parameters.
Diffstat (limited to 'kernel/nativevalues.mli')
0 files changed, 0 insertions, 0 deletions