summaryrefslogtreecommitdiffstats
path: root/camlp4
AgeCommit message (Collapse)Author
2011-12-20Avoid creating malformed location in Camlp4 when no token is consumedJérémie Dimino
When no token was consumed, Camlp4 created a location with start-pos > stop-pos. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11902 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16#5358: update the Camlp4 ast translator to support constraints on types in ↵Jérémie Dimino
sub-modules in package types. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11322 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16Fix printing of GADTs by Camlp4 with original syntaxJérémie Dimino
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-16#5358: update Camlp4 to support constraints on types in sub-modules in ↵Jérémie Dimino
package types. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11320 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-12-14#5358: package types allow constraints on typed in sub-modules. Camlp4 ↵Alain Frisch
compiles but does not support this new feature yet. git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11311 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-08-11Removed some spurious references to 'Linenum' (the latter one preventing the ↵Xavier Clerc
build of camlp4). git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11171 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-20uniform .ignore systemDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11133 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-07-20Minor fix in display of float values in errors messages (camlp4)Xavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11124 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-07-12PR#5301: camlp4r and exception equal to another one with parametersXavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11121 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2011-06-27PR#5301: camlp4r and of exception equal to another one with parametersXavier Clerc
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11103 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-22camlp4 -> caml ast transformations doneJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10841 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-19Camlp4 finally works. This is probably not the most elegant implementationJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10836 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-19undid all changes to camlp4Jacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10831 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-19cancel commit in wrong branchJacques Garrigue
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-11-19removed all changes to camlp4Jacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10829 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-12bootstrapped camlp4 gadts extensionJacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10798 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-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-01camlp4 now updated, but completely untested. I reverted camlp4 back to ↵Jacques Le Normand
revision 10660 and then changed it from there git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10697 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-09-22fixed several bugs, bootstrap finally works!Jacques Le Normand
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10686 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-21PR#5055: head -1 doesn't workDamien Doligez
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10448 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-19camlp4: bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10439 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19camlp4: add support for fun (type t) ...Nicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10438 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19camlp4: Add support for firstclass modulesNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10430 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-19camlp4: bootstrap first class modulesNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10428 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17camlp4: support polymorphic recursion and bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10410 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17camlp4: bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10405 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17camlp4: initial support for polymorphic recursionNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10404 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17camlp4: bootstrapping part of last commitNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10401 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17camlp4: add support for "type :=" and "module :="Nicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10400 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-17Remove an old camlp4 makefileNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10399 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-12camlp4: add support for let-open-inNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10395 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11camlp4: bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10392 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11camlp4: record punning in expressions as wellNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10391 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11camlp4: bootstrapNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10390 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11camlp4: add support for record punningNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10389 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11Merge remote branch 'ocaml-git/buildsys' into trunkNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10388 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-05-11Merge remote branch 'ocaml-git/buildsys' into trunkNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10387 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
2010-04-22camlp4: Remove old build filesNicolas Pouillard
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10294 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