Source

ocaml / typing / parmatch.mli

Author Commit Message Labels Comments Date
garrigue
Fix PR#5758
garrigue
keep the text width to 80 columns
lefessan
merge with branch bin-annot
garrigue
merge branches/gadts
doligez
renaming of Objective Caml to OCaml and cleanup of copyright headers
mauny
Add lazy patterns.
mauny
Stop multi-parameter optimization when the pattern is refutable. Now, ((fun true -> fun x -> x) false) correctly fails.
maranget
Match compiler : prune context for all mutable fields
garrigue
cleanup after export of Parmatch.pressure_variants
maranget
Nouveaux warning dans les or-pats
maranget
optimsation pm a donf
maranget
new or-pat compilation + exhaustiveness used in compilation
garrigue
Merge olabl branch
xleroy
Changement de la licence
xleroy
Renommage en Objective Caml
xleroy
Ajout des notices de copyright
xleroy
Passage a la version bootstrappee (franchissement du Rubicon)