delta/ocaml.git/testsuite/tests/basic/patmatch.reference, branch trunk github.com: ocaml/ocaml Extensible types in pattern matching. (#1459) 2017-11-21T14:11:37+00:00 Luc Maranget Luc.Maranget@inria.fr 2017-11-21T14:11:37+00:00 7f5f82dc9cbc99f5b3ef1dc6cfd43fffb143f4ce * Handle extensible types * various typos * Oups. * Astract constructor equality that considers potential rebinding into Types.may_equal_constr * Moved rebinbing aware pattern compatibility functions from parmatch.ml to matching.ml. Various consequences. * Change Changes * change the Changes change 
* Handle extensible types

* various typos

* Oups.

* Astract constructor equality that considers potential rebinding into Types.may_equal_constr

* Moved rebinbing aware pattern compatibility functions from parmatch.ml to
matching.ml. Various consequences.

* Change Changes

* change the Changes change
Fix testsuite when configured with -safe-string (#819) 2016-12-14T13:14:21+00:00 David Allsopp david.allsopp@metastack.com 2016-10-26T09:24:37+00:00 0a5d5c606ae473259bd20e771ad53d7b4e782d74 






Update test case
2016-01-28T22:38:13+00:00

Runhang Li
runhang@posteo.de

2015-10-13T20:11:57+00:00

59806f481206e7d613232c1f1154a1e91b03878c












Add test case and update changelog
2016-01-28T22:38:13+00:00

Runhang Li
runhang@posteo.de

2015-10-13T17:41:48+00:00

e51be28926c460b4fc2862cfbb4ad5ada4cb52d2












correct PR#6674
2014-11-25T15:11:40+00:00

Luc Maranget
luc.maranget@inria.fr

2014-11-25T15:11:40+00:00

a142a01dae12e1488407b4e9066b417c6375c432

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







Solve PR#6646, ie avoid introducing huge jump summaries
2014-11-07T14:13:53+00:00

Luc Maranget
luc.maranget@inria.fr

2014-11-07T14:13:53+00:00

3bded3f97764c6422fcd7a11c498f3106dcff369

and unshared default clauses in the presence of many (>= 32) non-matched
constructors.




git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15570 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





and unshared default clauses in the presence of many (>= 32) non-matched
constructors.




git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15570 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







PR#6322 Corrected.
2014-02-06T13:30:54+00:00

Luc Maranget
luc.maranget@inria.fr

2014-02-06T13:30:54+00:00

89a627f55bc206f084422b0a6ff7790fbd9d24ca

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14432 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







Patch for PR#5788
2013-07-02T16:05:48+00:00

Luc Maranget
luc.maranget@inria.fr

2013-07-02T16:05:48+00:00

32bcc186ea16dd932f5369f5f5e7933b44ec4a9c

(Exception binding fools pattern matching optimisations)

Hopefully it's complete...





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13871 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





(Exception binding fools pattern matching optimisations)

Hopefully it's complete...





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13871 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







Fix PR #5992
2013-04-25T13:32:17+00:00

Luc Maranget
luc.maranget@inria.fr

2013-04-25T13:32:17+00:00

ebfc4e6cffc2e1d2b79cf8d4790a0be665b8ef4c

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13611 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







clean up TABs and whitespace
2012-07-30T18:04:46+00:00

Damien Doligez
damien.doligez-inria.fr

2012-07-30T18:04:46+00:00

997a678d5ee774930288bfec23d4b145ce45c078

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02