diff options
| author | Pierre-Marie Pédrot | 2020-10-07 11:34:14 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-10-07 11:39:33 +0200 |
| commit | 120992dd26edb49fae056dd0be34f68f615941e0 (patch) | |
| tree | a24f44395f52857fa5d6511feddb840bed4b6b8c /kernel/nativevalues.ml | |
| parent | 7f75bc30ed18253cd9075422ba485008528213fc (diff) | |
Explicitly pass around a state in Evarconv.second_order_matching.
I know higher-order mutable state shared across call sites is a staple of
Matthieu's style, but it is a footgun begging to be abused.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions