diff options
| author | Emilio Jesus Gallego Arias | 2020-03-13 07:21:27 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-25 23:45:57 -0400 |
| commit | 5c9f318f5f1b6e85b03bba9450ac059377be54fc (patch) | |
| tree | 3b2b09da33a12feb5c2eede8b35da277caa58438 /dev/tools/pre-commit | |
| parent | f759aaf9de94a11aa34a31c869829d60243d273d (diff) | |
[gramlib] Don't expose unsafe interfaces to clients
I'd say this is more of a temporary measure than a long-term plan; IMO
we should make the interfaces safe so `Gramlib.Grammar` does provide
only one signature.
Diffstat (limited to 'dev/tools/pre-commit')
0 files changed, 0 insertions, 0 deletions