summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser
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-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-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-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-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
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-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-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-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