diff options
| author | Hugo Herbelin | 2020-08-22 18:58:51 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-08-25 15:36:47 +0200 |
| commit | 27c1b6504b04c7653eced708492626be28a4f868 (patch) | |
| tree | a21f2dcd425ea6903231b31b21d85acea583270c /kernel/nativecode.ml | |
| parent | 7f82d1387860860f1f6b2fb6e01759e92274349f (diff) | |
The body of a let is considered to be "in context" if its type is present.
Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions