./lang/camlp5, Camlp5 is a preprocessor-pretty-printer of ocaml

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 7.03, Package name: camlp5-7.03, Maintainer: tonio

Camlp5 is a preprocessor and pretty-printer for OCaml programs. It also
provides parsing and printing tools.

As a preprocessor, it allows to:
- extend the syntax of OCaml,
- redefine the whole syntax of the language.
As a pretty printer, it allows to:
- display OCaml programs in an elegant way,
- convert from one syntax to another,
- check the results of syntax extensions.
Camlp5 also provides some parsing and pretty printing tools:
- extensible grammars
- extensible printers
- stream parsers and lexers
- pretty print module
It works as a shell command and can also be used in the OCaml toplevel.


Required to run:
[lang/ocaml]

Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: 241275eb295891a2e9ac85fdcbd0eed53c4cbef6
RMD160: 86d63dccaa482db1af55c290b4e6489f74c5a36e
Filesize: 740.367 KB

Version history: (Expand)


CVS history: (Expand)


   2018-01-10 17:24:13 by Jaap Boender | Files touched by this commit (3) | Package updated
Log message:
Updated package lang/camlp5 to version 7.03.

This version mostly introduces support for OCaml 4.06, and contains some
bugfixes besides.
   2018-01-01 23:30:04 by Roland Illig | Files touched by this commit (537)
Log message:
Sort PLIST files.

Unsorted entries in PLIST files have generated a pkglint warning for at
least 12 years. Somewhat more recently, pkglint has learned to sort
PLIST files automatically. Since pkglint 5.4.23, the sorting is only
done in obvious, simple cases. These have been applied by running:

  pkglint -Cnone,PLIST -Wnone,plist-sort -r -F
   2017-09-08 11:51:27 by Jaap Boender | Files touched by this commit (113) | Package updated
Log message:
Recursive revbump associated with update of ocaml to 4.05
   2017-08-01 16:59:08 by Thomas Klausner | Files touched by this commit (211)
Log message:
Follow some http -> https redirects.
   2017-07-11 14:17:13 by Jaap Boender | Files touched by this commit (3) | Package updated
Log message:
Updated package to latest version, 7.01 (we need support for ocaml 4.04.2).
Changes include:

Camlp5 Version 7.01:
--------------------

* [26 Jun 17] Fixed bug in associativity of entry levels in extensible
  grammars; was introduced by an old experiment, resulting a failure
  in Coq test-suite/success/rewrite_strat.v.
* [26 Jun 17] Fixed bug: compilation failed while using OCaml versions
  between 3.05 and 4.01.1, and jocaml versions.

Camlp5 Version 7.00:
--------------------

* [26 Jun 17] Release number is 7.00 instead of 6.18 because of big
  improvements on extensible grammars which can use now limited and
  full backtracking algorithms on demand.
* [16 Jun 17] Entry.parse_token has been renamed Entry.parse_token_stream.
* [04 Jun 17] Added limited backtracking (functional streams) to extensible
  grammars. Can be set with "Grammar.parse_algorithm Functional" or by
  setting the environment variable CAMLP5PARAM=f.
* [01 Jun 17] Backtrack parsing seems to work well now. Camlp5 and Coq can
  be compiled using it by setting CAMLP5PARAM=b.
* [31 May 17] Fixed bug: Entry.parse_token did not accept backtrack parsing.
* [31 May 17] Fixed ocaml parsing for case of record {foo () with ...}.
* [31 May 17] Fixed bug backtrack parsing for function Entry.of_parser.
* [28 Apr 17] Updated for ocaml 4.04.2 which was missing.
* [07 Apr 17] Updated for ocaml trunk 4.06.0
* [19 Feb 17] Fixed bug: locations of all identifiers were missing
  resulting of error messages giving "<none>" as source file name
  and no line and column number in the source.
* [04 Jan 17] Updated for ocaml trunk 4.05.0
* [09 Dec 16] Fixed bug: was not compatible with ocaml compiled with
  option -safe-string.
* [09 Dec 16] Fixed bug: make uninstall did not take DESTDIR into account.
* [07 Dec 16] Fixed bug virtual methods in signatures generated syntax
  tree of virtual val. Bug notified by Kakadu.
  Ex: "class foo : object method virtual bar : bool end"
* [07 Dec 16] Fixed bug not separated idents were not allowed in
  'let open' constructs. Bug notified by Kakadu.
  Ex: "let open Mod1.Mod2.Mod3 in ..."
* [06 Dec 16] Fixed bug dumping module definitions with constraints.
  Bug notified by Kakadu.
  Ex:
    module type Item = sig type t end
    module type Sig = sig type t module Node : Item end
    module Make (S : Sig) : Sig with module Node = S.Node and type t = S.t
* [06 Dec 16] Fixed bug extra option word during pr_dump for optional args.
  Bug notified by Kakadu.
  Ex: "class t : ?name:string -> object end"
* [05 Dec 16] Fixed bug dumping of open object types. Bug notified by Kakadu.
  Ex: "type t = <f:int; .. >"
* [05 Dec 16] Fixed bug dump parsetree without throughing away module type
  annotation. Bug notified by Kakadu.
  Ex: "module rec A : sig end = struct end"
   2016-12-30 13:37:44 by Jaap Boender | Files touched by this commit (3) | Package updated
Log message:
Updated package to latest version, 6.17, and changed master site to
github. Changes include:

* [24 Jul 16] Added compatibility with ocaml 4.04.0 and 4.04.1.
* [09 Sep 16] Added pretty print of type [< ... ] when ended with "> \ 
`ident".
* [24 Jul 16] Added compatibility with ocaml 4.03.1.
   2016-05-06 12:50:55 by Jaap Boender | Files touched by this commit (3) | Package updated
Log message:
Updated package to latest version, 6.16. Changes include:
* [28 Apr 16] Fixed problems of compatibility with previous versions of
  ocaml.
* [23 Jan 16] Fixed bug on optional types (ocaml 4.02).
* [15 Jan 16] Fixed bug on methods wrongly interpreted as vals.
* [05 Jan 16] Updated for ocaml trunk 4.03.0
  (git version be2a7e2f830911b331657b8cfa462f5219dfec5b)
* [26 Nov 15] Updated again for ocaml trunk current version (4.03.0).
* [23 Sep 15] Updated for ocaml trunk current version (4.03.0).
   2016-05-05 13:45:43 by Jaap Boender | Files touched by this commit (91) | Package updated
Log message:
Recursive revbump associated with ocaml update.