delta/ocaml.git - github.com: ocaml/ocaml

	Commit message (Expand)	Author	Age	Files	Lines
*	Make Lambda.lfunction private	Stephen Dolan	2022-02-12	1	-7/+12
*	Merge commit '2bcef4bc172f476217f253d24cb3311eaca504bf' into 5.00_rebase_to_pr	Tom Kelly	2021-12-20	1	-0/+6
*	bow to check-typo	Gabriel Scherer	2021-11-02	1	-28/+40
*	[minor] complete the renaming of 'TRMC' into 'TMC'	Gabriel Scherer	2021-11-02	1	-1/+1
*	[review] move the main TMC comment to tmc.mli	Gabriel Scherer	2021-11-02	1	-56/+0
*	[review] improve code readability within TMC disambiguation	Gabriel Scherer	2021-11-02	1	-4/+4
*	TMC: much thinking about which @tailcall annotations to preserve where	Gabriel Scherer	2021-11-02	1	-16/+32
*	[review]: in TMC ambiguity errors, print the ambiguous callsites	Gabriel Scherer	2021-11-02	1	-40/+106
*	[review] copyright headers and .mli file	Gabriel Scherer	2021-11-02	1	-0/+17
*	TMC: do not warn on ambiguous sub-terms of non-ambiguous programs	Gabriel Scherer	2021-11-02	1	-4/+45
*	TMC: implement [@tail_mod_cons] for non-recursive lets	Gabriel Scherer	2021-11-02	1	-9/+22
*	[review] TMC: make 'offset' distinct from 'lambda' for clarity	Gabriel Scherer	2021-11-02	1	-12/+14
*	[review] tmc: use a placeholder value that is better for debugging	Gabriel Scherer	2021-11-02	1	-2/+4
*	[review] interface for Tmc.Constr	Gabriel Scherer	2021-11-02	1	-29/+53
*	[review] TMC: rename 'return' to 'lambda'	Gabriel Scherer	2021-11-02	1	-9/+12
*	[review] rename 'con' into 'constr'	Gabriel Scherer	2021-11-02	1	-21/+26
*	TMC: support Tupled functions and partial applications	Gabriel Scherer	2021-11-02	1	-3/+21
*	TMC: warn when a tail-call is broken by the TMC transformation.	Gabriel Scherer	2021-11-02	1	-37/+36
*	TMC: warn if there is no optimization opportunity	Gabriel Scherer	2021-11-02	1	-0/+4
*	TMC: error if several different calls could be optimized	Gabriel Scherer	2021-11-02	1	-25/+100
*	TMC: Constructor composition in direct style: [benefits_from_dps : bool].	Gabriel Scherer	2021-11-02	1	-6/+26
*	TMC: [minor] improve dummy name generation for let-bound arguments	Gabriel Scherer	2021-11-02	1	-7/+10
*	TMC: optimize constructor composition	Basile Clement	2021-11-02	1	-52/+253
*	TMC: generalize `Choice.t` to use binding operators	Gabriel Scherer	2021-11-02	1	-203/+246
*	TMC: product representation of choices	Basile Clement	2021-11-02	1	-113/+117
*	preliminary implementation of TMC (tail modulo cons)	Gabriel Scherer	2021-11-02	1	-0/+507