summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk
AgeCommit message (Collapse)Author
2013-02-27Refactoring the Makefile for binary compilation.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27Get rid of spurious warnings for unused variables.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-25misc: replace stat_(alloc|free|resize) occurences with caml_stat_(...).Wojciech Meyer
byterun/compatibility.h defines: #define stat_alloc caml_stat_alloc #define stat_free caml_stat_free #define stat_resize caml_stat_resize Having the "caml_" prefix seems cleaner to me, it also avoids some issues for cross-compilation but I don't remember well which ones. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13314 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-29Merge short-paths into a fresh branch of trunk.Jacques Garrigue
Also fix a bit unification and subtyping errors. You now need the flag -short-path to activate short paths. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths-4.01@13285 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-01-03ignore generated fileDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13201 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-24Stop keeping a Path.t to refer to labels and constructors in the Typedtree ↵Alain Frisch
AST. This is not used internally and it is not a robust way to identify these objects unambiguously anyway (especially when we will add more powerful disambiguation strategies). The correct way to identify an item is through the pair (type,name), which can be deduced from the label_description/constructor_description stored in the Typedtree. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13043 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-10-16#5770: Syntax error messages involving unclosed parens are sometimes incorrect.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13019 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-09-30PR#5715: change the fix to avoid breaking the mingw portDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-21merge version/4.00 at revision 12866Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12869 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-09remove spurious whitespace at EOFDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12844 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-08PR#5715 (partial?) disabling shared libraries does not work under cygwinDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12841 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-08-02add some missing copyright headersDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-30clean up TABs and whitespaceDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-26merge changes from 4.00 branching to 4.00.0 (part 1)Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-07-10fix PR#5674: move Texp_poly and Texp_newtype to exp_extraJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12680 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-30merge with branch bin-annotFabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12516 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-29Compile with warning 33, and remove unused opens.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-05-21Makefile: typo in installoptopt entryXavier Leroy
otherlibs/labltk: toplevellib.cma is no more, use the new compilerlibs/*.cma stuff instead git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12471 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-23Follow-up on PR#5553Jacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12258 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-06Detect unused exception declarations (#5524).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-03-06Keep locations for exception declaration. This gives better error messages ↵Alain Frisch
and paves the way to #5524. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-23refactoring the "read n bytes from a channel into a new string" idiomDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12184 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-13Change "Ocaml" to "OCaml" everywhereDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12152 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-10More renaming to OCamlDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12149 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-02-05Fix various compiler warnings in labltk.Benedikt Meurer
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12126 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-23propagate path-expansion environment everywhereJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12068 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-22Attempt at shortening paths on printingJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/short-paths@12064 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18Merge the unused_declarations branch.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12035 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-18Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@12034 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2012-01-17Fix PR#5475Fabrice Le Fessant
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12032 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-28Remove unused constructors in the AST: Cf_let, Pcf_let.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11968 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-21Create a branch to experiment with better warnings on unused declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/unused_declarations@11911 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-03-15 19:52:45 +0000