adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
jwatzman|work has quit [Quit: jwatzman|work]
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 ?
tennix has joined #ocaml
<ysangkok> lol please dont
<poulpeux> Ok, here it is: https://bpaste.net/show/b163243faffa
<poulpeux> The src/tarotv_protocol.ml refers to the c external libraries defined in the tarotv-protocols static library.
<poulpeux> The src/ex/main.ml is a simple exec that use the lib.
mort___ has joined #ocaml
<Unhammer> Drup, maybe a bug though; should I report that? ( https://gist.github.com/unhammer/d591195e1606cb2b2220 that is)
<Drup> yes
ryanartecona has quit [Ping timeout: 246 seconds]
<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.
<tane> Byte is defined in caml/mlvalues.h
<Algebr`> excellent, thank you
ollehar1 has quit [Ping timeout: 260 seconds]
ollehar has joined #ocaml
<tane> C programming is just great :)
kakadu has quit [Quit: Page closed]
tmtwd has quit [Ping timeout: 252 seconds]
dsheets has quit [Ping timeout: 250 seconds]
darkf has quit [Quit: Leaving]
<MercurialAlchemi> How many here use merlin?
<tane> i do :)
<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]
psy_ has joined #ocaml
ollehar has joined #ocaml
ncthom91 has quit [Quit: Textual IRC Client: www.textualapp.com]
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
Guest38 has quit [Quit: Textual IRC Client: www.textualapp.com]
Guest38 has joined #ocaml
<Algebr`> why?
<schoppenhauer> why what?
<Algebr`> Why does that matter?
<schoppenhauer> it would simplify something I implement
<mrvn> you can make a monad that tracks the scope and prevents the object to escape the scope
<schoppenhauer> but then I would have to write everything in monadic style
<mrvn> indeed
<Algebr`> what a pity
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
bendiken has joined #ocaml
seliopou has quit [Quit: whaaaat]
BitPuffin|osx has quit [Ping timeout: 240 seconds]
seliopou has joined #ocaml
regnat has quit [Ping timeout: 244 seconds]
rand000 has quit [Quit: leaving]
Denommus has quit [Remote host closed the connection]
regnat has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcatxxx_ has joined #ocaml
nullcatxxx_ has quit [Client Quit]
Khady has quit [Read error: Connection reset by peer]
Khady has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
ollehar has joined #ocaml
ollehar1 has quit [Ping timeout: 244 seconds]
ollehar1 has joined #ocaml
ril has joined #ocaml
<ollehar1> smondet: ok thanks
ollehar has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
<ollehar> is it a good idea to make strings growable?
<ollehar> hm
MrScout_ has quit [Remote host closed the connection]
ollehar1 has quit [Ping timeout: 245 seconds]
<ollehar> test
ollehar has quit [Client Quit]
ril has quit [Ping timeout: 245 seconds]