delta/ocaml.git/typing/includecore.ml, branch autofocus github.com: ocaml/ocaml New modifier in record declaration (after 'mutable'): 'match'. This enables autofocus for patterns which are not wildcard, variable, alias, constraint, or-pattern. 2012-07-18T12:29:54+00:00 Alain Frisch alain@frisch.fr 2012-07-18T12:29:54+00:00 e9386ad8ed2f8053097f55743f87fdfc8d57792b git-svn-id: http://caml.inria.fr/svn/ocaml/branches/autofocus@12728 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/autofocus@12728 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
keep the text width to 80 columns 2012-05-31T08:07:31+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2012-05-31T08:07:31+00:00 d8f8f9ee3b78257e0fdc1f56d4779952d0646f63 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12522 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
merge with branch bin-annot 2012-05-30T14:52:37+00:00 Fabrice Le Fessant Fabrice.Le_fessant@inria.fr 2012-05-30T14:52:37+00:00 d39d43e55fab716fbe05cec3c89233f0dd208835 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Compile with warning 33, and remove unused opens. 2012-05-29T11:10:03+00:00 Alain Frisch alain@frisch.fr 2012-05-29T11:10:03+00:00 05c973e6ed4be5e2fb28ef97b9659c9677ccbfd1 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
#5601: Shouldn't warn about unused constructors when there is an equation. 2012-04-25T07:34:41+00:00 Alain Frisch alain@frisch.fr 2012-04-25T07:34:41+00:00 6e7c62b0b9ec62198573cf848b8175725149b291 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12397 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Improve message for Unused constructor/exception warnings. 2012-04-18T09:01:17+00:00 Alain Frisch alain@frisch.fr 2012-04-18T09:01:17+00:00 9f46d7222a00765c5826c97b09fac7d77d2f853a git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12371 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12371 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Fix #5588. 2012-04-12T17:21:39+00:00 Alain Frisch alain@frisch.fr 2012-04-12T17:21:39+00:00 44cdb206704b267e33e64df03c1b66db1960cdfd git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12348 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12348 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Detect unused exception declarations (#5524). 2012-03-06T19:47:07+00:00 Alain Frisch alain@frisch.fr 2012-03-06T19:47:07+00:00 ab918e2078cfddd9cde6853277b7cb1a216dfcff git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Keep locations for exception declaration. This gives better error messages and paves the way to #5524. 2012-03-06T19:03:17+00:00 Alain Frisch alain@frisch.fr 2012-03-06T19:03:17+00:00 f0b95f334978d169d395ba1267110bdae6615097 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
New warning for unused constructors. 2012-01-12T11:24:30+00:00 Alain Frisch alain@frisch.fr 2012-01-12T11:24:30+00:00 cdbb84ec682704379bac21a633cbd2b9e93b35a8 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12018 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02