Jacques Garrigue
|
9dc661c3bf
|
merge branches/gadts
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11160 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2011-07-29 10:32:43 +00:00 |
Damien Doligez
|
3b507dd1aa
|
renaming of Objective Caml to OCaml and cleanup of copyright headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2011-07-27 14:17:02 +00:00 |
Jacques Le Normand
|
3ec9bc692b
|
complete_constrs in parmatch.ml now works with gadts. Reverted changes to 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-16 06:01:59 +00:00 |
|
Jacques Le Normand
|
1680403fb9
|
clean up
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10784 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-10 06:01:27 +00:00 |
|
Jacques Le Normand
|
36734b7536
|
cleaned up parmatch.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10773 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 09:58:09 +00:00 |
|
Jacques Le Normand
|
ff78b8ee75
|
exhaustiveness check has been _completely_ rewritten
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10764 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-11-08 07:34:09 +00:00 |
|
Jacques Le Normand
|
7120d35ede
|
exhaustiveness check is working. An algorithm te check compatibility has been implemented for use during unification. For example, int is incompatible with bool and (int,bool) is incompatible with (int,int)
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10719 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-16 06:09:25 +00:00 |
|
Jacques Le Normand
|
ffc7d7ccec
|
first implementation of gadt friendly pattern exhaustiveness check. It is incomplete and untested. Also, some types are now incompatible
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10707 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-10-07 07:12:50 +00:00 |
|
Jacques Le Normand
|
56624533fb
|
switched to abstract types, still needs work on exhaustion type. the code needs to be cleaned up. printfs need to be removed
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/gadts@10682 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2010-09-19 04:55:40 +00:00 |
Michel Mauny
|
6ba024a12e
|
Add lazy patterns.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8906 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2008-07-09 13:03:38 +00:00 |
|
Michel Mauny
|
6373550a1e
|
Stop multi-parameter optimization when the pattern is refutable. Now, ((fun true -> fun x -> x) false) correctly fails.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8890 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2008-06-16 09:08:55 +00:00 |
Luc Maranget
|
d945bc62f4
|
Match compiler : prune context for all mutable fields
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6809 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2005-03-11 10:12:05 +00:00 |
|
Jacques Garrigue
|
dd73e90e9e
|
cleanup after export of Parmatch.pressure_variants
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5781 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2003-08-18 08:26:18 +00:00 |
|
Luc Maranget
|
842eb76ef7
|
Nouveaux warning dans les or-pats
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4830 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2002-05-24 14:34:37 +00:00 |
|
Luc Maranget
|
eb7578b8db
|
optimsation pm a donf
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3427 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2001-02-19 20:27:52 +00:00 |
|
Luc Maranget
|
e8ea52a66a
|
new or-pat compilation + exhaustiveness used in compilation
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
2000-08-11 19:58:52 +00:00 |
|
Jacques Garrigue
|
296fc05470
|
Merge olabl branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2651 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
1999-11-30 16:07:38 +00:00 |
Xavier Leroy
|
cc0f32b054
|
Changement de la licence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
1999-11-17 18:59:06 +00:00 |
|
Xavier Leroy
|
2301d778e7
|
Renommage en Objective Caml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@782 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
1996-04-30 14:53:58 +00:00 |
|
Xavier Leroy
|
e4066357b1
|
Ajout des notices de copyright
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@195 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
1995-08-09 15:06:35 +00:00 |
|
Xavier Leroy
|
61bd8ace6b
|
Passage a la version bootstrappee (franchissement du Rubicon)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
|
1995-05-04 10:15:53 +00:00 |