Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006297OCamlOCaml standard librarypublic2014-01-18 12:382014-07-16 15:05
Reporterhhugo 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusfeedbackResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0006297: new function in Printf : kksprintf
Descriptionlet kksprintf : ((('b,unit,string,'a) format4 -> string) -> 'a) -> ('b,unit,string,'a) format4 -> 'b = fun f fmt -> ...

a usecase is for it: implement i18n features
let i18n fmt = kksprintf (fun callwith -> match get_traduction fmt with None -> "<untranslated>" | Some fmt' -> callwith fmt') fmt

I don't have a strong opinion on the naming.
could this make its way into trunk (after http://caml.inria.fr/mantis/view.php?id=6017 [^]) ? is there a 'safe' way to implement it otherwise ?
TagsNo tags attached.
Attached Files

- Relationships
related to 0006017resolvedgasche A new format implementation based on GADTs 

-  Notes
(0011409)
dbuenzli (reporter)
2014-05-08 22:21

I'm not sure how this really helps for i18n. What you really want is positional specifiers but it seems that they are not part of the feature set see 0004204.
(0011845)
doligez (administrator)
2014-07-16 15:05

Just by reading the type, I don't know what this function is supposed to do.

- Issue History
Date Modified Username Field Change
2014-01-18 12:38 hhugo New Issue
2014-02-19 17:31 doligez Relationship added related to 0006017
2014-05-08 22:21 dbuenzli Note Added: 0011409
2014-07-16 15:05 doligez Note Added: 0011845
2014-07-16 15:05 doligez Status new => feedback


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker