summaryrefslogtreecommitdiffstats
AgeCommit message (Collapse)Author
2014-04-04Distinguish explicitly representation of regular records and inlined records ↵Alain Frisch
with tag = 0. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14531 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-04Support exception rebinding.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14530 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-04Get rid of 'as' clause in inline records. Support re-export of sum types ↵Alain Frisch
with inline records. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14529 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-04Fix PR#6348Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-04Fix PR#6347Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14527 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-03ignore generated file ocamlmklibconfig.mlDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14526 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-03Fix PR#6352Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14524 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-03comment 9644 of PR#6000: principality check for coercion to formatJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14523 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-02Revert bad change included in previous commit, which broke ↵Alain Frisch
tests/typing-module/firstclass.ml (more phrases were accepted by the type-checker). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-02Get rid of ocamlcomp.sh. The next step is to share all those common ↵Alain Frisch
declarations for calling the compilers from various places. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14521 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-02Fix PR#6359Luc Maranget
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14520 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-01Allow to give an explicit name (and specify parameters) for inlined records.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14519 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-01Always keep the original type parameters (with ordering) for synthesized ↵Alain Frisch
record type declarations. Add required existentials, sorted alphabetically. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14518 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-01Remove debug.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14517 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-01Switch to t.A syntax for synthesized types. Allow the user to refer to such ↵Alain Frisch
as type. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-04-01Support for record arguments on exceptions.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14515 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-31Rvert parts of the original commit which are not relevant with the encoding ↵Alain Frisch
approach. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14513 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-31stop ignoring ocamlmklib.ml, it is not a generated file any moreDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-31Adapt ocamlopt.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14511 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-31Revert "PR#6270: remove need for -I directives to ocamldebug in common case ↵Gabriel Scherer
(patch by Josh Watzman)" There seems to be a problematic interaction with backtrace collection. To test this, make world.opt cd testsuite make one DIR=tests/backtrace/ This needs to be sorted out before the patch can go in again. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-31Cleanup (use attributes to pass information).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14509 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-31Encode record arguments into extra record declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14508 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-31PR#6270: remove need for -I directives to ocamldebug in common case (patch ↵Xavier Clerc
by Josh Watzman) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-28Type-check constructor creation with a record argument.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14506 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-28Some preparation for record arguments.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14505 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-28Create another branch to work on #5528Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record2@14504 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-28Pprintast: factorize handling of infix/prefix bindersGabriel Scherer
There was a bug with "external _pipe = ..." in otherlibs/threads/unix.ml where the identifier _pipe was wrongly detected as infix and reprinted as "external ( _pipe ) = ...", causing a syntax error. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14503 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-27ignore .cmt and .cmti filesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-27fix msvc64 port by removing unused open Misc (untested, esp. on other ↵Damien Doligez
Windows ports) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-27In cmmgen, use previously defined 'get_size' function to emitLuc Maranget
the code that extract size of blocks. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-26Compile with the same warning configuration under Windows.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14499 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-26#6352: add a warning on implicit removal of optional arguments.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14498 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-26Get rid of some uses of implicit removal of optional arguments.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-26Get rid of some uses of implicit removal of optional arguments.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14496 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-26Get rid of some uses of implicit removal of optional arguments.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14495 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-26More robust syntax (in case we add e.g. some 'open' statement before).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14494 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-26Also compile with -bin-annot under Windows.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14493 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-26Remove spurious character from error message.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14492 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-25commit mergeinfo to keep svn happyDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14491 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-25skip debugger test when dynlink is not availableDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14490 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-25PR#6351: minor arm64 fix (patch by Richard W.M. Jones)Gabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14487 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-25#6260: fix unecessary boxing of let-bound floats/ints.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-24Ensure that record patterns don't miss any field in Ast_mapper (use of ↵Alain Frisch
optional arguments in Ast_helper makes it too easy to forget some fields). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-23Optimize Env.find_module further for PR#6350Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14483 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-22Fix PR#6350Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14482 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-21[minor] add strmatch to Makefile.ntGabriel Scherer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14481 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-21OupsLuc Maranget
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14480 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-21#PR6269 Optimized string matchingLuc Maranget
Noticed that I had to bootstrap to test on ARM, so I commit a new bootstrap compiler. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14479 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-21Factor out the grammar productions for functor parametersGabriel Scherer
(Patch by Jeremy Yallop) Functor parameters can occur in three contexts: (1) in functor bindings: module M (X : S) (Y : T) = ... (2) in anonymous functor expressionms: functor (X : S) (Y : T) -> ... (3) in signature expressions module type T = functor (X : S) (Y : T) -> ... This patch simplifies the grammar by using common productions (functor_arg, functor_args) to handle all three contexts, and by combining the productions for named and unnamed parameters. As a side effect, unnamed functor arguments are now available in functor bindings: module M (_ : S) (_ : T) = ... git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14478 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2014-03-20Pervasives: define [min_int] and [max_int] without assuming that integers ↵Gabriel Scherer
are either 31 or 63 bits. (Patch by Jérôme Vouillon) Js_of_ocaml has 32 bit integers. Currently, it patches the bytecode, just to get the correct values for [min_int] and [max_int]. It would be simpler if this was not necessary. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14477 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-18 08:40:25 +0000