summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk
AgeCommit message (Collapse)Author
2011-10-21merge branches/located_errorsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11228 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-22Keep type variable namesJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11210 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-09-15Jonathan's updates to the Windows/Mingw portXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11197 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-04PR#5238, PR#5277: Sys_error when getting error locationDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11166 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-29merge branches/gadtsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27file "modules" is not auto-generatedDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11155 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27file "modules" is not auto-generatedDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11154 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-27file "modules" is not auto-generatedDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20uniform .ignore systemDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11133 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20merge changes from 3.12.0 to 3.12.1Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11123 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-20New module dependency.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11099 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-03-17Ignoring compiled files.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10986 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-16complete_constrs in parmatch.ml now works with gadts. Reverted changes to ↵Jacques Le Normand
the syntax tree which are no longer needed. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10805 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-10clean upJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-08updated references to Tpat_record to accomodate the extra fieldJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10771 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-08allow variance in GADTsJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10763 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-25merged with trunk. specifically, merged with implicit unpack patchJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10742 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21merge branches/implicit-unpack + update camlp4Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10738 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21internally, we can now refer to constructors with the help of their type, ↵Jacques Le Normand
thus avoiding shadowing git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10737 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-10-21removed Type_variant, fixed bug in GADT exhaustive checkJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10734 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-13first commitJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10679 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-30for Jacques Le NormandJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10660 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-08-02merge changes from branching of 3.12 to release/3.12.0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10643 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-21Create a branch to experiment with improving locations of errors.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/located_errors@10453 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-20PR#4857: add -vnum option to all executablesDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10444 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19fix Windows MSVC build + ignoresDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19removal of tkanimDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10426 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19missing change from last branch merge !?Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10425 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-08merge branches/overrideJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10250 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-04macosx tk says pageJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10231 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-03fix for tk86 and removal of tkanimJun FURUSE / 古瀬 淳
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10230 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-02Adding "module type of <module-expr>" in the class of <module-type>.Xavier Leroy
Merge of branches/moduletypeof -r 9636:10226 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10227 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-22clean up spaces and tabsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9547 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-20merge changes from release/3.11.1 to release/3.11.2Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-19bug with $Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-01-07PR#4940: get rid of naked end-of-lines in string constants + add warning 29Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-12-03updated to new language constructsDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-11-02fine-grained control of warnings -- contDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9408 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-10-18Treat these GIF files as binary dataXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9374 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-25Les fonctions internal_tracevis et internal_tracedestroy sont mal declarees.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-09-12As discussed at the latest consortium meeting:Xavier Leroy
Syntactic sugar {x} for {x=x} in record expressions and patterns. Syntax { lbl=pat; _ } to mark record patterns where the user explicitly wants not to list all labels. Warning (activated by E, the fragile match warning) to signal record patterns without '; _' that fail to list all labels. To be done: adjust Camlp4 parser accordingly. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-20merge changes from ocaml3111rc0 to ocaml3111Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-07-15Added option -no-app-funct to turn off applicative functorsXavier Leroy
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9316 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2009-05-20merge changes from ocaml3110 to ocaml3111rc0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9270 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-12-03merge changes from 3.10.2merged to 3.11.0Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9153 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-09-26fix PR#4614Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9036 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-08-27only recompile when neededJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8991 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-09Add lazy patterns in labltkMichel Mauny
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8907 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2008-07-01Support for tk8.5: correcting tk_incs.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8899 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-24 09:50:55 +0000