8 Commits (master)

Author	SHA1	Message	Date
Leo White	a02707c610	Better backtraces for lazy values	2020-06-14 07:57:35 +01:00
Stephen Dolan	0d44a6cfe6	Remove Const_pointer from Lambda and Clambda (#9585) ... Lambda and Clambda distinguish Const_int from Const_pointer only so that they can pass the information to Cmm. But now that that Const_pointer is gone from Cmm (#9578), there's no need for the distinction in Lambda either. This PR requires a bootstrap, because the .cmo format changes: Lambda.structured_constant has one fewer constructor. The bootstrap is in the following commit.	2020-06-02 11:19:20 +02:00
Nicolás Ojeda Bär	4e33dcf35f	Add %loc_FUNCTION primitive	2020-05-13 20:49:01 +02:00
Stephen Dolan	2986beaa78	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.	2020-04-27 12:58:53 +01:00
Greta Yorsh	824ce35492	Replace caml_int_compare and caml_float_compare with primitives (#2324)	2020-03-26 10:58:10 +01:00
Stephen Dolan	cc7b687a02	Generate the same locations for raises in bytecode and native code	2020-03-16 18:15:09 +00:00
Jacques-Henri Jourdan	52661f14a4	Make ocamlc preserve events after primitives even if they are at tail position.	2020-01-09 00:16:42 +01:00
Mark Shinwell	72ea849d2a	Move some middle-end files around (#2281) ... * Various file moves in the middle end: this is the first stage of improving separation between the middle end and backend. * Creation of file_formats/ directory (with associated file moves) to hold the definitions of compilation artifact formats. * Creation of lambda/ directory (with associated file moves) to hold Lambda language definition files, transformation passes and construction passes from Typedtree. * Disable (hopefully temporarily) dynlink, debugger and ocamldoc for the dune build.	2019-04-01 17:18:47 +01:00