diff options
| author | Maxime Dénès | 2015-07-02 15:39:12 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2015-07-02 15:39:12 +0200 |
| commit | 44f45f58dc0a169286c9fcfa7d2edbc8bc04673b (patch) | |
| tree | cf2c73c4038e511b30c42f6b54889be3d45bfca1 /engine/termops.ml | |
| parent | b6320588bdc54f0239a537339a359baa5e4d07d4 (diff) | |
More robust pattern matching on structured constants in VM.
Diffstat (limited to 'engine/termops.ml')
0 files changed, 0 insertions, 0 deletions