ocaml

Commit Graph

Author	SHA1	Message	Date
Gabriel Scherer	d260a79416	[refactoring] gives tailcall attributes a more standard structure We want to start allowing more information in the payload of [@tailcall] attributes (currently no payload is supported), for example we could consider using [@tailcall false] to ask the code generator to disable a tail call. A first required step in this direction is to use a custom datatype to represent the tail-call attribute, instead of a boolean. This is consistent with the other application-site attributes (inline_attribute, specialise_attribute, local_attribute), so it makes the code more regular -- but the change itself is boilerplate-y.	2020-06-08 15:39:50 +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
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

Author

SHA1

Message

Date

Gabriel Scherer

d260a79416

[refactoring] gives tailcall attributes a more standard structure

We want to start allowing more information in the payload of
[@tailcall] attributes (currently no payload is supported), for
example we could consider using [@tailcall false] to ask the code
generator to disable a tail call.

A first required step in this direction is to use a custom datatype to
represent the tail-call attribute, instead of a boolean. This is
consistent with the other application-site
attributes (inline_attribute, specialise_attribute, local_attribute),
so it makes the code more regular -- but the change itself is
boilerplate-y.

2020-06-08 15:39:50 +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

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

3 Commits (master)