summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* Checked #PR5758, (also closed bug in Mantis)Luc Maranget2012-09-272-7/+10
* Fix PR#5758Jacques Garrigue2012-09-192-6/+11
* cancel commit in wrong branchJacques Garrigue2012-09-191-27/+1
* use types to disambiguate record accessJacques Garrigue2012-09-191-1/+27
* Formatting.Alain Frisch2012-09-111-4/+2
* Fix content of .cmt files correponding to the automatic 'discarding' of optio...Alain Frisch2012-09-101-4/+2
* Fix #5747 ('unused open' warning not given when compiling with -annot).Alain Frisch2012-09-031-2/+6
* add some missing copyright headersDamien Doligez2012-08-022-0/+22
* clean up TABs and whitespaceDamien Doligez2012-07-3019-382/+374
* Remove dependency from typing/envaux.ml to bytecomp/instruct.mlFabrice Le Fessant2012-07-302-6/+1
* #5697: better location for warnings on statement expressions.Alain Frisch2012-07-241-1/+11
* Fix PR#5694 by checking that the number of parameters is identicalJacques Garrigue2012-07-211-1/+2
* Fix PR#5689Jacques Garrigue2012-07-185-14/+25
* removed bogus $Id linesDamien Doligez2012-07-172-4/+0
* Small tweak to avoid creating delayed checks after delayed checks have been e...Alain Frisch2012-07-131-4/+4
* Fix problem of size of bin-annot filesFabrice Le Fessant2012-07-1210-3/+1731
* fix PR#5674: move Texp_poly and Texp_newtype to exp_extraJacques Garrigue2012-07-104-28/+26
* applied (improved) patch of PR#5654Jacques Garrigue2012-06-191-8/+12
* Fix stack overflow by checking cycles for all types before regularityJacques Garrigue2012-06-141-13/+21
* Fix PR#5073: Wrong location for 'Unbound record field label' errorJacques Garrigue2012-06-131-8/+10
* Fix constraint checking regression; one stack overflow remains in typing-misc...Jacques Garrigue2012-06-131-22/+23
* Fix (type a) scope, was broken by gadt additionJacques Garrigue2012-06-131-3/+3
* #5640: use open_in_bin to read cmt files.Alain Frisch2012-06-081-1/+1
* #5639: Write cmt files with open_out_bin.Alain Frisch2012-06-081-1/+1
* #5632: with-constraints count as references.Alain Frisch2012-06-041-0/+1
* #5629: A toplevel 'open' in the REPL does not trigger an unused open warning.Alain Frisch2012-06-014-7/+11
* Fix #5631: Missed unused open.Alain Frisch2012-06-011-15/+15
* Fix PR#4838, PR#4511Jacques Garrigue2012-06-011-0/+2
* Fix PR#5224Jacques Garrigue2012-06-015-11/+14
* keep the text width to 80 columnsJacques Garrigue2012-05-3125-310/+515
* merge with bin-annot: add missing filesFabrice Le Fessant2012-05-306-0/+1176
* merge with branch bin-annotFabrice Le Fessant2012-05-3038-1852/+2937
* Removal of unnecessary "rec" clauses (to please warning #39).Xavier Clerc2012-05-299-19/+19
* Detect (and fix some) useless recursive flags.Alain Frisch2012-05-291-3/+8
* Enable and fix more warnings.Alain Frisch2012-05-292-2/+2
* Compile with warning 33, and remove unused opens.Alain Frisch2012-05-296-6/+0
* typoJacques Garrigue2012-05-281-1/+1
* Improve error message (and indentation)Jacques Garrigue2012-05-281-4/+7
* Typo.Alain Frisch2012-05-281-1/+1
* #5618: include inferred type in 'not a function' and 'too many argument' erro...Alain Frisch2012-05-281-2/+3
* fix PR#5619Jacques Garrigue2012-05-257-6/+11
* Catch Not_found when calling Env.find_type + call Includemod.signatures in To...Jacques Garrigue2012-05-081-36/+43
* disable unused warnings for identifiers defined in the toplevelJacques Garrigue2012-04-251-3/+8
* #5601: Shouldn't warn about unused constructors when there is an equation.Alain Frisch2012-04-253-7/+12
* #5596: Do not report unused constructors within signatures.Alain Frisch2012-04-184-5/+12
* Improve message for Unused constructor/exception warnings.Alain Frisch2012-04-186-28/+59
* Typo.Alain Frisch2012-04-161-1/+1
* #5594: Unused constructors are not reported if their type starts with undersc...Alain Frisch2012-04-161-7/+8
* Fix #5588.Alain Frisch2012-04-124-6/+7
* fix partial copy bug + unshare method types with -principalJacques Garrigue2012-03-282-7/+24
View Lorry Controller Status