Skip to content
Success

Changes

Summary

  1. Use Const_immstring for all constant strings created by the compiler (commit: 0da3756) (details)
  2. Introduce Lambda.lambda_of_const (commit: 60e044e) (details)
  3. Introduce Lambda.constant type (commit: 59ae1d7) (details)
  4. Remove Lambda.Const_base indirection (commit: 5eefdf2) (details)
  5. Changes for PR14260 (commit: 21ea519) (details)
Commit 0da37567f9c349945ef99a028c838f7459fa9dbd by vincent.laviron
Use Const_immstring for all constant strings created by the compiler
(commit: 0da3756)
The file was modifiedlambda/translmod.ml (diff)
The file was modifiedlambda/translcore.ml (diff)
The file was modifiedlambda/matching.ml (diff)
The file was modifiedbytecomp/symtable.ml (diff)
Commit 60e044e1bfa802690e97012df5a6c9552a4e56de by vincent.laviron
Introduce Lambda.lambda_of_const

This helper function ensures that constant strings are always
represented using Const_immstring and not Const_base (Const_string _)
(commit: 60e044e)
The file was modifiedlambda/matching.ml (diff)
The file was modifiedlambda/lambda.ml (diff)
The file was modifiedlambda/translcore.ml (diff)
The file was modifiedlambda/lambda.mli (diff)
Commit 59ae1d79427ae2073adae7eeb41130eaa981c6f9 by vincent.laviron
Introduce Lambda.constant type

This is a copy of Asttypes.constant minus the string case.
It ensures that there is a single way to represent constant strings,
and allows to remove a few pieces of duplicated code.
(commit: 59ae1d7)
The file was modifiedmiddle_end/closure/closure.ml (diff)
The file was modifiedlambda/lambda.mli (diff)
The file was modified.depend (diff)
The file was modifiedbytecomp/emitcode.ml (diff)
The file was modifiedmiddle_end/flambda/closure_conversion.ml (diff)
The file was modifiedlambda/matching.ml (diff)
The file was modifiedbytecomp/symtable.ml (diff)
The file was modifiedlambda/printlambda.ml (diff)
The file was modifiedlambda/lambda.ml (diff)
Commit 5eefdf28fcbad1ef8acbb47c4e3c0d8c459a2264 by vincent.laviron
Remove Lambda.Const_base indirection
(commit: 5eefdf2)
The file was modifiedlambda/value_rec_compiler.ml (diff)
The file was modifiedlambda/tmc.ml (diff)
The file was modifiedlambda/translcore.ml (diff)
The file was modifiedlambda/translprim.ml (diff)
The file was modifiedlambda/lambda.ml (diff)
The file was modifiedbytecomp/symtable.ml (diff)
The file was modifiedmiddle_end/flambda/closure_conversion.ml (diff)
The file was modifiedbytecomp/bytegen.ml (diff)
The file was modifiedlambda/lambda.mli (diff)
The file was modifiedlambda/simplif.ml (diff)
The file was modifiedlambda/translobj.ml (diff)
The file was modifiedlambda/printlambda.ml (diff)
The file was modifiedlambda/matching.ml (diff)
The file was modifiedmiddle_end/closure/closure.ml (diff)
The file was modifiedbytecomp/emitcode.ml (diff)
The file was modifiedChanges (diff)