delta/ocaml.git/typing/env.ml, branch hidden_args github.com: ocaml/ocaml add hidden arguments to type constructors 2001-05-14T10:38:43+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 2001-05-14T10:38:43+00:00 1098b81c05cce7a3ed4fd314d549de472ae0bfe8 git-svn-id: http://caml.inria.fr/svn/ocaml/branches/hidden_args@3510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/hidden_args@3510 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Amelioration du message d'erreur 'inconsistent assumptions' 2000-04-10T14:59:00+00:00 Xavier Leroy xavier.leroy@inria.fr 2000-04-10T14:59:00+00:00 10ceb26643238f44ad052e0afb36e8ef4c5b2012 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3050 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Ajout de crc_of_unit 2000-03-26T15:49:08+00:00 Xavier Leroy xavier.leroy@inria.fr 2000-03-26T15:49:08+00:00 2300f8148cec0aeb2fc825694b92529b0cd36efe git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2992 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Revu la gestion des records de flottants 2000-03-21T14:43:25+00:00 Xavier Leroy xavier.leroy@inria.fr 2000-03-21T14:43:25+00:00 7dfe9784b74fd0e7d84b223703ebbfa867e2347c git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2978 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Effacer le .cmi si exception pendant son ecriture 2000-03-16T15:09:39+00:00 Xavier Leroy xavier.leroy@inria.fr 2000-03-16T15:09:39+00:00 c96be2df9c21429d1ca91bead1e4c416f72b154c git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2963 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2963 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Correction d'un bug dans les foncteurs applicatifs (chemins de la forme X.F(A).t) (PR#51) 2000-03-09T16:06:20+00:00 Xavier Leroy xavier.leroy@inria.fr 2000-03-09T16:06:20+00:00 ff3a4e5100d398eb9a5521d9f890333ef9189601 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2931 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Revu les impressions du compilateur 2000-03-06T22:12:09+00:00 Pierre Weis Pierre.Weis@inria.fr 2000-03-06T22:12:09+00:00 b96208b7a247cbb6d9d162fbfaf54448af33589c git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2908 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Correction bug dans la determination des representations de records (e.g. {lbl=t} avec type t = float) 2000-02-05T12:11:34+00:00 Xavier Leroy xavier.leroy@inria.fr 2000-02-05T12:11:34+00:00 9f30fff453678c6c08b8ecced26ac1347a23dbda git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2788 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Merge olabl branch 1999-11-30T16:07:38+00:00 Jacques Garrigue garrigue at math.nagoya-u.ac.jp 1999-11-30T16:07:38+00:00 296fc0547052da47bf0e983cab1ce173fa1e8882 git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Changement de la licence 1999-11-17T18:59:06+00:00 Xavier Leroy xavier.leroy@inria.fr 1999-11-17T18:59:06+00:00 cc0f32b05439bb7018e8ad62a54d6371b01aab9f git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02