diff options
| author | Pierre-Marie Pédrot | 2016-04-20 15:09:07 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-05-04 13:47:12 +0200 |
| commit | 1c999a9760f4f2287d11529600ec96567e630ce6 (patch) | |
| tree | bd3651d5db44d0546dca6e81bf8773aa58770936 /kernel/cbytecodes.ml | |
| parent | a2a8840a4fe1b3d6c6dbc27b5521b28bd319ff42 (diff) | |
Do not generate generic arguments for data which only requires toplevel values.
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions