diff options
| author | Jacques Le Normand <rathereasy@gmail.com> | 2010-09-30 07:46:10 +0000 |
|---|---|---|
| committer | Jacques Le Normand <rathereasy@gmail.com> | 2010-09-30 07:46:10 +0000 |
| commit | 7fa09d99e375dfc906f2b22063508a33124e4ec1 (patch) | |
| tree | 01f66535ed1b058cfaa935a194ca5e7608abd628 /camlp4/Camlp4Top | |
| parent | 3d167a90ecfcae231fbf63f4ac094b994aa5314d (diff) | |
| download | ocaml-7fa09d99e375dfc906f2b22063508a33124e4ec1.tar.gz | |
type equality for objects seem to change slightly with this new unification algorithm
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10696 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4/Camlp4Top')
0 files changed, 0 insertions, 0 deletions