ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
<rgrinberg> Drup: it looks like obuild is adding -thread from the debug log
nullcat has joined #ocaml
<bernardofpc> Drup: in your module Solution, why does array n f get the () argument ?
nullcat has quit [Client Quit]
<Drup> for better composition
<Drup> each parser, once fully applied to it's argument, is a function unit -> 'a
<Drup> you can write (array n (array k int))
<Drup> and it's a parser for a matrice of size n*k
rand000 has quit [Quit: leaving]
20WAA17I0 has joined #ocaml
javamonn has quit [Remote host closed the connection]
keen_ has quit [Read error: Connection reset by peer]
keen_ has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest61694
AltGr has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
Guest61694 has quit [Ping timeout: 245 seconds]
<curiosity> rgrinberg: just updated opam and the bug is gone
<rgrinberg> curiosity: you mean opam update?
<curiosity> yes
<rgrinberg> curiosity: doesn't seem to be doing anything for me
<bernardofpc> Drup: I see
avsm has joined #ocaml
<rgrinberg> curiosity: can you try building the packages i've linked in the bug report?
<curiosity> rgrinberg: sure thing, one second
<curiosity> have to install monomorphic thirst
rwmjones has quit [Read error: Network is unreachable]
rwmjones has joined #ocaml
<curiosity> obuild configure; obuild build; obuild install works fine
avsm has quit [Quit: Leaving.]
<rgrinberg> humm
<rgrinberg> well that doesn't work for me :P
<rgrinberg> could you add your datapoint to the ticket though
<rgrinberg> and perhaps say how you "fixed" it on your end
<curiosity> which obuild version do you have?
<rgrinberg> master
<curiosity> i have the 0.0.9 version installed
<curiosity> i havent fixed anything, just made opam update and upgrade and i got this version
<rgrinberg> oh wow 0.0.9 is kind of old
<rgrinberg> i guess that's why it works :D
avsm has joined #ocaml
jonludlam has quit [Ping timeout: 245 seconds]
ontologiae has joined #ocaml
kushal has joined #ocaml
<curiosity> does that info help you?
ontologiae has quit [Ping timeout: 265 seconds]
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
swgillespie has joined #ocaml
javamonn has joined #ocaml
<struktured> Drup: List.iter on line 555ish there's an array but he seems to mention some other array which is basically an optimized hashset over chars using an array of 255...
<Drup> that's fine, it's rather efficient
javamonn has quit [Ping timeout: 272 seconds]
<Drup> if you are doing access, not search, obviously
<struktured> agreed, no issue w/that. except perhaps unicode problems or something.
<Drup> sure
c74d3 has quit [Read error: Connection reset by peer]
swgillespie has quit [Read error: Connection reset by peer]
c74d has joined #ocaml
ygrek has joined #ocaml
javamonn has joined #ocaml
swgillespie has joined #ocaml
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
curiosity has quit [Quit: Leaving]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
mengu has joined #ocaml
mengu has joined #ocaml
mengu has quit [Changing host]
pyon is now known as gc-pyon
<struktured> somehow I have a non-localized parsing error with csv. yay
<struktured> it seems to span multiple lines
avsm has quit [Ping timeout: 252 seconds]
mengu has quit [Ping timeout: 272 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest77946
hilquias has quit [Remote host closed the connection]
Guest77946 has quit [Ping timeout: 245 seconds]
SHODAN has joined #ocaml
avsm has joined #ocaml
BitPuffin has quit [Ping timeout: 252 seconds]
darkf has joined #ocaml
_pakchoi_ has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 248 seconds]
_pakchoi_ has quit [Remote host closed the connection]
madroach has joined #ocaml
avsm has quit [Quit: Leaving.]
idegen has quit [Quit: Leaving.]
javamonn has quit [Remote host closed the connection]
kushal has quit [Ping timeout: 250 seconds]
_pakchoi_ has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
kushal has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest44965
psy_ has quit [Quit: Leaving]
Guest44965 has quit [Ping timeout: 245 seconds]
javamonn has joined #ocaml
kushal has quit [Ping timeout: 244 seconds]
avsm has joined #ocaml
javamonn has quit [Ping timeout: 255 seconds]
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
javamonn has joined #ocaml
javamonn has quit [Client Quit]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mengu has joined #ocaml
seangrove has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
mengu has quit [Ping timeout: 276 seconds]
ammbot has joined #ocaml
kdef has joined #ocaml
kdef has quit [Client Quit]
psy_ has quit [Ping timeout: 252 seconds]
dav has quit [Ping timeout: 264 seconds]
lyxia has quit [Ping timeout: 245 seconds]
lyxia has joined #ocaml
_pakchoi_ has quit [Remote host closed the connection]
psy_ has joined #ocaml
dav has joined #ocaml
tane has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Bhavya has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
ggole has joined #ocaml
mengu has joined #ocaml
avsm has quit [Quit: Leaving.]
yetone has quit [Quit: Textual IRC Client: www.textualapp.com]
cesar_ has joined #ocaml
cesar_ is now known as Guest49296
Guest49296 has quit [Ping timeout: 245 seconds]
olibjerd has joined #ocaml
axiles has joined #ocaml
bjorkintosh has quit [Quit: Leaving]
oscar_toro has quit [Ping timeout: 264 seconds]
bjorkintosh has joined #ocaml
ontologiae has joined #ocaml
ygrek has joined #ocaml
govg has quit [Ping timeout: 264 seconds]
avsm has joined #ocaml
matason has joined #ocaml
ontologiae has quit [Ping timeout: 250 seconds]
BhavyaM has joined #ocaml
Bhavya has quit [Ping timeout: 245 seconds]
Haudegen has quit [Ping timeout: 264 seconds]
oscar_toro has joined #ocaml
tane has quit [Remote host closed the connection]
WraithM has quit [Quit: leaving]
govg has joined #ocaml
Haudegen has joined #ocaml
myst has quit [Quit: Leaving]
Gama11 has joined #ocaml
WanderingGlitch has quit [Ping timeout: 256 seconds]
Gama11 has quit [Read error: Connection reset by peer]
WanderingGlitch has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
larhat has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest9037
psy_ has quit [Quit: Leaving]
Guest9037 has quit [Ping timeout: 245 seconds]
averell has quit [Ping timeout: 265 seconds]
freling has joined #ocaml
Simn has joined #ocaml
avsm has quit [Quit: Leaving.]
jonludlam has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
octachron has joined #ocaml
milosn has quit [Ping timeout: 255 seconds]
kakadu has joined #ocaml
larhat1 has joined #ocaml
mengu has quit [Remote host closed the connection]
larhat has quit [Ping timeout: 250 seconds]
Hannibal_Smith has joined #ocaml
The_Mad_Pirate has quit [Quit: Konversation terminated!]
ammbot has quit [Ping timeout: 276 seconds]
rgrinberg has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest91101
Guest91101 has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Ping timeout: 256 seconds]
govg has quit [Quit: leaving]
Haudegen has quit [Ping timeout: 244 seconds]
AltGr has left #ocaml [#ocaml]
milosn has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
yomimono has joined #ocaml
Haudegen has joined #ocaml
Submarine has joined #ocaml
tg has quit [Ping timeout: 250 seconds]
milosn has quit [Write error: Connection reset by peer]
tg has joined #ocaml
mengu has joined #ocaml
milosn has joined #ocaml
ammbot has joined #ocaml
ammbot has quit [Client Quit]
ammbot has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
freling has quit [Quit: Leaving.]
milosn has quit [Ping timeout: 244 seconds]
jonludlam has quit [Ping timeout: 255 seconds]
ammbot has quit [Ping timeout: 264 seconds]
milosn has joined #ocaml
BitPuffin has joined #ocaml
dav has quit [Ping timeout: 252 seconds]
dav has joined #ocaml
Nijikokun has quit [Ping timeout: 245 seconds]
Submarine has quit [Remote host closed the connection]
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
_andre has joined #ocaml
Zen_ has joined #ocaml
Zen_ has quit [Ping timeout: 246 seconds]
milosn has quit [Read error: Connection reset by peer]
sdothum has joined #ocaml
milosn has joined #ocaml
rand000 has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest27849
rgrinberg has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
Guest27849 has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Ping timeout: 265 seconds]
jonludlam has joined #ocaml
AlexRussia has quit [Ping timeout: 250 seconds]
AlexRussia has joined #ocaml
rwmjones has quit [Read error: Connection reset by peer]
rwmjones has joined #ocaml
milosn has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
mehdi__ has quit [Ping timeout: 256 seconds]
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
mehdi_ has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
BitPuffin has quit [Ping timeout: 272 seconds]
Hannibal_Smith has quit [Quit: Leaving]
tane has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
BhavyaM has quit [Quit: Quit the channel]
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
rock_neurotiko has joined #ocaml
rock_neurotiko has quit [Remote host closed the connection]
avsm has joined #ocaml
oscar_toro has quit [Ping timeout: 245 seconds]
mehdi__ has joined #ocaml
mehdi_ has quit [Ping timeout: 265 seconds]
dsheets has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
milosn has joined #ocaml
rgrinberg has quit [Ping timeout: 256 seconds]
badkins has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
mengu has quit [Ping timeout: 250 seconds]
mengu has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest88682
Submarine has joined #ocaml
Submarine has joined #ocaml
mengu__ has joined #ocaml
mengu has quit [Ping timeout: 255 seconds]
Guest88682 has quit [Ping timeout: 245 seconds]
TheLemonMan has joined #ocaml
idegen has joined #ocaml
munga has joined #ocaml
<munga> hello, where can I find a recent version of ppx_ifdef compatible with the latest ppx_tools ? It looks like the ifdef in ocaml/experimental/frish is pretty outdated...
matason has quit [Quit: Later!]
<Drup> just use cppo
<Drup> it's a better solution for this problem anyway
<munga> but ppx is part of the official ocaml distribution . cppo is yet another depedency ...
<Drup> build time dependency
milosn has quit [Ping timeout: 245 seconds]
Gama11 has joined #ocaml
<Drup> you will have a dependency to ppx_ifdef anyway
<munga> yes yes ... no objections ... I'm using camlp4 at the moment. anything will be a better build time dependency.
<Drup> Also, you have opam now, haven't you ? cppo compiles and installs approximately instantly, it's not a problematic dependency
<munga> well, I just need to compile the ifdef ppx extension at build time.
<munga> ok. I'll check it out.
<munga> but seems funny to have ppx in the official ocaml distrib and not use it ...
<munga> and btw, here I'm trying to bootstrap opam itself, so less dependencies I add the better
kushal has joined #ocaml
<Drup> err.
matason has joined #ocaml
<Drup> I have trouble understanding this mentality. To take the ppx example: ppx is >=4.02 only, your custom ppx will break at each ocaml release and introduce a maintenance cost. cppo on the opposite hand is well maintaned, works for all ocaml version, works faster, is more featureful and in the unlikely ocasion that it's broken, it's going to be fixed even before release.
<munga> fair enough. you convinced me :)
milosn has joined #ocaml
BitPuffin has joined #ocaml
govg has joined #ocaml
govg has quit [Client Quit]
govg has joined #ocaml
<munga> about cppo ... is it possible to expand the name of the file currently examined ?
<munga> camlp4macro has __FILE__ . I can't find how to do it with cppo
Submarine has quit [Ping timeout: 276 seconds]
rgrinberg has joined #ocaml
<munga> ignore my last question ... cppo has also __FILE__ support
rwmjones has quit [Ping timeout: 245 seconds]
rwmjones has joined #ocaml
idegen has left #ocaml [#ocaml]
rgrinberg has quit [Ping timeout: 240 seconds]
Submarine has joined #ocaml
mengu__ has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
mengu has joined #ocaml
mengu has joined #ocaml
<dsheets> anybody know how to get oasis to run tests with OCAMLRUNPARAM=b? Changing the _oasis test invocation or setting it during invocation don't work.
<dsheets> hmm never mind, it seems to be OUnit's fault
<adrien_znc> OCAMLRUNPARAM="b" <your_command>
<adrien_znc> ? :)
<Leonidas> uhh, Damien Doligez works at Jane Street now?
<companion_cube> as a guest, because his wife works in NYC
<companion_cube> dsheets: you can also tune that from within OCaml, I think
<companion_cube> Printexc.record_backtrace or something like this
sgnb` is now known as sgnb
Algebr has joined #ocaml
<Algebr> Is this too far fetched, when I hit an exception, immediately put the program into a breakpoint.
<dsheets> adrien_znc, yeah, ounit eats it
<dsheets> companion_cube, tried this and failed...
<companion_cube> oh ?
<dsheets> i think ounit catches and eats it
<adrien_znc> dsheets: ah, it sets OCAMLRUNPARAM to something else explicitely? =/
<companion_cube> strange
<dsheets> i think it catches everything and takes control of printing
<dsheets> but i'm still tracking it down :-(
<dsheets> so maybe i'm still wrong
darkf has quit [Quit: Leaving]
<companion_cube> oh right, OUnit must catch exceptions indeed
rgrinberg has joined #ocaml
milosn has quit [Ping timeout: 250 seconds]
kdef has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest30407
<Algebr> How do you give the type for default arguments? ?(foo=`Bar) : Mod.some_type
Guest30407 has quit [Ping timeout: 245 seconds]
<octachron> ?(opt:type=val)
thomasga has joined #ocaml
mengu has quit [Read error: Connection reset by peer]
s1n4 has joined #ocaml
marynate has joined #ocaml
munga has quit [Quit: Ex-Chat]
ygrek has joined #ocaml
Submarine has quit [Remote host closed the connection]
govg has quit [Quit: leaving]
mort___ has joined #ocaml
mort___ has quit [Client Quit]
marynate has quit [Quit: Leaving]
<Algebr> How can I extend polymorphic variants?
<flux> extend?
shinnya has joined #ocaml
<flux> ah, I see, in the type?
<companion_cube> type bar = [`A | `B];; type foo = [ #bar | `C ];; I think
<companion_cube> forget about the '#'
<Algebr> yea, someone else defined type foo = [`a|`b] and I want to add `c
badkins has quit []
<ggole> You can't add it to foo: you can make another type with c, though
<ggole> type bar = [foo | `c]
<Algebr> why not, I thought polymorphic variants were open
<ggole> They are structural, not open
<flux> you can have a function that accepts 'anything'
<ggole> You can define a type that is "some constructors or larger", if you like
<Algebr> Then what is that type += stuff for
<ggole> Oh, that's open types
rgrinberg has quit [Ping timeout: 255 seconds]
<ggole> Polymorphic variants are a different thing
Jefffrey has joined #ocaml
<Jefffrey> Did someone successfully installed OCaml on Mac OS X?
<Jefffrey> Morning
<Algebr> Jefffrey: I thnk that's fairly mundane, I'm using ocaml on os x.
<Jefffrey> I can't for the love of me install it so that the graphics module, that should come with it, is actually installed
<Jefffrey> I tried Macports, Homebrew, Macports and Homebrew
<Jefffrey> Also Macports only for opam and then opam for ocaml
<Jefffrey> Also Homebrew only for opam and then opam for ocaml
<Algebr> if you want to use brew, brew gives command line flags
<Algebr> and do brew info ocaml
<Algebr> which gives the option of --with-x11
<Algebr> which says "Install with the Graphics module"
<Jefffrey> Oh dear lord I love you
<Jefffrey> I mean, I love you Algebr, not dear lord
<Algebr> lol
<Jefffrey> Well, I love you too dear lord
<Jefffrey> So I should reinstall with that flag?
<Algebr> probably.
<flux> the graphics library isn't very great, though, perhaps suitable for learning and debug graphics
<Jefffrey> Yeah, it's for university
Submarine has joined #ocaml
badkins has joined #ocaml
rgrinberg has joined #ocaml
rj-code has joined #ocaml
itPuffinB has joined #ocaml
mort___ has joined #ocaml
kushal has quit [Excess Flood]
kushal has joined #ocaml
gc-pyon is now known as scum-multiset
badkins has quit []
rand000 has quit [Ping timeout: 246 seconds]
rj-code is now known as rjcode
slash^ has joined #ocaml
rjcode has quit [Changing host]
rjcode has joined #ocaml
averell has joined #ocaml
milosn has joined #ocaml
kdef has quit [Quit: Leaving]
octachron has quit [Quit: Leaving]
A1977494 has joined #ocaml
ammbot has joined #ocaml
WanderingGlitch has quit [Changing host]
WanderingGlitch has joined #ocaml
rgrinberg has quit [Ping timeout: 255 seconds]
ammbot has quit [Quit: Konversation terminated!]
ammbot has joined #ocaml
s1n4 has quit [Read error: Connection reset by peer]
rand000 has joined #ocaml
gustav___ has quit [Ping timeout: 246 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest34614
Jefffrey_ has joined #ocaml
ammbot has quit [Remote host closed the connection]
ammbot has joined #ocaml
Guest34614 has quit [Ping timeout: 245 seconds]
Jefffrey has quit [Ping timeout: 248 seconds]
gustav___ has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
shinnya has quit [Ping timeout: 256 seconds]
badkins has joined #ocaml
yomimono has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
jonludlam has quit [Ping timeout: 264 seconds]
MrScout has joined #ocaml
larhat1 has quit [Quit: Leaving.]
jwatzman|work has joined #ocaml
dav_ has joined #ocaml
<Drup> the graphics library is fine for simple things
<Jefffrey_> Ok, I did reinstall everything and now I get "Fatal error: cannot load shared library dllgraphics -- Reason: dlopen(dllgraphics.so, 138): image not found".
<Jefffrey_> This is a nightmare.
<Drup> you don't have x11 installed ?
dav has quit [Ping timeout: 252 seconds]
<Jefffrey_> I get that error after I successfully compiled the program I'm trying to execute, and while running it.
kdef has joined #ocaml
<Jefffrey_> I installed XQuartz which was a dependency for installing ocaml with the --with-x11 flag
<Algebr> Jeffrey: You need to make sure that x11 stuff can be easily found
<Jefffrey_> How do I check that?
<Algebr> Jefffrey_: Add this, or something appropriate for you, to your .bashrc/.zshrchttp://pastebin.com/LyMi5dfj
<Algebr> Jefffrey_: Add this, or something appropriate for you, to your .bashrc/.zshrc http://pastebin.com/LyMi5dfj
Submarine has quit [Remote host closed the connection]
Gama11_ has joined #ocaml
<Jefffrey_> Did that, reloaded .bash_profile, recompiled and rerunned, same error
<Algebr> did you just copy and paste the pastelink or did you check that your x11 install was actually at /opt/x11
<Jefffrey_> I think I solved it.
Gama11 has quit [Ping timeout: 264 seconds]
<Jefffrey_> Let me restart 1 second.
Jefffrey_ has quit [Quit: Leaving...]
<Algebr> you don't need to restart, just do exec bash or exec zsh
Nijikokun has joined #ocaml
thomasga has quit [Ping timeout: 256 seconds]
Gama11_ has quit [Ping timeout: 264 seconds]
<struk|work> Drup: Bytes.unsafe_get cost me about 4 hours of debugging. I'm. Argh
<Drup> didn't I told you not to use it ? :D
<Drup> oh, maybe it wasn't you, I don't remember
Jefffrey has joined #ocaml
<Jefffrey> Yup, I forgot to restart the computer after the Quartz installation.
<Jefffrey> Now everything works fine.
<Jefffrey> Thank you all very much.
<struk|work> Drup: you told me to but it wasn't my original code so I didn't screw with it. I changed a suspicious block from unsafe to regular get and spotted the bug almost immediately
<struk|work> (after rerunning it)
Haudegen has quit [Ping timeout: 246 seconds]
dsheets has quit [Ping timeout: 250 seconds]
thomasga has joined #ocaml
octachron has joined #ocaml
ammbot has quit [Ping timeout: 256 seconds]
jonludlam has joined #ocaml
<cmtptr> http://caml.inria.fr/pub/docs/manual-ocaml/coreexamples.html the last example in 1.4, should "match btree with" not be "match x with" ?
<cmtptr> I thought btree was a type, like list
keen__ has joined #ocaml
keen_ has quit [Ping timeout: 264 seconds]
<Drup> it's also a variable name
<Drup> the line just above declare it, as a function parameter of insert
jwatzman|work has quit [Quit: jwatzman|work]
<cmtptr> what is it in this line: type 'a btree = Empty | Node of 'a * 'a btree * 'a btree
<Drup> a type.
MrScout has quit [Remote host closed the connection]
<cmtptr> so what specifies in the function definition that x of type 'a btree?
<Drup> the namespace of types and the one of variables are separated
<cmtptr> oh, x isn't
<cmtptr> sorry
<cmtptr> what specifies that the variable "btree" is of type 'a btree?
<Drup> because you match it against the constructors Empty and Node
<Drup> which are for the type btree
<cmtptr> okay
mort___ has quit [Quit: Leaving.]
<cmtptr> it's taking me so long to find time to actually sit down and look at this :(
Haudegen has joined #ocaml
jwatzman|work has joined #ocaml
Jefffrey has quit [Quit: Leaving...]
Hannibal_Smith has joined #ocaml
Gama11 has joined #ocaml
ontologiae has joined #ocaml
matason has quit [Ping timeout: 256 seconds]
MrScout has joined #ocaml
kakadu has quit [Quit: Page closed]
octachron_ has joined #ocaml
octachron has quit [Ping timeout: 252 seconds]
cesar_ has joined #ocaml
cesar_ is now known as Guest24410
dav has joined #ocaml
dav has quit [Changing host]
dav has joined #ocaml
dav_ has quit [Ping timeout: 245 seconds]
Guest24410 has quit [Ping timeout: 245 seconds]
Arsenik has joined #ocaml
ontologiae has quit [Ping timeout: 248 seconds]
MercurialAlchemi has quit [Quit: leaving]
MercurialAlchemi has joined #ocaml
Jefffrey has joined #ocaml
<Jefffrey> I wonder. Why would one use classes as opposed to just a function that generates `object`s?
<Jefffrey> They look like they have the same functionality.
<ggole> You can't inherit from an object
<MercurialAlchemi> Jefffrey: inheritance
kushal has quit [Ping timeout: 246 seconds]
<Jefffrey> You can only do inheritance with classes?
<Jefffrey> Yeah, that makes sense.
<Jefffrey> That's the only difference?
<Drup> pretty much, yes
octachron_ has quit [Ping timeout: 276 seconds]
<dmbaturin> If objects could be polymorphic, you probably could emulate inheritance in a function that produces objects.
hilquias has joined #ocaml
<Drup> I'm not sure what do you mean by polymorphic here
thomasga has quit [Ping timeout: 244 seconds]
thomasga1 has joined #ocaml
kakadu has joined #ocaml
<dmbaturin> Drup: Well, "polymorphic" is probably not the right word. When you declare an object, there can't be any free type variables. However, I can imagine another approach where types of members are determined upon first use, like for references.
<dmbaturin> It would be classes done badly, if, unlike references, the uninitialized object could be used multiple times and different uses were tracked independently.
hilquias has quit [Ping timeout: 250 seconds]
<Drup> you can have free (type) variable
dsheets has joined #ocaml
<Drup> let f x = object method bla = x end ;;
<Drup> val f : 'a -> < bla : 'a >
MrScout_ has joined #ocaml
mort___ has joined #ocaml
<dmbaturin> Wait, but can you do it for values that aren't functions?
MrScout has quit [Ping timeout: 245 seconds]
octachron_ has joined #ocaml
<Drup> let x = object val mutable x = None method get = x method set v = x <- v end ;;
<Drup> val x : < get : '_a option; set : '_a option -> unit > = <obj>
<Drup> it's appropriately monomorphic and all that :)
slash^ has quit [Quit: Leaving.]
<dmbaturin> Drup: Well, true. But once it's known, it will stick to it forever. Or there is a way to copy the object when there are still unresolved type variables?
<Drup> just generate it with a unit type.
<Drup> let f()= ...
nojb has joined #ocaml
<ggole> If you want an object parameterized by a type variable, you can do that.
<ggole> But I think you need classes for it.
rjcode has quit [Quit: :q]
<Drup> well, not really, I gave you objects parametrized by type variables
<Drup> class types desugar to object types anyway
<nojb> how often is the ocaml github mirror updated ?
<Drup> automatically
mort___ has quit [Quit: Leaving.]
<Drup> the delay is less than an hour I think
<nojb> but there are some pull requests that have been merged yesterday that still don't show up (e.g. PR#111)
dav has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
<Drup> which branch are you looking at ?
<nojb> PR#111 is https://github.com/ocaml/ocaml/pull/111 which was allegedly merged to trunk
dav has joined #ocaml
<thomasga1> nojb: I think avsm needs to be around to run the scripts manually
<Drup> oh O_o
<thomasga1> or at least check that the scripts are not broken :-)
myyst has joined #ocaml
<thomasga1> (and he's in a plane currently)
dav_ has joined #ocaml
myyst is now known as myst
<nojb> thomasga1: ah, ok, thanks! Also, sorry not yet ready with the revision of the config keys stuff - got sidetracked with other projects - am currently away from Cambridge but will try to get something out in the next few days
mort___ has joined #ocaml
<thomasga1> no pb. We really need something like that soon though, so I'll merge even the simplest and not perfect version
<nojb> thomasga1: understood. I'll look at it and get back soon.
kushal has joined #ocaml
rj-code has joined #ocaml
manizzle has joined #ocaml
rj-code has left #ocaml [#ocaml]
BitPuffin has quit [Ping timeout: 252 seconds]
ggole has quit [Ping timeout: 248 seconds]
aubergines has joined #ocaml
<aubergines> I compile with ocamlfind ocamlc and I get the error:
<aubergines> Error: Error on dynamically loaded library: dllz3ml.so: dllz3ml.so: cannot open shared object file: No such file or directory
ggole has joined #ocaml
<nojb> what is the complete command line ?
<adrien> poke Drup, he loves z3
MrScout_ has quit [Remote host closed the connection]
MrScout has joined #ocaml
<aubergines> ocamlfind ocamlc -package batteries,Z3,cil -linkpkg -o main <bunch of cmo files>
<Drup> No I don't :<
<aubergines> I have dllz3ml.so in a directory that is included in the ld.conf file
<Drup> do a system install, that's going to be the simplest solution
<Drup> note that it's still going to be broken for bytecode, for other reasons
<Drup> use opt
axiles has quit [Remote host closed the connection]
ontologiae has joined #ocaml
<aubergines> ok, this Z3 is a nightmare
<Drup> yes
<Drup> it's *very* annoying to package at the moment
<Drup> I'm sort of fighting about it, but it's ... painful.
<adrien> you should just go to the UK and take over :P
<adrien> change your name
nojb has quit [Quit: nojb]
govg has joined #ocaml
dav__ has joined #ocaml
dav_ has quit [Ping timeout: 246 seconds]
dav has quit [Ping timeout: 248 seconds]
nojb has joined #ocaml
<aubergines> mmm. putting the directory in the LD_LIBRARY_PATH seems to work
<Drup> even for bytecode ?
<aubergines> but now the bastard says The external function `n_is_null' is not available
<Drup> right.
<Drup> yes, that's the error for bytecode
<Drup> compile in native
MrScout has quit [Read error: No route to host]
MrScout has joined #ocaml
dav has joined #ocaml
dav is now known as Guest32655
badkins has quit []
nojb has quit [Quit: nojb]
<cmtptr> what is the magic that turns a record into a string without me explicitely writing a "string_of_my_record_type" function?
<aubergines> now it seems to work
<cmtptr> like, the ocaml repl just seems to know how to print it. can I take advantage of that in a program?
<aubergines> I am mean with the native code
<flux> cmtptr, no. ocaml repl compiles the code and gains insight to the data that is not available in compiled programs.
<cmtptr> ah, okay
<flux> though, there are syntax extensions that facilitate semi-automatic string_of-functions
<cmtptr> neat
<flux> implicit modules may eventually bring more general 'show' functions to ocaml, remains to be seen..
nojb has joined #ocaml
rgrinberg has joined #ocaml
hilquias has joined #ocaml
A1977494 has left #ocaml [#ocaml]
Haudegen has quit [Ping timeout: 255 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
claudiuc has joined #ocaml
mengu has joined #ocaml
Algebr` has joined #ocaml
Algebr has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
gabemc has joined #ocaml
nojb has quit [Quit: nojb]
ggole has quit []
claudiuc has quit [Remote host closed the connection]
nojb has joined #ocaml
claudiuc has joined #ocaml
dav__ has quit [Ping timeout: 252 seconds]
dav_ has joined #ocaml
claudiuc has quit [Ping timeout: 255 seconds]
yomimono has joined #ocaml
<cmtptr> what's the canonical way to print something with a newline on the end?
<cmtptr> do you just print_string ((whatevs...) ^ "\n") ?
<nojb> print_endline
<nojb> or Printf.printf "...\n"
rj-code has joined #ocaml
badkins has joined #ocaml
Gama11 has quit [Read error: Connection reset by peer]
<cmtptr> noice, thanks
rand000 has quit [Ping timeout: 265 seconds]
Algebr` has quit [Ping timeout: 245 seconds]
rossberg has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
rj-code has quit [Changing host]
rj-code has joined #ocaml
gabemc has quit [Ping timeout: 250 seconds]
rossberg has joined #ocaml
itPuffinB is now known as BitPuffin
tane has quit [Quit: Verlassend]
<aubergines> is there any way to get a backtrace after an exception when compiling to native code?
<Drup> yes, but not for z3, since it's not compiled with -g and the backtraces are emited on the C side anyway.
<Drup> it's OCAMLRUNPARAM=b
<aubergines> ah ok, thanks
<Drup> (if you have an error with z3, I migth be able to tell you what's the issue is :p)
<aubergines> no, it was in my side I was comparing Nums ... somewhere
<Drup> aubergines: are you aware of z3overlay ?
<Drup> the readme is slightly out of date, I'm in the process of updating it
<aubergines> nop
<Drup> you might be interested.
<aubergines> is it about a POPL paper last year?
<Drup> nope
<Drup> it's just a typed interface for z3
<Drup> to replace the horribly untyped one that is in the official binding
<aubergines> sounds good
<aubergines> actually I have my own term, and formulas types but really basic for what I do
<Drup> (note: contains functors, polymorphic variants, phantom type and gadt :D)
MrScout has quit [Remote host closed the connection]
nojb has quit [Quit: nojb]
Jefffrey has quit [Quit: Leaving...]
Simn has quit [Quit: Leaving]
octachron_ has quit [Quit: Leaving]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
MrScout has joined #ocaml
kakadu has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
mengu has quit [Remote host closed the connection]
Hannibal_Smith has quit [Remote host closed the connection]
Guest32655 has quit [Quit: leaving]
dav_ is now known as dav
Arsenik has quit [Remote host closed the connection]
rand000 has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
mort___ has quit [Quit: Leaving.]
rand000 has quit [Quit: leaving]
aubergines has quit [Quit: leaving]
thomasga1 has quit [Quit: Leaving.]
jonludlam has quit [Ping timeout: 248 seconds]
s1n4 has joined #ocaml
hilquias has quit [Remote host closed the connection]
kushal has quit [Read error: Connection reset by peer]
mengu has joined #ocaml
rgrinberg has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
mfp has quit [Ping timeout: 246 seconds]