delta/ocaml.git/tools, branch build-with-debugging-informations github.com: ocaml/ocaml Merge branch 'trunk' of ssh://github.com/ocaml/ocaml into trunk 2015-11-12T13:38:00+00:00 pierreweis Pierre.Weis@inria.fr 2015-11-12T13:38:00+00:00 97cfe7d88231029464596fb4c38cc2c677c029ed 






simplify .gitignore; remove .ignore files and tools/setignore; adjust tools/check-typo
2015-11-06T15:25:05+00:00

Damien Doligez
damien.doligez@inria.fr

2015-11-06T15:25:05+00:00

7cb9a80744aa47c1eb7bf4b1a32cfaf320fc8ef8












update tools/check-typo to work with git attributes instead of svn properties
2015-11-03T16:32:50+00:00

Damien Doligez
damien.doligez@inria.fr

2015-11-03T16:32:50+00:00

15796e716c703feaae439e6f11d65d8806e298e8












Do not use fscanf that will be deprecated ASAP.
2015-10-29T17:09:09+00:00

Pierre Weis
Pierre.Weis@inria.fr

2015-10-29T17:09:09+00:00

fbcec250c363acb647d967cc3a53e58ef1c09e0e












update CI build script to switch to git
2015-10-29T14:30:11+00:00

Some Name
some@name.com

2015-10-29T14:30:11+00:00

bf56ce3c0acfae21e4bc8f6907d14722f5eed8f0












merge branches/gadt-warnings
2015-10-23T08:33:44+00:00

Jacques Garrigue
garrigue at math.nagoya-u.ac.jp

2015-10-23T08:33:44+00:00

a335b18a45c003dd9fff54b422be08282f9962ce

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





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







switch to 'pat -> .' and add P/Texp_unreachable
2015-10-16T00:13:40+00:00

Jacques Garrigue
garrigue at math.nagoya-u.ac.jp

2015-10-16T00:13:40+00:00

e34f40ad87b04a823a0172e1399e28199f89ba68

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







add refuted cases, syntax is 'pat -> _'
2015-10-15T01:55:52+00:00

Jacques Garrigue
garrigue at math.nagoya-u.ac.jp

2015-10-15T01:55:52+00:00

a09fb037accb1d9266ab8b8db89b1c81d3d958b4

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02





git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadt-warnings@16500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02







#6195: use compilerlibs for read_cmt tool.
2015-09-11T14:48:12+00:00

Alain Frisch
alain@frisch.fr

2015-09-11T14:48:12+00:00

0e4f031c5d528498da180da4798520b2d18ea2a8

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





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







whitespace cleanup, cut long lines, add some missing headers
2015-09-11T11:58:31+00:00

Damien Doligez
damien.doligez-inria.fr

2015-09-11T11:58:31+00:00

b860d631458802c8685aa59c9d7b66a9225fcedb

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





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