Skip to content
Success

Changes

Summary

  1. Use Const_immstring for all constant strings created by the compiler (details)
  2. Introduce Lambda.lambda_of_const (details)
  3. Introduce Lambda.constant type (details)
  4. Remove Lambda.Const_base indirection (details)
  5. Changes for PR14260 (details)
Commit 0da37567f9c349945ef99a028c838f7459fa9dbd by vincent.laviron
Use Const_immstring for all constant strings created by the compiler
The file was modifiedlambda/matching.ml (diff)
The file was modifiedlambda/translcore.ml (diff)
The file was modifiedlambda/translmod.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 _)
The file was modifiedlambda/lambda.mli (diff)
The file was modifiedlambda/lambda.ml (diff)
The file was modifiedlambda/translcore.ml (diff)
The file was modifiedlambda/matching.ml (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.
The file was modifiedmiddle_end/flambda/closure_conversion.ml (diff)
The file was modifiedlambda/lambda.ml (diff)
The file was modifiedlambda/lambda.mli (diff)
The file was modifiedlambda/matching.ml (diff)
The file was modifiedbytecomp/emitcode.ml (diff)
The file was modifiedbytecomp/symtable.ml (diff)
The file was modifiedmiddle_end/closure/closure.ml (diff)
The file was modified.depend (diff)
The file was modifiedlambda/printlambda.ml (diff)
Commit 5eefdf28fcbad1ef8acbb47c4e3c0d8c459a2264 by vincent.laviron
Remove Lambda.Const_base indirection
The file was modifiedlambda/simplif.ml (diff)
The file was modifiedlambda/tmc.ml (diff)
The file was modifiedlambda/lambda.mli (diff)
The file was modifiedbytecomp/emitcode.ml (diff)
The file was modifiedlambda/translobj.ml (diff)
The file was modifiedmiddle_end/closure/closure.ml (diff)
The file was modifiedlambda/translcore.ml (diff)
The file was modifiedlambda/lambda.ml (diff)
The file was modifiedbytecomp/bytegen.ml (diff)
The file was modifiedlambda/printlambda.ml (diff)
The file was modifiedmiddle_end/flambda/closure_conversion.ml (diff)
The file was modifiedlambda/value_rec_compiler.ml (diff)
The file was modifiedbytecomp/symtable.ml (diff)
The file was modifiedlambda/translprim.ml (diff)
The file was modifiedlambda/matching.ml (diff)
The file was modifiedChanges (diff)