[Pkg-ocaml-maint-commits] [menhir] 02/05: Update upstream source from tag 'upstream/20171206'

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository menhir.

commit 9c677a9f834ab64d1520feb2d2158780fca9ade0
Merge: ce2a1ab c275369
Author: Ralf Treinen <treinen at free.fr>
Date:   Wed Dec 13 08:16:20 2017 +0100

    Update upstream source from tag 'upstream/20171206'
    
    Update to upstream version '20171206'
    with Debian dir 3e88717849892e71cb5a14003f9ad8c9200956a8

 CHANGES.md                                         |  13 +
 doc/main.tex                                       |  38 +-
 doc/version.tex                                    |   2 +-
 manual.pdf                                         | Bin 433419 -> 433383 bytes
 src/CheckSafeParameterizedGrammar.ml               | 184 +++++
 ...ption.mli => CheckSafeParameterizedGrammar.mli} |  12 +-
 src/Drop.ml                                        | 146 ++++
 src/{option.mli => Drop.mli}                       |  10 +-
 src/{option.mli => GroundSort.ml}                  |  13 +-
 src/{parameterizedGrammar.mli => GroundSort.mli}   |  22 +-
 src/META                                           |   2 +-
 src/Memoize.ml                                     |  63 ++
 src/{option.ml => Memoize.mli}                     |  45 +-
 src/SelectiveExpansion.ml                          | 523 ++++++++++++++
 src/SelectiveExpansion.mli                         |  38 +
 src/SortInference.ml                               | 269 +++++++
 src/{option.mli => SortInference.mli}              |  14 +-
 src/SortUnification.ml                             | 142 ++++
 src/SortUnification.mli                            |  64 ++
 src/StaticVersion.ml                               |   2 +-
 src/StaticVersion.mli                              |   2 +-
 src/Unifier.ml                                     | 195 +++++
 src/Unifier.mli                                    |  75 ++
 src/front.ml                                       |  41 +-
 src/invariant.ml                                   |   6 +-
 src/misc.ml                                        | 108 +--
 src/misc.mli                                       |  69 +-
 src/option.ml                                      |  16 +
 src/option.mli                                     |   2 +
 src/parameterizedGrammar.ml                        | 784 ---------------------
 src/parameters.ml                                  |  45 +-
 src/partialGrammar.ml                              |  27 +-
 src/{syntax.mli => syntax.ml}                      |   0
 src/unionFind.ml                                   |  65 +-
 src/unionFind.mli                                  |  21 +-
 src/unparameterizedSyntax.ml                       |   2 +-
 src/version.ml                                     |   2 +-
 37 files changed, 2036 insertions(+), 1026 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git