summaryrefslogtreecommitdiffstats
path: root/testsuite
AgeCommit message (Expand)Author
2014-05-14Use a nominal datatype for CamlinternalFormat.format6Gabriel Scherer
2014-05-14apply patch for PR#6420: Bad error message for non-exhaustive matching on ext...Jacques Garrigue
2014-05-12temporarily disable principality warning test in coercion.mlGabriel Scherer
2014-05-12fix testsuite/tests/typing-warnings/coercions.ml.referenceGabriel Scherer
2014-05-12fix Tests.ml{,.principal}.referenceGabriel Scherer
2014-05-12fix some testsuite MakefilesGabriel Scherer
2014-05-12For %{..%}, restore Pierre's semanticsGabriel Scherer
2014-05-12testsuite Makefile fixGabriel Scherer
2014-05-12testsuite for %_[nNlL]Gabriel Scherer
2014-05-12a testsuite to measure format behavior changes and the effectiveness of legac...Gabriel Scherer
2014-05-12second part of Benoît Vaugon's format+gadts patchGabriel Scherer
2014-05-11Fix PR#6410: Error message for an attempt to use a functor as a module is con...Jacques Garrigue
2014-05-10fix testsuiteGabriel Scherer
2014-05-10Reformulation of the user-facing slot-access APIGabriel Scherer
2014-05-10improve backtrace testsuiteGabriel Scherer
2014-05-09Fix PR#6405: unsound interaction of -rectypes and GADTsJacques Garrigue
2014-05-07Fix PR#6394: Assertion failed in Typecore.expand_pathJacques Garrigue
2014-05-05#6318: Extend match...with with exception cases. (Patch by Jeremy Yallop, bac...Alain Frisch
2014-05-04PR#5584: merge open extensible types, extension-patch-4.0.2Jacques Garrigue
2014-05-03Some updates for SPARCXavier Leroy
2014-04-29merge branch "safe-string"Damien Doligez
2014-04-29merge Leo's patch for PR#6384Jacques Garrigue
2014-04-28Fix PR#6383: Exception Not_found when using object type in absent moduleJacques Garrigue
2014-04-25update to use the git version of camlp5Damien Doligez
2014-04-25Do not add absolute paths for information added toJacques Garrigue
2014-04-25- Constant ropagation for float and int32/int64/nativeint arithmetic.Xavier Leroy
2014-04-23update expected test results following commit 14660Damien Doligez
2014-04-22Check unicity of types introduced through exceptions. Do not discard excepti...Alain Frisch
2014-04-22Synchronize with trunk.Alain Frisch
2014-04-22Consider that exceptions with a record argument create an implicit type.Alain Frisch
2014-04-21Fix PR#6376Jacques Garrigue
2014-04-16Fix PR#6371Jacques Garrigue
2014-04-14Synchronize with trunk.Alain Frisch
2014-04-12fix bug in test programDamien Doligez
2014-04-12fix some of the whitespace problems in the sourceDamien Doligez
2014-04-12remove tests that depend on camlp4Damien Doligez
2014-04-09Produce type equation on exception rebinding with a record argument.Alain Frisch
2014-04-09Continue support for record argument on exceptions.Alain Frisch
2014-04-09Fix PR#6365Jacques Garrigue
2014-04-08For GADT constructors, the type parameters of the original sum type cannot be...Alain Frisch
2014-04-08Keep the id for the synthesized sub-declaration in Cstr_record.Alain Frisch
2014-04-07testsuite for primitive bound checkingGabriel Scherer
2014-04-07Reference.Alain Frisch
2014-04-04merge branch 4.01 from 4.01.0 (revision 14115) to branch closure (revision 14...Damien Doligez
2014-04-04Get rid of 'as' clause in inline records. Support re-export of sum types wit...Alain Frisch
2014-04-03Fix PR#6352Jacques Garrigue
2014-04-03comment 9644 of PR#6000: principality check for coercion to formatJacques Garrigue
2014-03-25skip debugger test when dynlink is not availableDamien Doligez
2014-03-21#PR6269 Optimized string matchingLuc Maranget
2014-03-20Shorten syntax for functor signatures (patch by Thomas Gazagnaire)Gabriel Scherer
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-18 13:44:53 +0000