Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Introduce the Lambda.scoped_location type (commit: a529280) (details)
  2. Replace Location.t with Lambda.scoped_location in Lambda code (commit: 2986bea) (details)
  3. Print function names (derived from Lambda.scoped_location) in backtraces (commit: 0040c5d) (details)
  4. Update testsuite with new backtrace format, and add test for names (commit: b7716c4) (details)
  5. Bootstrap (commit: fc2aee9) (details)
  6. Changes (commit: fa037cb) (details)
Commit a5292808d2ba10805fcaa93270ead21f9e6e7f62 by sdolan
Introduce the Lambda.scoped_location type
 (commit: a529280)
The file was modifiedlambda/debuginfo.ml (diff)
The file was modifiedparsing/location.mli (diff)
The file was modifiedlambda/lambda.mli (diff)
The file was modifiedparsing/location.ml (diff)
The file was modifiedlambda/lambda.ml (diff)
The file was modifiedotherlibs/dynlink/Makefile (diff)
The file was modifiedlambda/debuginfo.mli (diff)
Commit 2986beaa7800deef612ffb1b77a9b0a62a9b2318 by sdolan
Replace Location.t with Lambda.scoped_location in Lambda code

This commit threads scopes through translation from Typedtree to
Lambda, extending the scopes when entering functions, modules,
classes and methods.
 (commit: 2986bea)
The file was modifiedasmcomp/strmatch.ml (diff)
The file was modifiedlambda/lambda.ml (diff)
The file was modifiedlambda/translclass.ml (diff)
The file was modifiedlambda/matching.mli (diff)
The file was modifiedlambda/translprim.ml (diff)
The file was modifiedlambda/simplif.mli (diff)
The file was modifiedtoplevel/opttoploop.ml (diff)
The file was modifiedlambda/debuginfo.mli (diff)
The file was modifiedlambda/matching.ml (diff)
The file was modifiedlambda/switch.ml (diff)
The file was modifiedlambda/translcore.ml (diff)
The file was modifiedmiddle_end/internal_variable_names.mli (diff)
The file was modifiedlambda/translmod.ml (diff)
The file was modifiedmiddle_end/internal_variable_names.ml (diff)
The file was modifiedlambda/translcore.mli (diff)
The file was modifiedmiddle_end/flambda/closure_conversion_aux.mli (diff)
The file was modifiedmiddle_end/flambda/inline_and_simplify_aux.ml (diff)
The file was modified.depend (diff)
The file was modifiedasmcomp/cmm_helpers.ml (diff)
The file was modifiedmiddle_end/closure/closure.ml (diff)
The file was modifiedasmcomp/cmmgen.ml (diff)
The file was modifiedmiddle_end/flambda/closure_conversion_aux.ml (diff)
The file was modifiedlambda/switch.mli (diff)
The file was modifiedlambda/printlambda.ml (diff)
The file was modifiedlambda/lambda.mli (diff)
The file was modifiedlambda/simplif.ml (diff)
The file was modifiedbytecomp/bytegen.ml (diff)
The file was modifiedlambda/translclass.mli (diff)
The file was modifiedasmcomp/cmm_helpers.mli (diff)
The file was modifiedasmcomp/strmatch.mli (diff)
The file was modifiedtestsuite/tools/parsecmmaux.ml (diff)
The file was modifiedlambda/debuginfo.ml (diff)
The file was modifiedlambda/translprim.mli (diff)
The file was modifiedlambda/translobj.ml (diff)
Commit 0040c5d783650180f5383718e2a9ccacb4b2b4a1 by sdolan
Print function names (derived from Lambda.scoped_location) in backtraces

Function names now appear in backtraces and are available via Printexc.
 (commit: 0040c5d)
The file was modifiedasmcomp/emitaux.ml (diff)
The file was modifiedbytecomp/instruct.mli (diff)
The file was modifiedbytecomp/instruct.ml (diff)
The file was modifiedstdlib/printexc.mli (diff)
The file was modifiedbytecomp/bytegen.ml (diff)
The file was modifiedruntime/caml/backtrace_prim.h (diff)
The file was modifiedruntime/backtrace_byt.c (diff)
The file was modifiedruntime/backtrace_nat.c (diff)
The file was modifiedstdlib/printexc.ml (diff)
The file was modifiedruntime/backtrace.c (diff)
Commit b7716c46256776f4af55ac460bf7bdba26c0005c by sdolan
Update testsuite with new backtrace format, and add test for names
 (commit: b7716c4)
The file was modifiedtestsuite/tests/backtrace/backtrace3.reference (diff)
The file was modifiedtestsuite/tests/tool-toplevel/pr6468.compilers.reference (diff)
The file was modifiedtestsuite/tests/backtrace/backtrace.reference (diff)
The file was modifiedtestsuite/tests/basic-modules/anonymous.ocamlopt.flambda.reference (diff)
The file was modifiedtestsuite/tests/functors/functors.compilers.reference (diff)
The file was modifiedtestsuite/tests/statmemprof/comballoc.byte.reference (diff)
The file was modifiedtestsuite/tests/formatting/test_locations.dlocations.ocamlc.reference (diff)
The file was modifiedtestsuite/tests/backtrace/backtrace_or_exception.reference (diff)
The file was modifiedtestsuite/tests/basic-modules/anonymous.ocamlc.reference (diff)
The file was modifiedtestsuite/tests/lib-dynlink-initializers/test10_main.native.reference (diff)
The file was modifiedtestsuite/tests/backtrace/event_after_prim.reference (diff)
The file was modifiedtestsuite/tests/statmemprof/comballoc.opt.reference (diff)
The file was modifiedtestsuite/tests/backtrace/raw_backtrace.reference (diff)
The file was addedtestsuite/tests/backtrace/names.ml
The file was modifiedtestsuite/tests/backtrace/methods.reference (diff)
The file was modifiedtestsuite/tests/backtrace/pr6920_why_at.reference (diff)
The file was modifiedtestsuite/tests/lib-dynlink-initializers/test10_main.byte.reference (diff)
The file was modifiedtestsuite/tools/parsecmmaux.ml (diff)
The file was modifiedtestsuite/tests/backtrace/backtrace_slots.reference (diff)
The file was addedtestsuite/tests/backtrace/names.reference
The file was modifiedtestsuite/tests/backtrace/pr6920_why_swallow.reference (diff)
The file was modifiedtestsuite/tests/backtrace/callstack.reference (diff)
The file was modifiedtestsuite/tests/backtrace/backtrace_deprecated.reference (diff)
The file was modifiedtestsuite/tests/statmemprof/callstacks.reference (diff)
The file was modifiedtestsuite/tests/translprim/module_coercion.compilers.flat.reference (diff)
The file was modifiedtestsuite/tests/backtrace/backtrace2.reference (diff)
The file was modifiedtestsuite/tests/translprim/module_coercion.compilers.no-flat.reference (diff)
The file was modified.depend (diff)
The file was modifiedboot/ocamlc (diff)
The file was modifiedboot/ocamllex (diff)
The file was modifiedChanges (diff)