summaryrefslogtreecommitdiff
path: root/typing
Commit message (Expand)AuthorAgeFilesLines
* merge version 3.12 from 3.12.1 to r12205Damien Doligez2012-03-081-6/+6
* #5527: absolute filenames for more error messages.Alain Frisch2012-03-071-3/+5
* Detect unused exception declarations (#5524).Alain Frisch2012-03-069-13/+41
* Keep locations for exception declaration. This gives better error messages an...Alain Frisch2012-03-0614-20/+33
* refactoring the "read n bytes from a channel into a new string" idiomDamien Doligez2012-02-231-2/+1
* Unshare on type annotations even in non -principal mode.Jacques Garrigue2012-02-141-28/+63
* Fix PR#5498Jacques Garrigue2012-02-032-2/+7
* cleaner fix of PR#5490Jacques Garrigue2012-01-211-7/+12
* Renaming.Alain Frisch2012-01-201-2/+2
* Fix #5490.Alain Frisch2012-01-201-2/+3
* Reverting bad commit.Alain Frisch2012-01-201-3/+2
* Fix #5490.Alain Frisch2012-01-201-2/+3
* Direct implementation of the approximation of free identifiers + get rid of U...Alain Frisch2012-01-183-303/+96
* Synchronize with trunk.unused_declarationsAlain Frisch2012-01-1811-95/+87
|\
| * PR#5380: copy fix from 3.12 branchDamien Doligez2012-01-111-35/+55
| * fix PR#5469Jacques Garrigue2012-01-101-2/+3
| * Remove unused constructors in the AST: Cf_let, Pcf_let.Alain Frisch2011-12-285-38/+1
| * fix PR#5449Jacques Garrigue2011-12-283-11/+7
| * fix PR#5450Jacques Garrigue2011-12-273-8/+15
| * simplify fix of PR#5445Jacques Garrigue2011-12-271-13/+6
| * fix PR#5445Jacques Garrigue2011-12-271-1/+13
* | New warning for unused constructors.Alain Frisch2012-01-124-8/+47
* | #5438: fix bug reported by Boris Yakobowski; the local type name correspondin...Alain Frisch2012-01-123-1/+8
* | Avoid problem with the use of Typeclass.unbound_class.Alain Frisch2012-01-062-8/+18
* | Better choice of warnings.Alain Frisch2012-01-061-2/+3
* | Replace existing warnings 26, 27, trying to preserve their semantics.Alain Frisch2011-12-297-66/+94
* | More clever algorithm to detect unused (recursive) type declarations.Alain Frisch2011-12-284-12/+28
* | Fix detection of unused let-bound variables in classes.Alain Frisch2011-12-271-4/+9
* | Detect unused 'ancestor' identifier.Alain Frisch2011-12-271-6/+6
* | Reduce overhead for warning on unused opens when the warning is disabled.Alain Frisch2011-12-271-20/+25
* | The implicit type created by class and class types definitions is marked as u...Alain Frisch2011-12-221-6/+17
* | Detected unused type declarations. A type declaration can be used (1) through...Alain Frisch2011-12-223-7/+41
* | Detect unused open (#5357, #5438).Alain Frisch2011-12-223-35/+77
* | Typo.Alain Frisch2011-12-211-1/+1
* | New warning 31 to detect a lot more unused value declarations.Alain Frisch2011-12-216-6/+113
|/
* New syntax for 'custom let bindings': let.simple_expr pat = expr in exprAlain Frisch2011-12-211-3/+3
* Fix pretty-printing of let-like operators.Alain Frisch2011-12-201-3/+3
* New option to force the compilers to show absolute paths in error messages.Alain Frisch2011-12-201-8/+8
* Fix PR#5425 and PR#5427Jacques Garrigue2011-12-152-14/+24
* #5358: package types allow constraints on typed in sub-modules. Camlp4 compil...Alain Frisch2011-12-148-25/+42
* fix PR#5343Jacques Garrigue2011-12-101-15/+24
* better reporting of wrong version for .cmi filesDamien Doligez2011-11-292-1/+13
* do not fail when injectivity not proved in Pattern mode, use mcompJacques Garrigue2011-11-251-11/+18
* merge branches/gadts-develJacques Garrigue2011-11-2420-728/+792
* Bug #4380.Pierre Weis2011-10-251-9/+20
* Untabify.Pierre Weis2011-10-251-73/+74
* allow breaking line for locations inside error messagesJacques Garrigue2011-10-211-1/+1
* Do not keep locations in .cmis!Jacques Garrigue2011-10-211-2/+2
* merge branches/located_errorsJacques Garrigue2011-10-2112-42/+98
|\
| * Keep location on value declarations.located_errorsAlain Frisch2010-05-218-32/+61
View Lorry Controller Status