You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4077 Reporter:@alainfrisch Status: closed (set by @alainfrisch on 2015-12-02T17:42:52Z) Resolution: fixed Priority: normal Severity: tweak Target version: 4.03.0+dev / +beta1 Category: ~DO NOT USE (was: OCaml general) Tags: patch Related to:#4194#5933 Monitored by:@ygrek carette till @alainfrisch
Bug description
Les primitives telles que Pervasives.compare sont spécialisées suivant leur type seulement lorsqu'elles sont totalement appliquées. Le patch ci-joint permet de faire la spécialisation même en cas d'application partielle.
Par exemple, les bouts de code ci-dessous utiliseront la comparaison sur les entiers:
module I = struct type t = int let compare : t -> t -> int = compare end
let f (l : int list) = List.sort Pervasives.compare l
Original bug ID: 4077
Reporter: @alainfrisch
Status: closed (set by @alainfrisch on 2015-12-02T17:42:52Z)
Resolution: fixed
Priority: normal
Severity: tweak
Target version: 4.03.0+dev / +beta1
Category: ~DO NOT USE (was: OCaml general)
Tags: patch
Related to: #4194 #5933
Monitored by: @ygrek carette till @alainfrisch
Bug description
Les primitives telles que Pervasives.compare sont spécialisées suivant leur type seulement lorsqu'elles sont totalement appliquées. Le patch ci-joint permet de faire la spécialisation même en cas d'application partielle.
Par exemple, les bouts de code ci-dessous utiliseront la comparaison sur les entiers:
module I = struct type t = int let compare : t -> t -> int = compare end
let f (l : int list) = List.sort Pervasives.compare l
let f = compare 3
File attachments
The text was updated successfully, but these errors were encountered: