Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004077OCamlOCaml generalpublic2006-08-04 21:432014-09-04 00:25
Reporterfrisch 
Assigned To 
PrioritynormalSeveritytweakReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionundecidedFixed in Version 
Summary0004077: Specialisation des primitives
DescriptionLes 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


Tagspatch
Attached Files? file icon diff_spec [^] (3,385 bytes) 2006-08-04 21:43 [Show Content]

- Relationships
related to 0005933resolvedgasche Linking is slow when there are functions with large arities 
related to 0004194closedxleroy compare functions in stdlib not specialized 

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2006-08-04 21:43 frisch New Issue
2006-08-04 21:43 frisch File Added: diff_spec
2006-08-29 16:44 doligez Assigned To => xleroy
2006-08-29 16:44 doligez Status new => acknowledged
2011-05-16 16:59 doligez Relationship added related to 0004194
2012-09-06 16:43 doligez Target Version => 4.00.1+dev
2012-09-11 16:48 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-07-02 16:28 doligez Assigned To xleroy =>
2013-07-02 16:28 doligez Target Version 4.00.2+dev => 4.01.0+dev
2013-07-24 12:05 doligez Target Version 4.01.0+dev => 4.01.1+dev
2013-09-03 17:20 doligez Tag Attached: patch
2013-09-03 17:20 doligez Relationship added related to 0005933
2014-05-25 20:20 doligez Target Version 4.01.1+dev => 4.02.0+dev
2014-07-16 20:55 doligez Target Version 4.02.0+dev => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker