Skip to content

Infix constructors#76

Closed
Drup wants to merge 5 commits intoocaml:trunkfrom
Drup:infixconstructor
Closed

Infix constructors#76
Drup wants to merge 5 commits intoocaml:trunkfrom
Drup:infixconstructor

Conversation

@Drup
Copy link
Contributor

@Drup Drup commented Jun 26, 2014

It was previously possible to overwrite the constructor ::. This patch allows infix constructors like this :

# type arit = ( :+ ) of arit * arit | ( :* ) of arit * arit | Int of int;;
type arit = ( :+ ) of arit * arit | ( :* ) of arit * arit | Int of int

(* priorities and associativities are as expected *)
# let affine x a b =  Int a  :+  Int b :* x ;;
val affine : arit -> int -> int -> arit = <fun>

(** The various printers have been adapted *)
# affine (Int 1) 3 2 ;;
- : arit = ( :+ ) (Int 3, ( :* ) (Int 2, Int 1))

(** It works in patterns with the right priorities too *)
# let factorize = function 
    | a :* x :+ b :* y when a = b -> a :* (x :+ y) 
    | arit -> arit
  in factorize ((Int 3 :* Int 4) :+ (Int 3 :* Int 5)) ;;
- : arit = ( :* ) (Int 3, ( :+ ) (Int 4, Int 5))

The design is based on the one used by infix operators:

  • An infix constructor must start by :, analogous to the fact that a constructor must start by a capital letter.
  • Priorities and associativities are the same as operators, as specified by this table but with regards to the second character. :+ will behave as +, and so will the very pretty :+<>.
  • Infix constructors starting by a :: (::@ for example) will have the same priority and associativity as ::, which is unchanged.
  • the prefix characters !, ? and ~ can't be used inside an infix operators for the sake of retro-compatibility. The construction a::!r was parsed a :: !r and this proposal keep this behavior.

There are three exceptions to the above rules: :>, := and :< can't be used as infix constructors (but they can be prefix, :><: is a valid infix constructor). The reason for the first two are obvious, the last one is forbidden because of the following piece of code: x:<foo:bar>.

To allow easier usage of the infix constructors and for consistency, I modified the parser so that

  • An infix constructor must be declared surrounded by parenthesis, as an operator.
  • An infix operator can be used as a normal constructor, surrounded by parenthesis : (:+) (Int 3, Int 4).
  • Every constructor can be prefixed by a module to address the constructor from this module. : M.Cons (like before), M.(:+), M.[], M.(), M.true and M.false. All of them are rebindable (yes, including the last four. It was already the case before except for [], and I changed it for consistency).

Implementation notes:

  • Drup@e34dc32 implements a simpler proposal, with only infix constructors of the form ::....
  • Drup@1ba59cf implements the infix constructor of the form :.. with various priorities and associativities.
  • Drup@c0cf9af modifies the parser to allow the simplification explained in the previous paragraph.
  • Drup@1ba59cf fixes the pretty printers. I tried to be thorough, but it's quite possible I missed some. I also tried to make my modifications as simple as possible (no priority guessing to reduce the amount of parenthesis, for example). I was tempted to share some code between the various printers, but the build system disagreed with me on that, and I didn't dare to argue with him.
  • Drup@52d52fe fixes a lexer in ocamldoc/ ... I'm not actually sure what it's for (rendering of code between [] in ocamldoc comments, maybe ?), but I preferred to keep it in sync with the main lexer nevertheless.

The compiler bootstrap and the testsuite passes.

TODO:

  • Check that I didn't miss any corner cases (opam and CI, I believe in you!)
  • Maybe make the toplevel printer nicer, so that (:+) (Int 3, Int 4) is printed Int 3 :+ Int4 ... but I'm not actually sure it's a good idea, since I don't know how to print M.(:+) (Int 3, Int 4), M.(Int 3 :+ Int4) might not be correct.
  • Add tests ? I couldn't find infix associativities and priorities tests, where are they ?

Another example, from this :

type (_, _) op =
    Id : ('a, 'a) op
  | ( ::@ ) : ('a, 'b) base_op * ('b, 'c) op -> ('a, 'c) op
... 
let rec _optimize_head
: type a b. (a,b) op -> (a,b) op optim_result
= fun op -> match op with
 | Map f ::@ Map g ::@ cont -> ...
...

@Drup
Copy link
Contributor Author

Drup commented Jun 26, 2014

The CI fail is because of opam breaking change. :(

@samoht
Copy link
Member

samoht commented Jun 27, 2014

You can merge my last PR to fix it

On 27 Jun 2014, at 01:53, Drup [email protected] wrote:

The CI fail is because of opam breaking change. :(

—
Reply to this email directly or view it on GitHub.

@trefis
Copy link
Contributor

trefis commented Jul 17, 2014

I am a bit concerned about your 4th patch (c0cf9af), more specifically about the last 2 points listed in your commit message.
First I think that although allowing the rebinding of [], true and false might be a good idea, it is outside the scope of your proposal.
Also I am afraid that your modifications to allow M.[] might conflict with the notation introduced in PR6054, can you reassure me?

@Drup
Copy link
Contributor Author

Drup commented Jul 17, 2014

This modification was just to make them consistent with the rest of the language, it simplifies the grammar a little bit (there are no special cases) and () is already rebindable (type foo = () of int is already valid ocaml). I will drop it if people disagree, I'm not especially attached to it.

M.[] doesn't conflict with M.[ <expr> ] (since empty is not an expression), I tested it.

@trefis
Copy link
Contributor

trefis commented Jul 17, 2014

M.[] doesn't conflict with M.[ <expr> ] (since empty is not an expression), I tested it.

Oh, right. Well I'm just bad.

bobot
bobot reviewed Jul 18, 2014
View reviewed changes
parsing/parser.mly
Copy link
Contributor

@bobot bobot Jul 18, 2014

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

For consistency with /* expr (e || e || e) */, shouldn't you write /* expr (e :: e :: e) */?

Copy link
Contributor Author

@Drup Drup Jul 18, 2014

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

||/BARBAR is not extensible, as opposed to ::.../INFIXCONSTRUCTOR1BIS, hence why I added a more explicit annotation (at least I believe it's more explicit).

@bobot
Copy link
Contributor

bobot commented Jul 18, 2014

Very nice addition! Do you know the reason for not allowing :: and here your :... to be defined as let (::) x y=? Of course if they are defined like that and used in a pattern a typing error should occur.

@Drup
Copy link
Contributor Author

Drup commented Jul 18, 2014

I don't know the original reason, but in my case, I think it's a better design to have an obvious difference between infix constructor and infix operators.

This way, when you see an operator, you know immediately if it's a constructor (and you can pattern match on it) or not, very much alike you know that identifiers starting by a capital letter are constructors.

@Drup
Copy link
Contributor Author

Drup commented Jul 18, 2014

Also, until now, the role of an identifier in a pattern match is purely syntactic (starting by a capital letter -> valid constructor, otherwise -> it's a undefined variable). There is no need for any validation that a constructor is indeed a constructor. This patch preserve this (thanks to the "start by :" property).

Adding such validation is a bit more involved and I think it would reduce the chances of this patch being included significantly (and is not actually desirable, see previous post). :p

@bobot
Copy link
Contributor

bobot commented Jul 19, 2014

Okay thank you. Of course this merge request should be kept simple. Bur perhaps that can be an idea for a latter merge request.

@yallop
Copy link
Member

yallop commented Jul 19, 2014

I like this feature a lot; it improves readability in several places in my code.

Reusing the associativity and precedence of infix functions seems like the best approach.

Rebinding [] is useful, since it's sufficient to make n-ary list syntax work: you can write

type _ seq = [] : unit seq | (::) : 'a * 'b seq -> ('a * 'b) seq

and then

[1; 2.0; "three"; ('f','o','u','r')]

The pretty printing could really do with improvement. Adding support for qualified names for both operators and infix constructors should make pretty printing easier. You'd be able to write

Int 3 M.:+ Int 4

in both patterns and expressions, and the pretty printer could do the same, omitting the qualification where there's no ambiguity. Haskell supports qualified infix names, and it seems to work well.

@Drup
Copy link
Contributor Author

Drup commented Jul 19, 2014

Rebinding [] is useful, since it's sufficient to make n-ary list syntax work: you can write

type _ seq = [] : unit seq | (::) : 'a * 'b seq -> ('a * 'b) seq

and then

[1; 2.0; "three"; ('f','o','u','r')]

Indeed [ a ; b] is desugarized during parsing to a :: b :: []. Event better, in 4.02, we have M.[ ... ], which combines nicely with this. However, I feel like it's abusing the parser, very much like the Array.get trick, so I'm not very fond of it.
I have another patch in mind, to allow "custom literals" and avoid the need to piggy-back the list literal syntax, but it needs more thinking.

The pretty printing could really do with improvement. Adding support for qualified names for both operators and infix constructors should make pretty printing easier. You'd be able to write

Int 3 M.:+ Int 4

in both patterns and expressions, and the pretty printer could do the same, omitting the qualification where there's no ambiguity. Haskell supports qualified infix names, and it seems to work well.

Indeed, that may be a nice solution, I will implement that.

Drup added 5 commits October 30, 2014 00:17
@Drup
Allow Infix constructors of the form ::..
05ac204
@Drup
Allow infix constructors with custom priority and associativity.
d4ecc89 
Follow the same rule than standard operators, but start with ":".
@Drup
Allow operator-like function notation for infix constructors.
dccb163 
This patch allows the following constructions:
 - M.(:+) (x,y) .
 - (:+) (x,y,z) infix constructors can now have any arity.
    As with operators, the infix notation is only possible with arity 2.
 - It is possible to rebind [].
 - M.true, M.false, M.() and M.[] (to use rebinded constructors).
@Drup
Fix pretty printers for infix constructors.
9821991
@Drup
Update ocamldoc's html backend with infix constructors.
f2b57f7
@Drup Drup force-pushed the infixconstructor branch from 52d52fe to f2b57f7 Compare October 29, 2014 23:57
@Drup
Copy link
Contributor Author

Drup commented Oct 30, 2014

Rebased on trunk. The commit fixing printers had to be changed a little bit, due to 93863aa. The patchset is now slightly shorter.

@chambart
Copy link
Contributor

chambart commented Nov 4, 2014

This was considered as too complicated for too few reasonnable use, and too many unreasonnable ones, sorry.

@damiendoligez
Copy link
Member

damiendoligez commented Nov 12, 2014

FTR, the ability to rebind (), true, and false will disappear "soon", as discussed in http://caml.inria.fr/mantis/view.php?id=5936

For [], if we allow rebinding ::, we should of course allow rebinding [].

@Drup
Copy link
Contributor Author

Drup commented Nov 12, 2014

Thanks @chambart for the report.

@planar: Didn't know this bug report, thanks. I would prefer a proper way to define custom list/array-like literals over rebinding :: and [], but I'm afraid people wouldn't like the syntax I have in mind. :)

@Drup Drup mentioned this pull request Aug 29, 2015
Merged
@gasche gasche closed this Nov 15, 2015
@yallop yallop mentioned this pull request Feb 29, 2016
Closed
stedolan added a commit to stedolan/ocaml that referenced this pull request Mar 14, 2017
@stedolan
Make caml_initialize_field promote its argument.
80caa06 
NB: caml_initialize_field may now call GC. Fixes ocaml#76
@Drup Drup mentioned this pull request Jul 2, 2018
Merged
@vicuna vicuna mentioned this pull request Mar 14, 2019
Closed
mshinwell added a commit to mshinwell/ocaml that referenced this pull request Apr 3, 2020
@mshinwell
Fix for unbound names (ocaml#76)
96d8fbe
mshinwell added a commit to mshinwell/ocaml that referenced this pull request Apr 7, 2020
@mshinwell
Fix for unbound names (ocaml#76)
b2cadac
lthls pushed a commit to lthls/ocaml that referenced this pull request Sep 23, 2020
@mshinwell @lthls
Fix for unbound names (ocaml#76)
d2e96f2
lthls pushed a commit to lthls/ocaml that referenced this pull request Sep 23, 2020
@mshinwell @lthls
Fix for unbound names (ocaml#76)
39e4bcc
lthls pushed a commit to lthls/ocaml that referenced this pull request Sep 24, 2020
@mshinwell @lthls
Fix for unbound names (ocaml#76)
611abee
chambart pushed a commit to chambart/ocaml-1 that referenced this pull request Aug 4, 2021
@poechsel
Apply node created for probe should not be annotated as tailcall (oca…
ba770ec 
…ml#76)
stedolan pushed a commit to stedolan/ocaml that referenced this pull request Dec 13, 2021
@poechsel
flambda-backend: Apply node created for probe should not be annotated…
83516f8 
… as tailcall (ocaml#76)
chambart pushed a commit to chambart/ocaml-1 that referenced this pull request Feb 1, 2022
@stedolan
Squashed 'ocaml/' changes from 7116602..23a7f73
d39cf1b 
23a7f73 flambda-backend: Fix some Debuginfo.t scopes in the frontend (ocaml#248)
33a04a6 flambda-backend: Attempt to shrink the heap before calling the assembler (ocaml#429)
8a36a16 flambda-backend: Fix to allow stage 2 builds in Flambda 2 -Oclassic mode (ocaml#442)
d828db6 flambda-backend: Rename -no-extensions flag to -disable-all-extensions (ocaml#425)
68c39d5 flambda-backend: Fix mistake with extension records (ocaml#423)
423f312 flambda-backend: Refactor -extension and -standard flags (ocaml#398)
585e023 flambda-backend: Improved simplification of array operations (ocaml#384)
faec6b1 flambda-backend: Typos (ocaml#407)
8914940 flambda-backend: Ensure allocations are initialised, even dead ones (ocaml#405)
6b58001 flambda-backend: Move compiler flag -dcfg out of ocaml/ subdirectory (ocaml#400)
4fd57cf flambda-backend: Use ghost loc for extension to avoid expressions with overlapping locations (ocaml#399)
8d993c5 flambda-backend: Let's fix instead of reverting flambda_backend_args (ocaml#396)
d29b133 flambda-backend: Revert "Move flambda-backend specific flags out of ocaml/ subdirectory (ocaml#382)" (ocaml#395)
d0cda93 flambda-backend: Revert ocaml#373 (ocaml#393)
1c6eee1 flambda-backend: Fix "make check_all_arches" in ocaml/ subdirectory (ocaml#388)
a7960dd flambda-backend: Move flambda-backend specific flags out of ocaml/ subdirectory (ocaml#382)
bf7b1a8 flambda-backend: List and Array Comprehensions (ocaml#147)
f2547de flambda-backend: Compile more stdlib files with -O3 (ocaml#380)
3620c58 flambda-backend: Four small inliner fixes (ocaml#379)
2d165d2 flambda-backend: Regenerate ocaml/configure
3838b56 flambda-backend: Bump Menhir to version 20210419 (ocaml#362)
43c14d6 flambda-backend: Re-enable -flambda2-join-points (ocaml#374)
5cd2520 flambda-backend: Disable inlining of recursive functions by default (ocaml#372)
e98b277 flambda-backend: Import ocaml#10736 (stack limit increases) (ocaml#373)
82c8086 flambda-backend: Use hooks for type tree and parse tree (ocaml#363)
33bbc93 flambda-backend: Fix parsecmm.mly in ocaml subdirectory (ocaml#357)
9650034 flambda-backend: Right-to-left evaluation of arguments of String.get and friends (ocaml#354)
f7d3775 flambda-backend: Revert "Magic numbers" (ocaml#360)
0bd2fa6 flambda-backend: Add [@inline ready] attribute and remove [@inline hint] (not [@inlined hint]) (ocaml#351)
cee74af flambda-backend: Ensure that functions are evaluated after their arguments (ocaml#353)
954be59 flambda-backend: Bootstrap
dd5c299 flambda-backend: Change prefix of all magic numbers to avoid clashes with upstream.
c2b1355 flambda-backend: Fix wrong shift generation in Cmm_helpers (ocaml#347)
739243b flambda-backend: Add flambda_oclassic attribute (ocaml#348)
dc9b7fd flambda-backend: Only speculate during inlining if argument types have useful information (ocaml#343)
aa190ec flambda-backend: Backport fix from PR#10719 (ocaml#342)
c53a574 flambda-backend: Reduce max inlining depths at -O2 and -O3 (ocaml#334)
a2493dc flambda-backend: Tweak error messages in Compenv.
1c7b580 flambda-backend: Change Name_abstraction to use a parameterized type (ocaml#326)
07e0918 flambda-backend: Save cfg to file (ocaml#257)
9427a8d flambda-backend: Make inlining parameters more aggressive (ocaml#332)
fe0610f flambda-backend: Do not cache young_limit in a processor register (upstream PR 9876) (ocaml#315)
56f28b8 flambda-backend: Fix an overflow bug in major GC work computation (ocaml#310)
8e43a49 flambda-backend: Cmm invariants (port upstream PR 1400) (ocaml#258)
e901f16 flambda-backend: Add attributes effects and coeffects (#18)
aaa1cdb flambda-backend: Expose Flambda 2 flags via OCAMLPARAM (ocaml#304)
62db54f flambda-backend: Fix freshening substitutions
57231d2 flambda-backend: Evaluate signature substitutions lazily (upstream PR 10599) (ocaml#280)
a1a07de flambda-backend: Keep Sys.opaque_identity in Cmm and Mach (port upstream PR 9412) (ocaml#238)
faaf149 flambda-backend: Rename Un_cps -> To_cmm (ocaml#261)
ecb0201 flambda-backend: Add "-dcfg" flag to ocamlopt (ocaml#254)
32ec58a flambda-backend: Bypass Simplify (ocaml#162)
bd4ce4a flambda-backend: Revert "Semaphore without probes: dummy notes (ocaml#142)" (ocaml#242)
c98530f flambda-backend: Semaphore without probes: dummy notes (ocaml#142)
c9b6a04 flambda-backend: Remove hack for .depend from runtime/dune  (ocaml#170)
6e5d4cf flambda-backend: Build and install Semaphore (ocaml#183)
924eb60 flambda-backend: Special constructor for %sys_argv primitive (ocaml#166)
2ac6334 flambda-backend: Build ocamldoc (ocaml#157)
c6f7267 flambda-backend: Add -mbranches-within-32B to major_gc.c compilation (where supported)
a99fdee flambda-backend: Merge pull request ocaml#10195 from stedolan/mark-prefetching
bd72dcb flambda-backend: Prefetching optimisations for sweeping (ocaml#9934)
27fed7e flambda-backend: Add missing index param for Obj.field (ocaml#145)
cd48b2f flambda-backend: Fix camlinternalOO at -O3 with Flambda 2 (ocaml#132)
9d85430 flambda-backend: Fix testsuite execution (ocaml#125)
ac964ca flambda-backend: Comment out `[@inlined]` annotation. (ocaml#136)
ad4afce flambda-backend: Fix magic numbers (test suite) (ocaml#135)
9b033c7 flambda-backend: Disable the comparison of bytecode programs (`ocamltest`) (ocaml#128)
e650abd flambda-backend: Import flambda2 changes (`Asmpackager`) (ocaml#127)
14dcc38 flambda-backend: Fix error with Record_unboxed (bug in block kind patch) (ocaml#119)
2d35761 flambda-backend: Resurrect [@inline never] annotations in camlinternalMod (ocaml#121)
f5985ad flambda-backend: Magic numbers for cmx and cmxa files (ocaml#118)
0e8b9f0 flambda-backend: Extend conditions to include flambda2 (ocaml#115)
99870c8 flambda-backend: Fix Translobj assertions for Flambda 2 (ocaml#112)
5106317 flambda-backend: Minor fix for "lazy" compilation in Matching with Flambda 2 (ocaml#110)
dba922b flambda-backend: Oclassic/O2/O3 etc (ocaml#104)
f88af3e flambda-backend: Wire in the remaining Flambda 2 flags (ocaml#103)
678d647 flambda-backend: Wire in the Flambda 2 inlining flags (ocaml#100)
1a8febb flambda-backend: Formatting of help text for some Flambda 2 options (ocaml#101)
9ae1c7a flambda-backend: First set of command-line flags for Flambda 2 (ocaml#98)
bc0bc5e flambda-backend: Add config variables flambda_backend, flambda2 and probes (ocaml#99)
efb8304 flambda-backend: Build our own ocamlobjinfo from tools/objinfo/ at the root (ocaml#95)
d2cfaca flambda-backend: Add mutability annotations to Pfield etc. (ocaml#88)
5532555 flambda-backend: Lambda block kinds (ocaml#86)
0c597ba flambda-backend: Revert VERSION, etc. back to 4.12.0 (mostly reverts 822d0a0 from upstream 4.12) (ocaml#93)
037c3d0 flambda-backend: Float blocks
7a9d190 flambda-backend: Allow --enable-middle-end=flambda2 etc (ocaml#89)
9057474 flambda-backend: Root scanning fixes for Flambda 2 (ocaml#87)
08e02a3 flambda-backend: Ensure that Lifthenelse has a boolean-valued condition (ocaml#63)
77214b7 flambda-backend: Obj changes for Flambda 2 (ocaml#71)
ecfdd72 flambda-backend: Cherry-pick 9432cfdadb043a191b414a2caece3e4f9bbc68b7 (ocaml#84)
d1a4396 flambda-backend: Add a `returns` field to `Cmm.Cextcall` (ocaml#74)
575dff5 flambda-backend: CMM traps (ocaml#72)
8a87272 flambda-backend: Remove Obj.set_tag and Obj.truncate (ocaml#73)
d9017ae flambda-backend: Merge pull request ocaml#80 from mshinwell/fb-backport-pr10205
3a4824e flambda-backend: Backport PR#10205 from upstream: Avoid overwriting closures while initialising recursive modules
f31890e flambda-backend: Install missing headers of ocaml/runtime/caml (ocaml#77)
83516f8 flambda-backend: Apply node created for probe should not be annotated as tailcall (ocaml#76)
bc430cb flambda-backend: Add Clflags.is_flambda2 (ocaml#62)
ed87247 flambda-backend: Preallocation of blocks in Translmod for value let rec w/ flambda2 (ocaml#59)
a4b04d5 flambda-backend: inline never on Gc.create_alarm (ocaml#56)
cef0bb6 flambda-backend: Config.flambda2 (ocaml#58)
ff0e4f7 flambda-backend: Pun labelled arguments with type constraint in function applications (ocaml#53)
d72c5fb flambda-backend: Remove Cmm.memory_chunk.Double_u (ocaml#42)
9d34d99 flambda-backend: Install missing artifacts
10146f2 flambda-backend: Add ocamlcfg (ocaml#34)
819d38a flambda-backend: Use OC_CFLAGS, OC_CPPFLAGS, and SHAREDLIB_CFLAGS for foreign libs (#30)
f98b564 flambda-backend: Pass -function-sections iff supported. (#29)
e0eef5e flambda-backend: Bootstrap (#11 part 2)
17374b4 flambda-backend: Add [@@Builtin] attribute to Primitives (#11 part 1)
85127ad flambda-backend: Add builtin, effects and coeffects fields to Cextcall (#12)
b670bcf flambda-backend: Replace tuple with record in Cextcall (#10)
db451b5 flambda-backend: Speedups in Asmlink (#8)
2fe489d flambda-backend: Cherry-pick upstream PR#10184 from upstream, dynlink invariant removal (rev 3dc3cd7 upstream)
d364bfa flambda-backend: Local patch against upstream: enable function sections in the Dune build
886b800 flambda-backend: Local patch against upstream: remove Raw_spacetime_lib (does not build with -m32)
1a7db7c flambda-backend: Local patch against upstream: make dune ignore ocamldoc/ directory
e411dd3 flambda-backend: Local patch against upstream: remove ocaml/testsuite/tests/tool-caml-tex/
1016d03 flambda-backend: Local patch against upstream: remove ocaml/dune-project and ocaml/ocaml-variants.opam
93785e3 flambda-backend: To upstream: export-dynamic for otherlibs/dynlink/ via the natdynlinkops files (still needs .gitignore + way of generating these files)
63db8c1 flambda-backend: To upstream: stop using -O3 in otherlibs/Makefile.otherlibs.common
eb2f1ed flambda-backend: To upstream: stop using -O3 for dynlink/
6682f8d flambda-backend: To upstream: use flambda_o3 attribute instead of -O3 in the Makefile for systhreads/
de197df flambda-backend: To upstream: renamed ocamltest_unix.xxx files for dune
bf3773d flambda-backend: To upstream: dune build fixes (depends on previous to-upstream patches)
6fbc80e flambda-backend: To upstream: refactor otherlibs/dynlink/, removing byte/ and native/
71a03ef flambda-backend: To upstream: fix to Ocaml_modifiers in ocamltest
686d6e3 flambda-backend: To upstream: fix dependency problem with Instruct
c311155 flambda-backend: To upstream: remove threadUnix
52e6e78 flambda-backend: To upstream: stabilise filenames used in backtraces: stdlib/, otherlibs/systhreads/, toplevel/toploop.ml
7d08e0e flambda-backend: To upstream: use flambda_o3 attribute in stdlib
403b82e flambda-backend: To upstream: flambda_o3 attribute support (includes bootstrap)
65032b1 flambda-backend: To upstream: use nolabels attribute instead of -nolabels for otherlibs/unix/
f533fad flambda-backend: To upstream: remove Compflags, add attributes, etc.
49fc1b5 flambda-backend: To upstream: Add attributes and bootstrap compiler
a4b9e0d flambda-backend: Already upstreamed: stdlib capitalisation patch
4c1c259 flambda-backend: ocaml#9748 from xclerc/share-ev_defname (cherry-pick 3e937fc)
00027c4 flambda-backend: permanent/default-to-best-fit (cherry-pick 64240fd)
2561dd9 flambda-backend: permanent/reraise-by-default (cherry-pick 50e9490)
c0aa4f4 flambda-backend: permanent/gc-tuning (cherry-pick e9d6d2f)

git-subtree-dir: ocaml
git-subtree-split: 23a7f73
sadiqj pushed a commit to sadiqj/ocaml that referenced this pull request Feb 21, 2023
@goldfirere
Enable individual testing with Makefile.jst (ocaml#76)
e2d0d9e
stedolan pushed a commit to stedolan/ocaml that referenced this pull request Mar 21, 2023
@mshinwell
Squashed 'ocaml/' changes from b11eea1..a09392d
64caa59 
a09392d Set Menhir version back to 20210419 again (ocaml#89)
cc63992 Merge pull request ocaml#88 from mshinwell/flambda-backend-changes-2022-12-27
3e49df3 HACKING.jst.adoc
1866676 Merge flambda-backend changes
e012992 Merge pull request ocaml#87 from mshinwell/merge-4.14.1
ac5c7c8 Merge tag '4.14.1' into main
3da21bc add a useful debug printer
83b7c72 Document the debug_printers script
98896e0 Remove a tiny code stutter I came across
99cb5d9 release 4.14.1
b49060f last commit before tagging 4.14.1
fae9aef Add documentation
708e5a9 Add tests
c609eee Bootstrap
7f922d0 Polymorphic parameters
51aeb04 Keep generalized structure from patterns when typing let
4b68bb3 Add test of princiaplity from polymorphic type constraints
82c7afe fix wong raise
aca252f x86: Force result of Icomp to be in a register (ocaml#11808)
985725b Add dynlink_compilerlibs.mli to .gitignore (ocaml#79)
2b1fa24 Regenerate parser (ocaml#80)
1bb6c79 Merge pull request ocaml#78 from mshinwell/flambda-backend-patches-2022-12-13
9029581 Update otherlibs/dynlink/Makefile
3e4f1b9 Revert toplevel/native/dune to ocaml-jst version
6061e4c Regenerate configure using autoconf 2.71
888d4b1 Back out patch which disables alloc-check in ocaml-jst
a6d5796 Fix dynlink build
3e46daf Update .depend files
a5c547e Bootstrap
a6a9031 Merge flambda-backend changes
0ac7fdd temp fix for linker error (ocaml#77)
1018602 Remove references to 32-bit Cygwin (ocaml#11797)
e2d0d9e Enable individual testing with Makefile.jst (ocaml#76)
f10cbf6 increment version number after tagging 4.14.1~rc1
11c5ab7 release 4.14.1~rc1
e4c3920 last commit before tagging 4.14.1~rc1
9e598ca Merge pull request ocaml#11793 from dra27/then-than
2a7e501 Use a more relaxed mode for unification in Ctype.subst (ocaml#11771) (ocaml#73)
7b35ef7 Statically initialize `caml_global_data` with a valid value (ocaml#11788)
cbd791a Allow immediates to cross modes (ocaml#58)
85a0817 Merge pull request ocaml#11534 from gasche/follow-synonyms-in-show-module-type
699f43c Changes
e54e9bc fix the 'stuttering' issue in #show
d9799d3 test comments
fec3b23 follow synonyms when #show-ing module types
06a1ad7 regression tests for ocaml#11533 (still failing)
549d757 Run "misplaced attributes" check when compiling mlis (ocaml#72)
b2b74bf Fix bug in `Mtype.strengthen_lazy` causing spurious typing errors (ocaml#11776)
a6c0e75 Ensure that Ctype.nongen always calls remove_mode_variables (ocaml#70)
6c50831 array elements are global (ocaml#67)
bc510ed Ensure that types from packed modules are always generalised (ocaml#11732)
4d47036 Fix ocaml#10768
8788ff6 Add/move some documentation
9891a36 Propagate location information to `local_` in expressions
988306d Add support for `global_` and `nonlocal_` constructor arguments (ocaml#50)
6729eb8 Missing CAMLparam in win32's Unix.stat (ocaml#11737)
e7dd740 Add debug_printers.ml (ocaml#63)
65f2896 more entries in gitignore (ocaml#62)
a9a84d0 Move `global_flag` to `Asttypes` (ocaml#60)
fac5896 Minor attribute fixes from flambda-backend
75f402e Note about make install and Makefile.jst (ocaml#56)
fb5b1e4 Remove the -force-tmc flag (ocaml#11661)
bd87a61 ocamlmklib: use `ar rcs` instead of `ar rc` (ocaml#11670)
83762af Merge pull request ocaml#11622 from Octachron/fix_recursive_types_in_constructor_mismatch
ca48730 Merge pull request ocaml#11609 from Octachron/pr11194_unbound_and_printing_context

git-subtree-dir: ocaml
git-subtree-split: a09392d
EmileTrotignon pushed a commit to EmileTrotignon/ocaml that referenced this pull request Jan 12, 2024
@dependabot
Bump next-mdx-remote from 2.1.2 to 2.1.3 (ocaml#76)
5d92136
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

8 participants

@Drup @samoht @trefis @bobot @yallop @chambart @damiendoligez @gasche