diff options
| author | Maxime Dénès | 2019-04-14 12:51:30 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-04-15 15:28:09 +0200 |
| commit | 137e8b1636fa0b25c232ed42944ecaed058732ee (patch) | |
| tree | 9c02d6cb0c2135f2e16418668346b4fc7c40afa5 /kernel/nativecode.ml | |
| parent | 4b9119d8090e366ecd2e803ad30a9dd839bc8ec9 (diff) | |
[native compiler] Distinguish constant constructors in lambda code
Diffstat (limited to 'kernel/nativecode.ml')
| -rw-r--r-- | kernel/nativecode.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/nativecode.ml b/kernel/nativecode.ml index d7ec2ecf72..c879cab9df 100644 --- a/kernel/nativecode.ml +++ b/kernel/nativecode.ml @@ -1272,6 +1272,8 @@ let ml_of_instance instance u = (lname, paramsi, body) in MLletrec(Array.mapi mkrec lf, lf_args.(start)) *) + | Lint tag -> MLapp(MLprimitive Mk_int, [|MLint tag|]) + | Lmakeblock (prefix,(cn,_u),_,args) -> let args = Array.map (ml_of_lam env l) args in MLconstruct(prefix,cn,args) |