New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Pattern-matching #3255
Comments
Comment author: administrator
Compte tenu de ce que je sais de la compilation du PM, je pourrais Mais je pre'fe`re ne pas la faire afin de me laisser dans la te^te --Luc |
Comment author: administrator Jacques Garrigue wrote:
En fait, je pensais plus à ce type de construction qui permettrait à Par ailleurs, je vois qu'on peut dérouter l'intuition encore plus :
let f (_ :: l | l | _ :: _ :: l) = l;;val f : 'a list -> 'a list = f [1;2;3];;
C'est le genre de construction qu'on ne fait pas apprendre à nos -- Nicolas |
Comment author: administrator From: Nicolas barnier barnier@recherche.enac.fr
Ce n'est pas du meme ordre qu'on parle: dans un cas il s'agit de Je crois que Luc est d'accord que ca devra etre arrange' un jour, mais
|
Comment author: administrator Apparemment corige' par Luc depuis un certain temps. |
Original bug ID: 991
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Ca a peut-etre ete' deja` rapporte', mais ca surprend toujours:
let f (_ :: l | l) = l;;
val f : 'a list -> 'a list =
f [1;2;3];;
Si c'est trop dur a compiler selon l'intuition, il me semble qu'il
faudrait au moins un warning.
The text was updated successfully, but these errors were encountered: