summaryrefslogtreecommitdiffstats
path: root/typing/parmatch.mli
AgeCommit message (Expand)Author
2013-07-16Synchronize with trunk.Alain Frisch
2013-04-25Fix PR #5992Luc Maranget
2013-04-15Explicit representation of guards, get rid of Pexp_when.Alain Frisch
2012-10-24Stop keeping a Path.t to refer to labels and constructors in the Typedtree AS...Alain Frisch
2012-10-15remove all $Id keywordsDamien Doligez
2012-09-27Checked #PR5758, (also closed bug in Mantis)Luc Maranget
2012-09-19Fix PR#5758Jacques Garrigue
2012-05-31keep the text width to 80 columnsJacques Garrigue
2012-05-30merge with branch bin-annotFabrice Le Fessant
2011-07-29merge branches/gadtsJacques Garrigue
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
2010-11-16complete_constrs in parmatch.ml now works with gadts. Reverted changes to the...Jacques Le Normand
2010-11-10clean upJacques Le Normand
2010-11-08cleaned up parmatch.mlJacques Le Normand
2010-11-08exhaustiveness check has been _completely_ rewrittenJacques Le Normand
2010-10-16exhaustiveness check is working. An algorithm te check compatibility has been...Jacques Le Normand
2010-10-07first implementation of gadt friendly pattern exhaustiveness check. It is inc...Jacques Le Normand
2010-09-19switched to abstract types, still needs work on exhaustion type. the code nee...Jacques Le Normand
2008-07-09Add lazy patterns.Michel Mauny
2008-06-16Stop multi-parameter optimization when the pattern is refutable. Now, ((fun t...Michel Mauny
2005-03-11Match compiler : prune context for all mutable fieldsLuc Maranget
2003-08-18cleanup after export of Parmatch.pressure_variantsJacques Garrigue
2002-05-24Nouveaux warning dans les or-patsLuc Maranget
2001-02-19optimsation pm a donfLuc Maranget
2000-08-11new or-pat compilation + exhaustiveness used in compilationLuc Maranget
1999-11-30Merge olabl branchJacques Garrigue
1999-11-17Changement de la licenceXavier Leroy
1996-04-30Renommage en Objective CamlXavier Leroy
1995-08-09Ajout des notices de copyrightXavier Leroy
1995-05-04Passage a la version bootstrappee (franchissement du Rubicon)Xavier Leroy
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-13 03:44:11 +0000