delta/ocaml.git, branch constructors_with_record

Comment about doing something special with mutable fields.

2012-03-13T17:18:20+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12233 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Mark constructors with mutable fields as mutable (e.g. -> they are considered as expansive).

2012-03-13T17:17:14+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12232 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Very rough implementation to allow writing 'C r' when C is a record constructor and r is an identifier; this is translated syntactically to C {xi=r.xi} without any constraint on the type of r (as for overidding, currently). #5528.

2012-03-12T18:02:41+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12223 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Allow binding the inline record with an 'as' pattern.

2012-03-12T17:58:25+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12222 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Revert bad commit.

2012-03-12T17:43:37+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12220 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Allow overriding: (A {r with ...}), with a permissive rewriting (missing fields are replaced syntactially with 'x = r.x', with the only constraint that r is an identifier.

2012-03-12T17:42:58+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12219 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Adapt browser.

2012-03-08T19:38:21+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12209 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Support binding the record argument to a constructor as a pseudo variable (currently, this variable can only be used for field access or mutation).

2012-03-08T19:34:52+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12208 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Turn pattern variables into a record type to facilitate extension.

2012-03-08T18:12:00+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12207 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

First commit.

2012-03-08T16:21:31+00:00

GADTs are supported.

Current limitations:
 - Fields cannot be polymorphic.
 - Fields can be declared mutable, but this is currently no way to mutate them.
 - Similarly, field overidding is not supported.
 - Camlp4 has not been updated.




git-svn-id: http://caml.inria.fr/svn/ocaml/branches/constructors_with_record@12206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02