gl changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | happy new year, dudes.
pango has quit [Remote closed the connection]
pango has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
smimou has quit ["bli"]
stevan_ has joined #ocaml
jeberle has joined #ocaml
Submarine has quit ["Leaving"]
jeberle has quit ["leaving"]
slipstream-- has joined #ocaml
Smerdyakov has quit ["Leaving"]
johnnowak has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
<ulfdoz> # let pos = {(make_annotation ()) with delims = [Whitespace " "] };;
<ulfdoz> Warning X: this record is defined by a `with' expression,
<ulfdoz> but no fields are borrowed from the original.
<ulfdoz> val pos : annotation = {delims = [Whitespace " "]}
<ulfdoz> What's the problem, that it warns me?
<flux-> IMO it's superfluous
<flux-> it simply say that the 'with' -statement has no effect other than saying just { delims = [Whitespace " "] }, except for the side-effects make_annotation has
<flux-> because the annotation gets no fields from make_annotation
<ulfdoz> Actually, make_annotation is a helper function to create a default value of the record-type annotation, the reduce changes in code, when additional fields are added to the annotation type.
<flux-> but for future field expansions the with-statement makes sense
<flux-> yes. simply remove the warning :)
<flux-> hopefully the warning (X) doesn't exclude any other nice warnings, though..
<flux-> or, you could just remove (comment) the with-statement
<flux-> if you add fields later, the compiler will surely remind you to uncomment :)
<ulfdoz> hrhr, I could add a dummy field to get him quiet. ;)
<flux-> ulfdoz, yes, do that, and better yet, make it of some type only make_annotation can construct, to make sure make_annotation will be called always :)
<ulfdoz> Sounds reasonable.
<flux-> (you would need a separate module for that, though)
<flux-> nice, -23 degrees celcius out here..
<flux-> and they promise -30 for the next night
<ulfdoz> We even didn't have anything I'd call winter, here (germany). A single week with snow, that's all.
johnnowak has quit []
chi11 has joined #ocaml
pango is now known as pangoafk
seoushi has joined #ocaml
pants1 has joined #ocaml
pmatos has joined #ocaml
<oscarh> OcamlMakefile gives me an error when building profiling byte code with threads, but if I force it to compile the code and run the profiling, it seems to work just fine
<oscarh> Is OcamlMakefile just not updated? Or should i not run the profiler on threaded byte code?
<flux-> good question, no idea. if you find out, please share :)
<oscarh> Yeah, looking at bundilng coverage-analysis with OUnit, at least for our own project, but of course we would share it if we hacked OUnit
bluestorm has joined #ocaml
<oscarh> The native profiling results are not that easy to use for code-coverage analysis
bluestorm has quit [Remote closed the connection]
bluestorm has joined #ocaml
bluestorm has quit [Remote closed the connection]
Smergo has joined #ocaml
bluestorm has joined #ocaml
mauke has joined #ocaml
delamon has quit [Remote closed the connection]
delamon has joined #ocaml
mauke has quit ["FEED ME"]
delamon has quit [Remote closed the connection]
delamon has joined #ocaml
brainly-green has joined #ocaml
descender has quit [Read error: 110 (Connection timed out)]
|iZZy| has joined #ocaml
piggybox has quit [Connection timed out]
piggybox has joined #ocaml
ikaros has quit [Read error: 110 (Connection timed out)]
|iZZy| has quit ["KVIrc 3.2.6 Anomalies http://www.kvirc.net/"]
ikaros has joined #ocaml
descender has joined #ocaml
joshcryer has quit [Read error: 110 (Connection timed out)]
bluestorm has quit ["Konversation terminated!"]
velco has joined #ocaml
bluestorm has joined #ocaml
bluestorm has quit [Remote closed the connection]
buluca has joined #ocaml
piggybox has quit [Connection timed out]
Smerdyakov has joined #ocaml
brainly-green has quit [Connection timed out]
_jol_ has joined #ocaml
<_jol_> hello
<haelix> hello _jol_
<_jol_> i'd like to write a custom printf, however i've problems with 'a format types
<_jol_> could anybody help me ?
<haelix> a very basic problem: I don't have ksprintf in my Printf module
<haelix> is it a late addition to the library ?
<_jol_> no idea, i'm running ocaml 3.09.3
<Smerdyakov> _jol_, read about the value restriction. Your problem has nothing to do with format types in particular.
_jol__ has joined #ocaml
<_jol__> i know that _a will be restricted to the first known type when i use the function. my question is : why does my custom_printf function isn't as polymorphic as Printf.ksprintf ?
<Smerdyakov> _jol_, read about the value restriction.... or are you saying that you tried and couldn't find the info, or maybe your connection was lost and you didn't see my suggestion?
<_jol__> Smerdyakov: i've seen your suggestion :-) i'll try to find the info by myself. thanks anyway.
<Smerdyakov> I don't know why I get a "thanks anyway." If you find a description of the value restriction, then I've given the best and most direct advice possible.
_jol_ has quit [Read error: 110 (Connection timed out)]
_jol__ has quit ["leaving"]
buluca has quit ["Leaving."]
as has joined #ocaml
as has quit [Read error: 104 (Connection reset by peer)]
smimou has joined #ocaml
Submarine has joined #ocaml
velco has quit ["Ex-Chat"]
pants1 has quit [Read error: 110 (Connection timed out)]
Smergo has quit [Read error: 110 (Connection timed out)]
Smergo has joined #ocaml
pangoafk is now known as pango
pango has quit [Remote closed the connection]
bluestorm has joined #ocaml
benny_ has joined #ocaml
benny has quit [Read error: 110 (Connection timed out)]
pmatos has quit [Remote closed the connection]
Submarine has quit [Read error: 110 (Connection timed out)]
bohanlon has joined #ocaml
bohanlon has quit ["leaving"]
bohanlon has joined #ocaml
pango has joined #ocaml
chi11 has quit ["I'm outta here ..."]
ikaros has quit ["KVIrc 3.2.6 Anomalies http://www.kvirc.net/"]
ikaros has joined #ocaml
smimou has quit [Remote closed the connection]
bluestorm has quit ["Konversation terminated!"]
Mr_Awesome has joined #ocaml
brainly-green has joined #ocaml
smimou has joined #ocaml
smimou has quit ["bli"]