summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk
AgeCommit message (Collapse)Author
2013-09-09Remove labltk from the distribution (will be available as a third-party ↵Xavier Clerc
library). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14077 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-08-28Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@14042 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-24PR#4243: make the Makefiles parallelizableDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-07-16Synchronize with trunk.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13897 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-06-03Item attributes on each let-binding.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13736 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-29Wrong quoting chase.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13718 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-22merge changes from version/4.00 from 4.00.1 to r13697Damien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13699 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-05-16#5980: explicit way to silence the new warning (open! X).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13685 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-18Allow abstract module declaration in structures to make the syntax and ↵Alain Frisch
Parsetree more uniform. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-17Get rid of the 'explicit arity' flag on Pexp_construct/Ppat_construct. If ↵Alain Frisch
really requires (for camlp5?), the feature should be reimplemented with attributes. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13549 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-17Getting rid of Pexp_assertfalse/Texp_assertfalse.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13548 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-16Keep interval pattern sugar in the Parsetree (Camlp4 parsers still expand them).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13546 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-16Get rid of the undocumented syntax #c[>`A] (#5936, #5983).Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13542 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-16Better representation of with-constraints.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-16Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to ↵Alain Frisch
be coherent with Ptyp_arrow. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-15Explicit representation of guards, get rid of Pexp_when.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13528 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-11Attributes on Pstr_eval.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-11Keep item attributes on let-binding structure items.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13511 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-10Extension nodes as class field or class type field.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13502 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-10Extension nodes and attributes for class types.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13501 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-10Start to bring constructor names closer to concrete syntax.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-04-09Get rid of core_field_type, more direct representation of object types.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13489 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-26Align module binding with Parsetree.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13447 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-25Represent exception declarations as constructor declarations in the Parsetree.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13442 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-25Starting to keep attributes in the typedtree.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13440 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19A more CamlTk-ish version.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13417 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-19Details.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-08Attributes on expresions (etc) are now stored in the expression record, to ↵Alain Frisch
facilitate pattern matching on structured fragments of AST while ignoring attributes. Introducing a new Ast_helper module to help creating AST fragments. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13381 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-06Attributes on label in record type declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13361 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-06Attribute has structure/signature item.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13359 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-06Record for module type declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13358 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-06Name is part of the value_description record.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13357 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-06Type name is part of the type declaration record.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13356 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-06Switch Pstr_modtype argument to a record type.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-06Finish attributes on module/recursive modules in structures.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13354 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-05Put name in the exception_declaration record.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13350 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-05Extension as structure/signature items [%%lid expr].Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13346 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-04Attributes on module/module type/recursive module declarations in interfaces.Alain Frisch
Module: [^^id expr] [^^id expr] ... module X : S [@@id expr] [@@id expr] ... Module types: [^^id expr] [^^id expr] ... module type X = S [@@id expr] [@@id expr] ... Recursive modules: module rec [^^id expr] [^^id expr] X1 : S1 [@@id expr] [@@id expr] ... and [^^id expr] [^^id expr] X1 : S1 [@@id expr] [@@id expr] ... git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13344 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-04Attributes on open/include in signatures.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-04Attributes on exception declarations.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13342 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-04Adding attributes on constructor declarations (type t = A [@id expr] | B ↵Alain Frisch
[@id expr] of ...), and switch to a record type to represent those constructor declarations in the Parsetree. git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13338 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-04Attributes/extensions as module types.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13336 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-04Adding extension/attribute on patterns.Alain Frisch
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13335 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-01Cleanup + support attributes on type declarations (syntax: type t = ... with ↵Alain Frisch
(:a1 expr1) (:a2 expr2) ... (:an exprn)). git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13332 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-03-01More uniform syntax:Alain Frisch
Attributes: expr (:foo expr) type (:foo expr) str_item ..(:foo expr) Extension nodes: expr (&foo expr) type (&foo expr) str_item ..(&foo expr) git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13331 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27Labtk now supports 8.6.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27Imported from caml_examples.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13326 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27Imported from caml_examples.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13325 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27Adding taquin (from caml_examples) to the examples.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13324 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2013-02-27Some rewriting.Pierre Weis
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13323 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02