summaryrefslogtreecommitdiff
path: root/typing/path.mli
Commit message (Expand)AuthorAgeFilesLines
* Encode extra types within pathHyunggyu Jang2022-11-111-3/+38
* Add explicit constructors to Path.t for inline record typesLeo White2022-11-111-9/+2
* reviewFlorian Angeletti2020-01-291-0/+2
* Remove positions from pathsLeo White2018-11-211-3/+1
* ident: better printingThomas Refis2018-09-211-0/+2
* ident: add an explicit scope fieldThomas Refis2018-09-211-1/+1
* typemod: allow items coming from includes to be shadowedThomas Refis2018-07-251-0/+1
* nondep_type_*: take an ident listThomas Refis2018-07-251-1/+1
* Just some tbl things. (#1699)Gabriel Radanne2018-07-231-0/+3
* Support syntax: S with M.N.t := ...Valentin Gatien-Baron2017-08-011-0/+1
* add Path.compareJacques Garrigue2016-05-091-0/+1
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* minor: add Path.heads: find all Ident.t free in a Path.tGabriel Scherer2015-12-141-0/+2
* Reintegrate-merge constructors_with_record5 branch.Alain Frisch2014-10-141-0/+9
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* #5438: fix bug reported by Boris Yakobowski; the local type name correspondin...Alain Frisch2012-01-121-0/+2
* merge branches/gadtsJacques Garrigue2011-07-291-1/+2
|\
| * move everything to type_expectJacques Garrigue2010-11-121-1/+2
* | renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-1/+1
|/
* Detection des abreviations de types mal formees introduites par 'module rec'Xavier Leroy2003-07-011-0/+1
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Meilleurs noms pour les exceptionsXavier Leroy1998-06-231-0/+2
* Ident: ajout de Ident.iter.Xavier Leroy1996-07-151-0/+1
* Renommage en Objective CamlXavier Leroy1996-04-301-2/+2
* Foncteurs applicatifs.Xavier Leroy1995-08-231-0/+1
* Ajout des notices de copyrightXavier Leroy1995-08-091-0/+13
* Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy1995-05-041-0/+10
View Lorry Controller Status