summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/searchid.ml
AgeCommit message (Expand)Author
2013-09-09Remove labltk from the distribution (will be available as a third-party libra...Xavier Clerc
2013-07-16Synchronize with trunk.Alain Frisch
2013-06-03Item attributes on each let-binding.Alain Frisch
2013-05-16#5980: explicit way to silence the new warning (open! X).Alain Frisch
2013-04-18Allow abstract module declaration in structures to make the syntax and Parset...Alain Frisch
2013-04-17Get rid of the 'explicit arity' flag on Pexp_construct/Ppat_construct. If re...Alain Frisch
2013-04-16Keep interval pattern sugar in the Parsetree (Camlp4 parsers still expand them).Alain Frisch
2013-04-11Keep item attributes on let-binding structure items.Alain Frisch
2013-03-25Represent exception declarations as constructor declarations in the Parsetree.Alain Frisch
2013-03-08Attributes on expresions (etc) are now stored in the expression record, to fa...Alain Frisch
2013-03-06Record for module type declarations.Alain Frisch
2013-03-06Name is part of the value_description record.Alain Frisch
2013-03-06Type name is part of the type declaration record.Alain Frisch
2013-03-06Switch Pstr_modtype argument to a record type.Alain Frisch
2013-03-06Finish attributes on module/recursive modules in structures.Alain Frisch
2013-03-05Put name in the exception_declaration record.Alain Frisch
2013-03-04Attributes on module/module type/recursive module declarations in interfaces.Alain Frisch
2013-03-04Adding extension/attribute on patterns.Alain Frisch
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
2012-08-21merge version/4.00 at revision 12866Jacques Garrigue
2012-05-30merge with branch bin-annotFabrice Le Fessant
2012-03-06Keep locations for exception declaration. This gives better error messages an...Alain Frisch
2012-01-23propagate path-expansion environment everywhereJacques Garrigue
2011-09-22Keep type variable namesJacques Garrigue
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-08updated references to Tpat_record to accomodate the extra fieldJacques Le Normand
2010-11-08allow variance in GADTsJacques Garrigue
2010-10-25merged with trunk. specifically, merged with implicit unpack patchJacques Le Normand
2010-10-21merge branches/implicit-unpack + update camlp4Jacques Garrigue
2010-10-21internally, we can now refer to constructors with the help of their type, thu...Jacques Le Normand
2010-10-21removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand
2010-09-13first commitJacques Le Normand
2010-01-22clean up spaces and tabsDamien Doligez
2009-09-12As discussed at the latest consortium meeting:Xavier Leroy
2008-07-09Add lazy patterns in labltkMichel Mauny
2007-10-09It works: compilers and camlp4 are fully bootstrapped. The ast magic number i...Pierre Weis
2005-01-28correction de quelques bugs signales par le warning YDamien Doligez
2004-06-12Impression des 'rec' et des 'and' dans les signatures inferees (PR#1981,2585)Xavier Leroy
2003-07-02Revu representation des declarations de type privateXavier Leroy
2003-05-01Complete move from virtual to private for concrete types with privatePierre Weis
2003-02-28Nouveau format %$. Introduction des types virtuels: step 1 sans inclusion dan...Pierre Weis
2002-11-01changement des locations, premiere trancheDamien Doligez
2002-07-25capitalize variantsJacques Garrigue
2001-12-07MAJ en-tetes pour mentionner la 'special exception' sur la LGPLXavier Leroy
2001-09-06passage aux labels strictsJacques Garrigue
2001-04-19enforce uniqueness of typing in label modeJacques Garrigue
2001-03-03ajout d'un champ filtrage a ReitherJacques Garrigue
2000-12-28Getting rid of obsolete boolean operators & and orPierre Weis
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-18 08:58:08 +0000