mea-culpa has quit [Remote host closed the connection]
tmtwd has quit [Ping timeout: 256 seconds]
msch has quit [Ping timeout: 250 seconds]
lambdahands has quit [Ping timeout: 250 seconds]
igoroliveira has quit [Read error: Connection reset by peer]
igoroliveira has joined #ocaml
msch has joined #ocaml
lambdahands has joined #ocaml
MrScout has joined #ocaml
xenonlight has quit [Ping timeout: 240 seconds]
Guest38 has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dsheets has quit [Ping timeout: 246 seconds]
manizzle has quit [Ping timeout: 245 seconds]
MrScout has quit [Ping timeout: 244 seconds]
<Algebr`>
When people say there is a runtime penalty to poly variants over regular variants, is that because polyvariants are done via hash_variant in the runtime rather than a plain int?
<Drup>
and the fact that they also carry their textual representaiton
jao has quit [Ping timeout: 272 seconds]
<Algebr`>
What is the point of the CAMLparam0 macro
tmtwd has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
Algebr` has quit [Ping timeout: 244 seconds]
lopex has quit [Quit: Connection closed for inactivity]
browncodes has joined #ocaml
kandu has quit [Quit: leaving]
kandu has joined #ocaml
kandu is now known as Guest13973
Guest13973 is now known as kandu
tennix has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 260 seconds]
igoroliveira has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has joined #ocaml
darkf has joined #ocaml
shinnya has quit [Ping timeout: 250 seconds]
tnguyen has quit [Quit: tnguyen]
tnguyen has joined #ocaml
tnguyen has quit [Client Quit]
tnguyen has joined #ocaml
tnguyen has quit [Client Quit]
tnguyen has joined #ocaml
tnguyen has quit [Client Quit]
tnguyen has joined #ocaml
tmtwd has quit [Ping timeout: 246 seconds]
circ-user-5bUpw has joined #ocaml
browncodes has quit [Remote host closed the connection]
SomeDamnBody has joined #ocaml
<SomeDamnBody>
so, I have a signature that I want to export, and I'm having trouble making sure the type checker doesn't blow up by forcing that the types be more specific
<SomeDamnBody>
I don't understand why it requires that the types be so, but there's nothing I can do
<SomeDamnBody>
nothing I can do -> nothing I've tried has gotten the checker to admit what I'm trying to tell it
manizzle has joined #ocaml
<SomeDamnBody>
make
<SomeDamnBody>
(oops)
kolko has joined #ocaml
browncodes has joined #ocaml
SomeDamnBody has quit [Ping timeout: 255 seconds]
<flux>
well, he's gone. but as for a reminder to others, the way to debug such issues: replace 'a in the function's type signature with t_a, where you define t_a with "type t_a"
AlexRussia_ has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
MrScout has joined #ocaml
browncodes has quit [Remote host closed the connection]
contempt has quit [Disconnected by services]
contempt has joined #ocaml
keen___________2 has quit [Read error: Connection reset by peer]
SomeDamnBody has joined #ocaml
keen___________2 has joined #ocaml
noplamodo has quit [Ping timeout: 240 seconds]
noplamodo has joined #ocaml
psy_ has quit [Quit: Leaving]
<SomeDamnBody>
actually, I've solved that problem, ha
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 244 seconds]
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
darkf__ has joined #ocaml
BhavyaM has joined #ocaml
xificurC has joined #ocaml
lambdahands has quit [Ping timeout: 244 seconds]
ggherdov has quit [Ping timeout: 245 seconds]
mcc has quit [Ping timeout: 250 seconds]
darkf_ has quit [Ping timeout: 244 seconds]
segmond has quit [Ping timeout: 244 seconds]
mcc has joined #ocaml
lambdahands has joined #ocaml
xificurC has quit [Client Quit]
segmond has joined #ocaml
SomeDamnBody has quit [Ping timeout: 252 seconds]
noplamodo has quit [Ping timeout: 240 seconds]
noplamodo has joined #ocaml
ggherdov has joined #ocaml
circ-user-5bUpw_ has joined #ocaml
circ-user-5bUpw has quit [Ping timeout: 246 seconds]
browncodes has joined #ocaml
rgrinberg1 has quit [Ping timeout: 245 seconds]
MrScout has quit [Ping timeout: 246 seconds]
darkf__ is now known as darkf
Simn has joined #ocaml
circ-user-5bUpw_ has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
Unhammer has joined #ocaml
browncodes has quit [Remote host closed the connection]
browncodes has joined #ocaml
paradoja has joined #ocaml
browncodes has quit [Ping timeout: 264 seconds]
Haudegen has quit [Ping timeout: 250 seconds]
AlexRussia_ has quit [Ping timeout: 250 seconds]
ril has joined #ocaml
AlexRussia_ has joined #ocaml
Haudegen has joined #ocaml
xificurC has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<Unhammer>
Drup, was there a change to how post_params work in eliom?
<Unhammer>
I didn't see anything about breaking changes in the changelog :-/
ollehar has joined #ocaml
paradoja has quit [Ping timeout: 245 seconds]
sh0t has joined #ocaml
ely-se has joined #ocaml
paradoja has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
ollehar has joined #ocaml
ollehar1 has quit [Ping timeout: 240 seconds]
sh0t has quit [Ping timeout: 265 seconds]
ollehar1 has joined #ocaml
sgnb has joined #ocaml
sgnb is now known as Guest53887
Guest53887 is now known as sgnb`
ollehar has quit [Ping timeout: 252 seconds]
ollehar has joined #ocaml
ollehar1 has quit [Ping timeout: 252 seconds]
ggole has joined #ocaml
rgrinberg1 has joined #ocaml
nullcatxxx_ has joined #ocaml
rgrinberg1 has quit [Ping timeout: 260 seconds]
mort___ has joined #ocaml
yomimono has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
tane has joined #ocaml
jonludlam has joined #ocaml
jonludlam has quit [Remote host closed the connection]
dsheets has joined #ocaml
ely-se has quit [Quit: leaving]
ely-se has joined #ocaml
jonludlam has joined #ocaml
paradoja has quit [Ping timeout: 246 seconds]
rgrinberg1 has joined #ocaml
rgrinberg1 has quit [Ping timeout: 240 seconds]
jonludlam has quit [Ping timeout: 246 seconds]
ollehar has joined #ocaml
slicefd has joined #ocaml
browncodes has joined #ocaml
ely-se has quit [Quit: leaving]
pyon has quit [Quit: fix config]
ely-se has joined #ocaml
pyon has joined #ocaml
_andre has joined #ocaml
AlexRussia_ has quit [Quit: WeeChat 1.3-dev]
ollehar has quit [Read error: Connection reset by peer]
ollehar1 has joined #ocaml
ollehar1 has quit [Client Quit]
browncodes has quit [Remote host closed the connection]
jonludlam has joined #ocaml
ollehar has joined #ocaml
kakadu has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ely-se has quit [Quit: leaving]
Sorella has joined #ocaml
ollehar has joined #ocaml
ollehar1 has quit [Ping timeout: 246 seconds]
Anarchos has joined #ocaml
BitPuffin|osx has joined #ocaml
BhavyaM has quit [Quit: Quit the channel]
lopex has joined #ocaml
paradoja has joined #ocaml
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
gloups has joined #ocaml
tennix has quit [Ping timeout: 244 seconds]
rgrinberg1 has joined #ocaml
<Drup>
Unhammer: I don't think so, but there may be bugs
rgrinberg1 has quit [Ping timeout: 244 seconds]
gloups has left #ocaml ["Leaving"]
gloups has joined #ocaml
gloups has quit [Quit: Leaving]
ely-se has joined #ocaml
mort___1 has joined #ocaml
Nahra has quit [Remote host closed the connection]
mort___ has quit [Ping timeout: 246 seconds]
ryanartecona has joined #ocaml
mort___1 has quit [Quit: Leaving.]
_andre has quit [Read error: Connection reset by peer]
_andre has joined #ocaml
ollehar has joined #ocaml
ely-se has quit [Quit: leaving]
ollehar1 has quit [Ping timeout: 264 seconds]
ollehar has quit [Ping timeout: 272 seconds]
ollehar has joined #ocaml
rgrinberg1 has joined #ocaml
poulpeux has joined #ocaml
ollehar1 has joined #ocaml
rgrinberg1 has quit [Ping timeout: 240 seconds]
ollehar has quit [Ping timeout: 250 seconds]
<poulpeux>
Hello! I am building a mixed ocaml/c lib. The c lib is implemented using C++ files. It is built with CMake. I am compiling it for Windows. The c_nativeorbytecomp_compiler is the same as the one used by CMake, but the ocaml custom linking phase complains about missing __Unwind_SjLj_something among others.
<poulpeux>
Is there a sjlj lib or something ? I didn't find any.
ely-se has joined #ocaml
<poulpeux>
I have already linked stdc++.
ollehar has joined #ocaml
ollehar1 has quit [Ping timeout: 265 seconds]
ollehar has quit [Ping timeout: 255 seconds]
<adrien>
mmmmmmmmmmmm
<adrien>
poulpeux: sjlj refers to a C++ exception handling mechanism
<adrien>
and you're likely using that for 32 bits
<poulpeux>
Yes
<adrien>
there's indeed such a lib in GCC
<adrien>
what are your compile steps and libs?
<adrien>
s/libs/logs/
<poulpeux>
I don't understand this last line, sorry.
<adrien>
I meant: what are your compie steps and is it possible to see logs of them
<adrien>
?
paradoja has quit [Ping timeout: 256 seconds]
<poulpeux>
There are 20 lines; may I post it here ?
<poulpeux>
There are no occurences of "sjlj" in CMakeCache.txt, if it can help.
rgrinberg1 has joined #ocaml
poulpeux has quit [Quit: Leaving]
poulpeux has joined #ocaml
johnelse_ is now known as johnelse
grouzen has quit [Ping timeout: 244 seconds]
ely-se has quit [Quit: leaving]
paradoja has joined #ocaml
tane has quit [Quit: Verlassend]
<poulpeux>
'-lflags -static-gcc' made ocamlbuild link it.
ely-se has joined #ocaml
noplamodo has quit [Ping timeout: 250 seconds]
noplamodo has joined #ocaml
Algebr has joined #ocaml
poulpeux has quit [Quit: Leaving]
Algebr has quit [Remote host closed the connection]
tane has joined #ocaml
<gpietro>
guys in wrtingin my small language i want to implement a function which takes a variable number of arguments...from 0 to...unbounded...
slicefd has quit [Quit: Leaving]
<gpietro>
how can I handle this ? in the parser i parse the name of the function and then a list of arguments...
<gpietro>
i mean i guess my question is..
<gpietro>
is there a way to have a function with a variable number of arguments in Ocaml
<gpietro>
or i should go for a list?
uris77 has joined #ocaml
<mrvn>
There is no function with variable number of arguments. Every function actually only ever takes one argument you could say.
<gpietro>
yeah
<mrvn>
You can use a list of arguments or build up a function type while parsing.
<gpietro>
i think i am gonna go for a list of arguments let's see hwo it goes...
<mrvn>
You can have "type 'a t" and construct an 'a t while parsing anf thenn call "val f : 'a t -> 'a" as "f t arg1 arg2 arg3"
<mrvn>
but making the parser that type safe is a bit hard
<gpietro>
mmm
<gpietro>
i struggle a lot with this type notations.... type 'a t you mean? a polymorphic type?
<mrvn>
gpietro: yes. where the 'a would be the function type, the number of arguments it takes
<mrvn>
e.g. (int -> int -> int) t
<gpietro>
mm i am not sure...so would I be able to handle situations like
<gpietro>
c(1)
<gpietro>
c(1,2)
<gpietro>
c(1,2,3,4)
<gpietro>
this is what i am trying to do
<mrvn>
gpietro: oh, no that.
<gpietro>
oh sorry that's what i mean with variable number of aguments
<Drup>
gpietro: it's inside your language on inside ocaml ?
<mrvn>
(1,2) is a 2-tuple. You can't make tuples variable sized.
<gpietro>
Drup this function is a built in function in my language
<gpietro>
which i am implementing in ocaml
<mrvn>
gpietro: you wan't c(arg1, arg2, ...)?
<gpietro>
yep
<mrvn>
unlimited
<Drup>
Take a list, implement tuple the way you want in your ast
<gpietro>
yeah possibnly
<Drup>
no need for complicated typing for that
<mrvn>
The above only works for a limited number of args. For unlimited you need a list or array.
<gpietro>
i am laready using arrays...how would u go and implement that mrvn?
<gpietro>
not asking for details
<gpietro>
only for an idea...
<mrvn>
you parse "c(1,2,3)" into Apply (BuiltIn "c") ([|1,2,3|])
nullcatxxx_ has quit [Read error: Connection reset by peer]
nullcatxxx_ has joined #ocaml
sqweek has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MrScout has joined #ocaml
grouzen has joined #ocaml
nullcatxxx_ has joined #ocaml
_andre has quit [Ping timeout: 245 seconds]
psy_ has quit [Ping timeout: 250 seconds]
Algebr` has joined #ocaml
<Khady>
Hi. I'm using ocamlbuild and I'd like to add a tag package(a, b, c) when a tag foo is present. Is it possible?
<Algebr`>
I'm writing C bindings and the library works fine on OSX, everything installs correctly but on debian I get a runtime error of cannot open shared object, no such file etc, etc. the oasis file for the library does include install:true
uris77_ has joined #ocaml
uris77 has quit [Ping timeout: 250 seconds]
<Algebr`>
Okay, I try doing a #require from a utop session and it complains that a .so doesn't exist but I just checked and the .so is indeed there.
MrScout has quit [Ping timeout: 246 seconds]
paradoja has quit [Ping timeout: 244 seconds]
rgrinberg1 has quit [Ping timeout: 245 seconds]
adrien_znc has quit [Ping timeout: 250 seconds]
adrien_znc has joined #ocaml
<Algebr`>
Okay I realize this issue has to do with this ocamlfind: [WARNING] You have installed DLLs but the directory ... but I would have thought that opam/_oasis would abstract this away
rgrinberg1 has joined #ocaml
ely-se has quit [Quit: leaving]
<Khady>
flag ["my-tag"] (S[T Tags.(empty ++ "package(ppx_blob)")]);
<Khady>
is it supposed to add the tag "package(ppx_blob)" when "my-tag" is present?
grouzen has quit [Ping timeout: 264 seconds]
zpe has quit [Remote host closed the connection]
adrien has quit [Ping timeout: 246 seconds]
<gpietro>
what does usually "Circular build detected" mean?
<dsheets>
gpietro, there is a cycle in your module reference graph
<gpietro>
so like f calls g and g calls f ?without the and keyword?
<dsheets>
gpietro, no, at the module level so a.ml talks about B.foo and b.ml talks about A.bar
<gpietro>
or more like open A in B and open B in A
<gpietro>
?
<dsheets>
yes, open A in B and open B in A
<gpietro>
mmm yeah i have that...
_andre has joined #ocaml
<gpietro>
thanks dsheets
shinnya has joined #ocaml
<gpietro>
can I do pattern matching inside a record?
<dsheets>
gpietro, in a record pattern, yes
<mrvn>
you always do it inside a record
<gpietro>
something like match v with {name1=v1; name2=v2} -> f(v1, v2)
<gpietro>
mmm maybe i meant
<gpietro>
match v with {v1; v2} -> f(v1, v2)
<dsheets>
gpietro, let { name1; name2 = lazy name2 } in f name1 name2
<gpietro>
what's that lazy?
<dsheets>
oops s/ in/ = v in/
<dsheets>
just showing you can destruct more in a pattern context (e.g. force a lazy value)
<mrvn>
a match with only one case is usualy written as let
<dsheets>
ignore it
Algebr` has quit [Ping timeout: 245 seconds]
<gpietro>
yeah mrvn...the more i write in ocaml the more i find out the code i have written is obscene...
<mrvn>
let { name1; name2 = Foo bla } = v in f name1 name2
<dsheets>
let { x; y={ a } } = r in x + a
<dsheets>
but Foo bla is bad if Foo is not a singleton constructor because this can then through a pattern match failure exception
<dsheets>
s/through/throw/
adrien has joined #ocaml
<mrvn>
Or: match v with { name1; name2 = Foo bla } -> f name1 bla | { name1; name2 = Blub blubber } -> f2 name1 blubber
aftershave has joined #ocaml
uris77_ has quit [Ping timeout: 250 seconds]
uris77 has joined #ocaml
sqweek has quit [Ping timeout: 255 seconds]
sqweek has joined #ocaml
martintrojer has quit [Ping timeout: 265 seconds]
martintrojer has joined #ocaml
tmtwd has joined #ocaml
mort___ has quit [Ping timeout: 246 seconds]
manizzle has quit [Ping timeout: 244 seconds]
jwatzman|work has joined #ocaml
tennix has quit [Ping timeout: 240 seconds]
tennix has joined #ocaml
tennix has joined #ocaml
yomimono has quit [Ping timeout: 245 seconds]
ingsoc has joined #ocaml
Guest38 has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
tennix has joined #ocaml
Algebr` has joined #ocaml
MrScout has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
tmtwd has quit [Ping timeout: 260 seconds]
tennix has joined #ocaml
tennix has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tennix has quit [Ping timeout: 244 seconds]
ggole has quit [Ping timeout: 244 seconds]
manizzle has joined #ocaml
uris77 has quit [Ping timeout: 250 seconds]
nullcatxxx_ has joined #ocaml
uris77 has joined #ocaml
ygrek has joined #ocaml
slash^ has joined #ocaml
sh0t has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
uris77 has quit [Ping timeout: 246 seconds]
<Algebr`>
Do the caml/*.h macros include something that sanitizes a C String to a ml string, give a me string up to the \0
uris77 has joined #ocaml
jonludlam has quit [Ping timeout: 240 seconds]
<adrien>
Algebr`: strlen? :P
<adrien>
Algebr`: but I think so, yeah
<adrien>
iirc there are two macros, one with a length argument and one without
<adrien>
but it's been some time
ingsoc has quit [Quit: Leaving.]
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
cball has joined #ocaml
MrScout has quit [Client Quit]
MrScout has joined #ocaml
ncthom91 has joined #ocaml
ollehar has joined #ocaml
tmtwd has joined #ocaml
jwatzman2 has joined #ocaml
jwatzman|work has quit [Disconnected by services]
jwatzman2 is now known as jwatzman|work
jwatzman|work has quit [Changing host]
jwatzman|work has joined #ocaml
MrScout_ has joined #ocaml
orbitz_ has joined #ocaml
<tane>
Algebr`, do you want to make a caml string of a c string?
orbitz has quit [Read error: Connection reset by peer]
msch has quit [Ping timeout: 244 seconds]
jeroud has quit [Ping timeout: 244 seconds]
MrScout has quit [Ping timeout: 244 seconds]
rgrinberg1 has quit [Ping timeout: 264 seconds]
ollehar1 has joined #ocaml
jeroud has joined #ocaml
msch has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
<Algebr`>
yes
<tane>
if so look at caml/alloc.h (caml_alloc_string) and caml/compatibility.h (string_alloc)
<Algebr`>
right now I'm just doing a string.sub on the ml side but that seems crappy.
<MercurialAlchemi>
every tried to combine it with inotify or fswatch?
ollehar has quit [Read error: Connection reset by peer]
<tane>
nope
ollehar has joined #ocaml
<MercurialAlchemi>
it's pretty nice
<MercurialAlchemi>
you tell inotify to watch some directories and to trigger make when files get written
tmtwd has joined #ocaml
<MercurialAlchemi>
now I just miss a debugger and a profiler
rgrinberg1 has joined #ocaml
ollehar has quit [Ping timeout: 265 seconds]
tmtwd has quit [Ping timeout: 264 seconds]
jonludlam has joined #ocaml
dsheets has joined #ocaml
<mrvn>
MercurialAlchemi: that's what "make continious" does
<mrvn>
(here)
enquora has joined #ocaml
tmtwd has joined #ocaml
psy_ has joined #ocaml
<MercurialAlchemi>
mrvn: what's that?
<nullcatxxx_>
sometimes i don't need to manually `make` and merlin can tell me the updated type information...
<nullcatxxx_>
i just save the file and merlin can check again
tennix has joined #ocaml
<MercurialAlchemi>
nullcatxxx_: the problem is changing file A and wanting changes in file B
<nullcatxxx_>
oh i see
<nullcatxxx_>
yeah that will be nice
<mrvn>
MercurialAlchemi: it runs inotify on all source dirs and runs make after every write
mort___ has joined #ocaml
<MercurialAlchemi>
mrvn: interesting
<MercurialAlchemi>
how do you get that?
<MercurialAlchemi>
because my Makefile is oasis-powered
tennix has quit [Ping timeout: 265 seconds]
<mrvn>
manual makefile. Haven't looked into doing this for oasis.
<nullcatxxx_>
ah... i didn't observe that
<nullcatxxx_>
interesting
<mrvn>
but it would be a cool feature for oasis or myocamlbuild
<mrvn>
myocamlbuild knows all the dependencies so it would be much faster to rebuild if it used inotify itself
<nullcatxxx_>
sometimes i write code that type checks but does not compile. merlin does not complain on such code
<nullcatxxx_>
which i guess it does not run `make` beforehand
ollehar has joined #ocaml
<MercurialAlchemi>
it would be pretty cool to have that built-in, indeed
<zozozo>
nullcatxxx_: I'm curious: what kind of code type-checks but does not compile ?
<nullcatxxx_>
code that is not statically constructive. they will be checked by some file under byterun/
tmtwd has quit [Ping timeout: 245 seconds]
<nullcatxxx_>
merlin will not complain but ocamlc will complain
<nullcatxxx_>
seems to me merlin stops at typing/
<nullcatxxx_>
it doesn't go further to byterun/
<zozozo>
makes sense
<nullcatxxx_>
The reason this check is deferred to byterun/ is that
<nullcatxxx_>
it's easier to check lambda expression than to check a complicated typed tree..
tmtwd has joined #ocaml
<nullcatxxx_>
i remember compiler only takes almost 100 lines of code to check that...
tmtwd has quit [Max SendQ exceeded]
<nullcatxxx_>
not that simple if you do it in typing/
tmtwd has joined #ocaml
<nullcatxxx_>
of course, here "type-check" means passing checks by files under typing/
claudiuc_ has quit [Ping timeout: 246 seconds]
enquora has quit [Remote host closed the connection]
<nullcatxxx_>
and checking your code is actually strict (not lazy like haskell) is indeed not some job by typing/ . it's reasonable to put those tasks in byterun/
kakadu has joined #ocaml
Guest38 has quit [Read error: Connection reset by peer]
raboof has left #ocaml [#ocaml]
slash^ has quit [Read error: Connection reset by peer]
<nullcatxxx_>
s/byterun/bytecomp/
psy_ has quit [Quit: Leaving]
tmtwd has quit [Ping timeout: 252 seconds]
tmtwd has joined #ocaml
claudiuc has joined #ocaml
mort___ has quit [Quit: Leaving.]
MrScout has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 244 seconds]
mort___ has joined #ocaml
MrScout_ has quit [Ping timeout: 246 seconds]
MrScout has quit [Ping timeout: 246 seconds]
Guest38 has joined #ocaml
_andre has quit [Quit: leaving]
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
MercurialAlchemi has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
ollehar1 has quit [Ping timeout: 240 seconds]
ollehar has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
MrScout has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
tmtwd has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
MrScout has quit [Remote host closed the connection]
tmtwd has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Anarchos has joined #ocaml
MrScout has joined #ocaml
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
DanielRichman has quit [Remote host closed the connection]
DanielRichman has joined #ocaml
moei has quit [Quit: Leaving...]
thizanne has quit [Ping timeout: 264 seconds]
tmtwd has quit [Ping timeout: 272 seconds]
tennix has joined #ocaml
tennix has joined #ocaml
martintrojer has quit [Read error: Connection reset by peer]
rgrinberg1 has quit [Ping timeout: 240 seconds]
moei has joined #ocaml
martintrojer has joined #ocaml
tennix has quit [Ping timeout: 240 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
tmtwd has joined #ocaml
tennix has joined #ocaml
sh0t has quit [Ping timeout: 265 seconds]
tane has quit [Quit: Verlassend]
tennix has quit [Ping timeout: 272 seconds]
rand000 has joined #ocaml
dsheets has joined #ocaml
<ollehar>
can partial application be made explicit?
<ollehar>
it keeps biting me when I forget an argument.
<dsheets>
ollehar, warning 5 to error
<dsheets>
man ocamlc
<ollehar>
thanks
<dsheets>
5 Partially applied function: expression whose result has function type and is ignored.
<ollehar>
dsheets: does not work for ocamlopt?
<ollehar>
nm
tmtwd has quit [Ping timeout: 246 seconds]
<ollehar>
well crap. this warning won't help me since I don't want the return value of the function (llvalue from llvm).
<ollehar>
and when the return value is ignored, this warning doesn't seem to be triggered.
<ollehar>
ah wait
<ollehar>
ignore() trigger warning, but not let _
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
jwatzman|work has joined #ocaml
<mrvn>
just write "let () = ..."
<ollehar>
mrvn: really? huh.
<ollehar>
thought it was the same, _ and ()
rgrinberg1 has joined #ocaml
sh0t has joined #ocaml
rgrinberg1 has quit [Ping timeout: 250 seconds]
rgrinberg1 has joined #ocaml
sh0t has quit [Ping timeout: 246 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
xificurC has quit [Ping timeout: 255 seconds]
<smondet>
ollehar: _ is like "ignore", let () = is (match ... with () -> ...)
uris77 has quit [Ping timeout: 250 seconds]
<smondet>
so it force the type-checking against unit
<smondet>
(#BestPractices)
<smondet>
and if for some reason your expression is not unit and you still want to ignore it use `let (_ : the_type) = ....`
MrScout has quit [Remote host closed the connection]
uris77 has joined #ocaml
kakadu has quit [Remote host closed the connection]
MrScout has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout_ has joined #ocaml
uris77 has quit [Quit: leaving]
<schoppenhauer>
is there a way to track when an object is referenced and released (similar to C++ RAII)? I mean fine-grained, when the stack-frame is entered and left, etc. (not finalizers).
<schoppenhauer>
and when something else gets a reference