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
ggherdov has quit []
AltGr has joined #ocaml
ggherdov has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
<chouser> whoa! exceptions!
<chouser> Can you add new constructors to any other variant types?
<pippijn> only to open ones
swgillespie has joined #ocaml
<chouser> heh, I keep being surprised each time I learn about a new feature and discover it comes with new syntax.
<chouser> That shouldn't surprise me anymore.
chouser has quit [Ping timeout: 255 seconds]
hilquias has quit [Remote host closed the connection]
billlody has joined #ocaml
billlody has quit [Quit: Leaving]
pyon has quit [Ping timeout: 272 seconds]
enitiz has joined #ocaml
q66 has quit [Quit: Leaving]
ygrek has joined #ocaml
chouser has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
skinkitten has quit [Quit: Leaving]
a938sx has joined #ocaml
a938sx has quit [Read error: Connection reset by peer]
yminsky has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
dmbaturin_ is now known as dmbaturin
enitiz has quit [Ping timeout: 265 seconds]
ivan\ has quit [Read error: Connection reset by peer]
ivan\ has joined #ocaml
hilquias has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
enitiz has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
oriba has quit [Quit: oriba]
toroidalcode has joined #ocaml
ygrek has joined #ocaml
destrius has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
chouser has quit [Ping timeout: 240 seconds]
pyon has joined #ocaml
pyon is now known as pyon-k
manizzle has quit [Ping timeout: 276 seconds]
thomasga has quit [Quit: Leaving.]
chouser has joined #ocaml
lopex has quit [Quit: Connection closed for inactivity]
darkf has joined #ocaml
swgillespie has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
toroidalcode has quit []
badon has joined #ocaml
jao has quit [Ping timeout: 276 seconds]
badkins has quit []
nullcat has joined #ocaml
nullcat has quit [Client Quit]
chouser has quit [Quit: Leaving.]
chouser has joined #ocaml
vincom2 has quit [Ping timeout: 256 seconds]
vincom2 has joined #ocaml
manizzle has joined #ocaml
MrScout has joined #ocaml
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
yminsky has quit [Quit: yminsky]
manizzle has quit [Ping timeout: 240 seconds]
MrScout_ has joined #ocaml
MrScout__ has joined #ocaml
nullcat has joined #ocaml
ivan\ has quit [Remote host closed the connection]
MrScout has quit [Read error: Connection reset by peer]
mobajm has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
MrScout_ has quit [Ping timeout: 256 seconds]
ivan\ has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
claudiuc has quit [Remote host closed the connection]
blech___ has quit [Ping timeout: 255 seconds]
rgrinberg has joined #ocaml
araujo has quit [Read error: Connection reset by peer]
araujo has joined #ocaml
swgillespie has quit [Quit: Textual IRC Client: www.textualapp.com]
blech_ has joined #ocaml
araujo has quit [Quit: Leaving]
swgillespie has joined #ocaml
chinglish has joined #ocaml
MrScout has joined #ocaml
MrScout__ has quit [Read error: Connection reset by peer]
enitiz has quit [Ping timeout: 245 seconds]
chouser has quit [Ping timeout: 245 seconds]
zwer has quit [Remote host closed the connection]
zwer has joined #ocaml
psy_ has quit [Ping timeout: 245 seconds]
hto has joined #ocaml
hto has quit [Client Quit]
ygrek has quit [Ping timeout: 245 seconds]
MercurialAlchemi has joined #ocaml
MrScout has quit [Ping timeout: 246 seconds]
psy_ has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
psy_ has joined #ocaml
<nullcat> don't know if it appropriate to ask here, but is there anyone who considered to get a PhD after undergraduate, or is already a PhD candidate, or is already a PhD ? I am considering to pursue a PhD in PL related field after graduation and I would like some advices. Thanks!
antkong has quit [Quit: antkong]
huza has joined #ocaml
ivan\ has quit [Read error: Connection reset by peer]
testcocoon has quit [Quit: Coyote finally caught me]
ivan\ has joined #ocaml
jneen is now known as jneen|zzz
testcocoon has joined #ocaml
AlexRussia has quit [Ping timeout: 272 seconds]
ygrek has joined #ocaml
waneck has quit [Ping timeout: 240 seconds]
cdidd has quit [Ping timeout: 276 seconds]
cdidd has joined #ocaml
struktured has quit [Ping timeout: 272 seconds]
pyon-k is now known as anger-issues
huza has quit [Quit: WeeChat 0.3.8]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
psy_ has quit [Quit: Leaving]
chinglish has quit [Ping timeout: 265 seconds]
chinglish has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
nullcat has quit [Ping timeout: 246 seconds]
nullcat has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
tane has joined #ocaml
dsheets has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
octachron has joined #ocaml
fraggle-boate has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
psy_ has joined #ocaml
reem has joined #ocaml
lordkryss has joined #ocaml
rgrinberg has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
yomimono has joined #ocaml
Haudegen has quit [Ping timeout: 255 seconds]
antkong has joined #ocaml
antkong has quit [Client Quit]
Haudegen has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
badon has quit [Quit: Leaving]
ivan\ has quit [Remote host closed the connection]
ivan\ has joined #ocaml
yomimono has quit [Ping timeout: 240 seconds]
fraggle-boate has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
iago has joined #ocaml
dsheets has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
chinglish has quit [Ping timeout: 246 seconds]
chinglish has joined #ocaml
Kakadu has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
thomasga has joined #ocaml
chinglish has quit [Ping timeout: 265 seconds]
marynate has joined #ocaml
avsm has joined #ocaml
chinglish has joined #ocaml
lopex has joined #ocaml
Haudegen has joined #ocaml
marynate has quit [Quit: Leaving]
Haudegen has quit [Ping timeout: 245 seconds]
badon has joined #ocaml
Haudegen has joined #ocaml
zwer_l has joined #ocaml
antkong has joined #ocaml
zwer has quit [Ping timeout: 250 seconds]
larhat has joined #ocaml
antkong has quit [Ping timeout: 264 seconds]
pdewacht has quit [Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number]
mort___ has joined #ocaml
yomimono has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
keen__________48 has joined #ocaml
keen__________47 has quit [Ping timeout: 256 seconds]
pdewacht has joined #ocaml
destrius has quit [Quit: Leaving.]
ingsoc has joined #ocaml
reem has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
mingus has joined #ocaml
<mingus> join haskell
mingus is now known as aubergines
<adrien_znc> booouh!
_andre has joined #ocaml
myyst has quit [Ping timeout: 272 seconds]
myyst has joined #ocaml
oriba has joined #ocaml
<oriba> what's the type of :: ??
<def`> (::) is a value constructor, it doesn't really have a type
<def`> but "x :: xs" has type "t list" when "x" has type "t" and "xs" has type "t list"
<oriba> how can something not have a type in a typed functional language?
<def`> it's not an expression
<def`> only expression have types
<oriba> I tried something like match foo with None -> () | Some bar -> bar :: !mylist
<oriba> and got type error
<def`> awesome. I got type errors sometimes too
<def`> None -> []
<rks`> get*
<def`> [] is the empty list constructor
<oriba> ah, yes, that should work
<oriba> def`, yes, that works. I had thought that the operation "::" is unit. But elem :: !listref gives back a list directly...
<oriba> thy def`
<oriba> thx def`
<oriba> too early in the morning ;-)
<def`> oriba: yep, everything gives back a value, otherwise your list would go … nowhere :)
<def`> (elem :: !listref creates a new list whose head is elem and tail is the current value of !listref)
<oriba> I think I did often used it, wonder why I didn't saw it this morning
<oriba> not enough sleep maybe
<oriba> or just a bad day
<oriba> def`, maybe I used it differently.... seperated elem :: listref , did it and later used !listref to give back the value.... and now I used them both in one statement
<def`> !listref is only valid if listref is a reference, not a list. you can't mix both
<oriba> yes
<oriba> thats why I called it listref here ;-)
patronus_ has quit [Read error: Connection reset by peer]
patronus has joined #ocaml
dlat has joined #ocaml
Haudegen has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
thomasga has quit [Quit: Leaving.]
hellofunk has quit [Remote host closed the connection]
hellofunk has joined #ocaml
oriba has quit [Quit: oriba]
skinkitten has joined #ocaml
Kakadu has quit [Quit: Page closed]
Kakadu has joined #ocaml
ivan\ has quit [Read error: Connection reset by peer]
ivan\ has joined #ocaml
jabesed has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
avsm has quit [Ping timeout: 255 seconds]
thomasga has joined #ocaml
hellofunk has quit [Remote host closed the connection]
hellofunk has joined #ocaml
hellofunk has quit [Remote host closed the connection]
hellofunk has joined #ocaml
hellofunk has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
hellofunk has joined #ocaml
hellofunk has left #ocaml [#ocaml]
rand000 has joined #ocaml
hellofunk has joined #ocaml
ggole has joined #ocaml
enitiz has joined #ocaml
kapil__ has quit []
kapil__ has joined #ocaml
psy_ has quit [Quit: Leaving]
thomasga has quit [Quit: Leaving.]
BitPuffin has quit [Ping timeout: 264 seconds]
chouser has joined #ocaml
chinglish has quit [Ping timeout: 246 seconds]
chinglish has joined #ocaml
AltGr has left #ocaml [#ocaml]
chouser has quit [Quit: Leaving.]
vanila has joined #ocaml
enitiz has quit [Ping timeout: 265 seconds]
BitPuffin has joined #ocaml
iago has quit [Ping timeout: 255 seconds]
yminsky has joined #ocaml
yminsky has quit [Quit: yminsky]
Kakadu has quit [Ping timeout: 246 seconds]
Kakadu has joined #ocaml
matason has joined #ocaml
Remyzorg has joined #ocaml
<vanila> can nacl be used in mirage?
<pippijn> is there any chance ocaml will get type classes at some point?
<pippijn> I would really like it for monads
<vanila> i hope not D:
<pippijn> vanila: why?
<vanila> look how horribly they're abused in haskell
Hannibal_Smith has joined #ocaml
<vanila> it's true they're really nice for monads
<pippijn> I really just want a monad type class :)
<pippijn> let open MyMonad in <- this is ok, but it would be nice if I didn't have to write that
<pippijn> by the way, what is a nice way to map from one monad to another?
<pippijn> M1 a -> M2 a
<flux> there was this some automatic module choosing system patch around..
etehtsea has joined #ocaml
etehtsea has quit [Max SendQ exceeded]
<flux> that could be applicaple to monads.
thomasga has joined #ocaml
<pippijn> e.g. mapping from the Option monad to the Or_error monad
<pippijn> or to the List monad
<pippijn> especially to the Or_error monad, though
<pippijn> (Result monad)
ivan\ has quit [Remote host closed the connection]
ivan\ has joined #ocaml
AlexRussia has joined #ocaml
badkins has joined #ocaml
enitiz has joined #ocaml
<vanila> pippijn, what about using delimited continuations to write monad stuff in direct style?
<vanila> like olegs randomness library
<vanila> I guess this is orthogonal to the typeclass issue
<pippijn> vanila: you mean >>=?
<vanila> yeah so you never need to use >>=
<pippijn> hmm
<pippijn> where is that library?
<vanila> I just like that more but I don't think it solves the issue you were actually talking about
<vanila> let me see
<vanila> it's actually monadic code (some kind of probability monad), but it just looks like normal ocaml
<vanila> if you had multiple monads i think we'd have the same problems though, didn't really think of that before bringing i up
<pippijn> oh
<pippijn> it uses exceptions?
shinnya has joined #ocaml
<vanila> it's based on shift/reset continuations
<vanila> they can sort of turn the code into monadic code
<pippijn> I see
<pippijn> seems to have more syntactic overhead if I have multiple monads
<vanila> darn
enitiz has quit [Ping timeout: 272 seconds]
MrScout has joined #ocaml
psy_ has joined #ocaml
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
ingsoc has quit [Read error: Connection reset by peer]
dsheets has joined #ocaml
<cojy_> pippijn: there is a typeclass-like thing being worked on called modular implicits but i dont think it works for monads yet
enitiz has joined #ocaml
thomasga has quit [Quit: Leaving.]
yomimono has quit [Ping timeout: 265 seconds]
badkins has quit [Ping timeout: 264 seconds]
darkf has quit [Quit: Leaving]
Hannibal_Smith has quit [Quit: Leaving]
<pippijn> cojy_: it works
<pippijn> cojy_: http://andrewray.github.io/iocamljs/modimp_show.html <- I put the option and list monads here, and it worked
<pippijn> at least it worked with bind and return
<pippijn> I didn't try >>=
<pippijn> cojy_: I'm reading the paper
<pippijn> and it seems that ShowFloatList:Show and ShowList(Show):Show + ShowFloat:Show are ambiguous
<pippijn> I would prefer the most specific implicit to be selected
<flux> can you resolve the ambiguity manually?
matason has quit [Ping timeout: 240 seconds]
<pippijn> yes
<pippijn> but it would make sense to have a partial order
<pippijn> "if I can choose between instantiating a functor with another module, and using a non-functor module directly, choose the latter"
matason has joined #ocaml
AlexRussia has quit [Quit: WeeChat 1.1-dev]
AlexRussia has joined #ocaml
chouser has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
axiles has joined #ocaml
<vanila> is it just me or is tuareg indentation annoying as heck?
aluuu has joined #ocaml
<vanila> there's #define FOO 45 in some header file, how do I get that with the ffi?
thomasga has joined #ocaml
<whitequark> you can't do it with ctypes
<whitequark> however, you can do it using cstubs: https://github.com/ocamllabs/ocaml-ctypes/issues/235
<vanila> thanks a lot!
kapil__ has quit [Quit: Connection closed for inactivity]
BitPuffin has joined #ocaml
<chouser> Drup, and all: Here is what you've been helping me with: https://github.com/Chouser/mal/tree/master/ocaml
<chouser> A little lisp interpreter, ported to, now, 23 different languages.
<vanila> only 23??
<vanila> :D wow
<chouser> well, we're not done yet...
moei has quit [Read error: Connection reset by peer]
<chouser> Obviously not useful as a language, but an awfully fun way to learn a new language.
moei has joined #ocaml
ivan\ has quit [Read error: Connection reset by peer]
<vanila> sorry as a beginner im a bit lost on how to actually important this thing? https://github.com/ocamllabs/ocaml-ctypes/blob/master/src/cstubs/cstubs.mli
<vanila> open Cstubs.Types.TYPE does not work (Unbound module Cstubs.Types)
ivan\ has joined #ocaml
<vanila> oh i can probably figure it out from this example
bytbox has joined #ocaml
<vanila> you have instantiate the modue with some autogenerated thing
chouser has left #ocaml [#ocaml]
mort___ has quit [Remote host closed the connection]
enitiz has quit [Ping timeout: 265 seconds]
<vanila> no, lost on how to dot his :/
badkins has joined #ocaml
<vanila> can something like this work: corebuild -pkg ctypes -pkg cstubs.foreign bindings/ncurses_bindings.native
<vanila> I want to compile bindings/ncurses_bindings.ml and run it to generate .c and .ml files
<vanila> i dont know how to include the cstubs package though
enitiz has joined #ocaml
<vanila> if I just try to compile it normally: Error: No implementations provided for the following modules: Cstubs referenced from bindings/ncurses_bindings.cmx
slash^ has joined #ocaml
<vanila> How do I check if I have cstubs?
<vanila> I thought it came with ctypes
avsm has joined #ocaml
blech_ has quit [Read error: Connection reset by peer]
enitiz has quit [Ping timeout: 265 seconds]
jneen|zzz is now known as jneen
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
destrius has joined #ocaml
<Drup> (14:43:35) pippijn: I would prefer the most specific implicit to be selected <- that's a rather bad idea, for the sake of readability
araujo has joined #ocaml
araujo has joined #ocaml
<Drup> typeclasses (and modular implicits) already imped readability to some extent. If you allow for a partial order over implicit modules and choose "the less general", it will become really hard to know what is used where
rgrinberg has joined #ocaml
bjorkintosh has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
<pippijn> Drup: ok, I agree
<pippijn> Drup: C++ :)
antegallya has joined #ocaml
<pippijn> partial specialisations work like that
<vanila> http://lpaste.net/119623 would anyone be able to shed some light on why i am getting a compile error here?
<pippijn> yes
<pippijn> vanila: -use-ocamlfind
uris77 has joined #ocaml
<def`> Drup: i would find quite interesting to allow the partial order to be specified
<vanila> I tried passing -use-ocamlfind as an extra flag but I got the same error
<pippijn> def`: so you would be able to make a total order?
<Drup> def`: if you want to have it merged, don't put it in the initial proposal :D
ygrek_ has joined #ocaml
<def`> implicit Show_ratio > Show_pair(Int)(Int)
<Drup> (but clearly, it would be interesting)
<pippijn> maybe, yes
ygrek has quit [Remote host closed the connection]
<pippijn> I really want this
<pippijn> when will it happen?
<pippijn> is there a patched compiler in opam?
<def`> pippijn: no total order, I don't ecen know how thar could ve specified, given the existence of instances isnoften undecidable
<Drup> ratio is not a great example, because you could/should use a newtype (or the equivalent)
<pippijn> Drup: yeah
<pippijn> that definitely needs a newtype
<companion_cube> implicit Show(Bitvector) > Show(Array)(Bool)
<def`> pippijn: modular implicit switch
<companion_cube> :>
<vanila> I think I have to give up on this :(
<vanila> it is too difficult
<Drup> yeah, the eventual "Array" functor is, I think, a better example
<pippijn> vanila: same error?
<vanila> yeah
<Drup> FloatArray not being Array(Float)
<pippijn> I don't know ctypes
<def`> Drup: don't be stupid, you understood my example without any type decl
<pippijn> maybe you need another package
<pippijn> vanila: also same warning?
<Drup> def`: of course
<Drup> def`: the remark was not for you
<def`> that's the only point :p (c3 got it backward :D)
<pippijn> but anyway, that is something that can be added on later
arj has joined #ocaml
<pippijn> the implicits as they are now look really good
<pippijn> it's a great step
<pippijn> for ocamlkind
<Drup> :]
zwer_l has quit [Remote host closed the connection]
<companion_cube> it will be a great step if it's included before 2042
<vanila> this has it in FOREIGN
<vanila> but the example code use Types
<pippijn> companion_cube: you think it won't?
<pippijn> I'm going to use them
zwer has joined #ocaml
<vanila> 'constant' is not in there :/
<pippijn> -pkgs ctypes,ctypes.foreign # maybe?
<companion_cube> pippijn: I don't know
<pippijn> I don't know, just guessing
<companion_cube> I hope, but I'm afraid to be disappointed
ollehar has quit [Ping timeout: 264 seconds]
<vanila> I think i need a newer git version
<vanila> compared to the opam version
<pippijn> companion_cube: I will use them in my project
<Drup> vanila: you might need the git version yes
<vanila> damn, I dont know how to do that
<Drup> the "constant" function is very new
<Drup> that's easy !
<vanila> oh :D
<Drup> opam pin add*
<companion_cube> pippijn: if it's included in OCaml, containers will make great use of them :)
<Drup> it will say to opam "for ctypes, look <here>"
aluuu has quit [Ping timeout: 264 seconds]
<vanila> thanks a lot, I could compile it now :)
ygrek_ has quit [Remote host closed the connection]
<Drup> =)
ygrek has joined #ocaml
struktured has joined #ocaml
reem has joined #ocaml
<companion_cube> hmmm, anyone ever tried type 'a stream = [`Nil | `Cons of 'a * 'a stream] Lwt.t ?
<companion_cube> sounds like a nice little functional stream
<Drup> don't you rather want "Nil | Cons of ('a * 'a stream) Lwt.t ?
<vanila> i still cannot use it though :(
aluuu has joined #ocaml
AlexRussia has quit [Ping timeout: 265 seconds]
tane has quit [Ping timeout: 245 seconds]
<MercurialAlchemi> didn't somebody say the reason implicits were not included yet was performance?
<pippijn> Drup: that's awesome
oriba has joined #ocaml
<pippijn> Drup: will it pull and see if there are updates on every commit?
<rks`> MercurialAlchemi: what do you mean?
oriba has quit [Read error: Connection reset by peer]
<Drup> pippijn: yes
<pippijn> very very nice
<companion_cube> Drup: you can't really know before, I guess
<Drup> opam pins are awesome, yes :p
<companion_cube> what do you think?
<Drup> companion_cube: no opinion
<companion_cube> it would also remove the issue of cloning streams, which is always a *pain*
<pippijn> Drup: that's actually a feature that might make me *use* opam
<companion_cube> ... you don't?
<Drup> come down two stairs and have a discussion with pierre, he has opinions on the question
<pippijn> companion_cube: barely
<pippijn> I do install stuff over it, but I don't publish on it
<companion_cube> Drup: Pierre isn't happy with Lwt streams? :D
ygrek has quit [Ping timeout: 264 seconds]
<rks`> companion_cube: nobody's happy about lwt stremas.
<Drup> yeah, sort of what rks` said :D
<companion_cube> ok, I have to try then
<pippijn> what's the Lwt equivalent of Async.Std.Pipe?
<MercurialAlchemi> rks`: something I read here, I was hoping for more info
<Drup> pippijn: the ""equivalent"" is stream, precisely
<Drup> it does the job, but it's not as good
<pippijn> I just took a brief look at it
<rks`> MercurialAlchemi: oh ok
<pippijn> didn't immediately see how to push things onto a stream
<pippijn> you can get things, but not put things in
<Drup> pippijn: look at the creation function
<pippijn> yeah
<pippijn> you need a function
<pippijn> so how do you multiplex it?
<Drup> multiplex ?
<pippijn> oh I see
<pippijn> create
<pippijn> gives a push function
<Drup> yes
<pippijn> that's good, I like it
<pippijn> so what's better about Pipe?
<Drup> you will need to ask rks` about that, I don't know async enough
<pippijn> hm, I see the push function returns unit
<Drup> (or rgrinberg)
<pippijn> so you can't tell whether the element has been read
<pippijn> with Pipe, you can wait for the pipe to become free
<pippijn> or rather, wait for your element to be read
aluuu has quit [Remote host closed the connection]
chouser has joined #ocaml
<chouser> what's the easiest way to use Jane Street's Core?
<chouser> I really only want Time.now() :-P
<chouser> OPAM?
ivan\ has quit [Remote host closed the connection]
lordkryss has quit [Quit: Connection closed for inactivity]
<MercurialAlchemi> chouser: opam is the best way to get ocaml packages in general
ivan\ has joined #ocaml
matason has quit [Quit: leaving]
octachron has quit [Quit: Leaving]
<chouser> opam is not being nice to me. Is there really no way to get millisecond-accurate wall-clock time without external libs?
* companion_cube uses Unix.gettimeofday
<companion_cube> maybe it's bad, I don't know
<chouser> No, that's perfect, thanks!
<chouser> says it right there in the docs. Don't know how I missed it.
AlexRussia has joined #ocaml
badkins has quit [Read error: Connection reset by peer]
<Drup> thomasga: the current assembalge doesn't compile ?
<thomasga> it should compile
<Drup> it fails during bootstraping with : https://bpaste.net/show/518fae81d1d6
<thomasga> that's weird
<Drup> (fun fact, the
<Drup> thomasga: I'm on 4.02.1, you want the full log ?
<thomasga> yes please! unfortunately, I'm not sure who will look at it and when ...
<Drup> I wanted to try today :(
enitiz has joined #ocaml
<chouser> Drup: did you see the link I mentioned earlier? Just in case you wanted to know what you were helping me with.
<Drup> chouser: yes, I looked a bit
<Drup> the lexer/parser hurts my sensibility
<Drup> :D
<chouser> yes, that was my first ocaml code. Maybe I'll clean it up a bit at some point.
swgillespie has joined #ocaml
<Drup> you should user a proper lexer, instead of hacking something with Str
jwatzman|work has joined #ocaml
<fds> Suppose that I were a complete idiot who wanted to write a proper lexer/parser. Where should I start?
AlexRussia has quit [Ping timeout: 244 seconds]
<Drup> menhir for the parser, probably ocamlex for the lexer
enitiz has quit [Ping timeout: 276 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
enitiz has joined #ocaml
* fds starts with the Menhir manual.
<fds> I know a bit about grammars, but my practical knowledge of parsers is sadly very limited.
englishm has quit [Excess Flood]
englishm has joined #ocaml
englishm has quit [Excess Flood]
englishm has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
rand000 has quit [Ping timeout: 265 seconds]
waneck has joined #ocaml
waneck_ has joined #ocaml
octachron has joined #ocaml
BitPuffin has quit [Ping timeout: 244 seconds]
waneck has quit [Quit: Leaving]
<vanila> how do I unpin?
<rks`> opam pin remove
<rks`> (more generally: opam help pin)
<vanila> thank you
<companion_cube> opam unpin works too
aubergines has quit [Remote host closed the connection]
Hannibal_Smith has joined #ocaml
dsheets has quit [Ping timeout: 264 seconds]
mal`` has quit [Ping timeout: 252 seconds]
stux has quit [Ping timeout: 252 seconds]
Cypi has quit [Ping timeout: 252 seconds]
Ptival has quit [Ping timeout: 252 seconds]
kandu has quit [Ping timeout: 252 seconds]
jbalint has quit [Ping timeout: 252 seconds]
mfp has quit [Ping timeout: 252 seconds]
jbrown has quit [Ping timeout: 252 seconds]
segmond has quit [Ping timeout: 252 seconds]
j0sh has quit [Ping timeout: 252 seconds]
zapu has quit [Ping timeout: 252 seconds]
voglerr1 has quit [Ping timeout: 252 seconds]
_2can has quit [Ping timeout: 252 seconds]
kandu has joined #ocaml
tizoc has quit [Ping timeout: 252 seconds]
smondet has quit [Ping timeout: 252 seconds]
frawgie has quit [Ping timeout: 252 seconds]
Cypi has joined #ocaml
Ptival has joined #ocaml
j0sh has joined #ocaml
kandu is now known as Guest17984
_2can has joined #ocaml
smondet has joined #ocaml
frawgie has joined #ocaml
thomasga has quit [Quit: Leaving.]
ivan\ has quit [Read error: Connection reset by peer]
<vanila> any idea how to get this working? I've tried to make a short test of the ctypes/cstub thing http://lpaste.net/119638
ivan\ has joined #ocaml
jbalint has joined #ocaml
stux has joined #ocaml
tizoc has joined #ocaml
badkins has joined #ocaml
mal`` has joined #ocaml
struktured has quit [Ping timeout: 265 seconds]
<vanila> this is the mli im trying to program to http://lpaste.net/119637
Haudegen has quit [Ping timeout: 256 seconds]
mfp has joined #ocaml
zapu has joined #ocaml
segmond has joined #ocaml
jbrown has joined #ocaml
voglerr1 has joined #ocaml
Haudegen has joined #ocaml
lpw25 has joined #ocaml
struktured has joined #ocaml
thomasga has joined #ocaml
lordkryss has joined #ocaml
Anarchos has joined #ocaml
ggole has quit []
<vanila> trying to use ocaml is very awful :[
<ousado> O_O
<Drup> vanila: trying to do complicated things with ctypes*
<Drup> (especially the thing you are trying to do, it's not well documented :/)
<avsm1> vanila: ocamlbuild -use-ocamlfind <rest of line>
<Drup> avsm1: the issue is that it's not very clear how to use the new Cstub feature
<Drup> (in particular, write_c apparently also write an ml file, but where, how ... :|)
Kakadu has quit [Quit: Page closed]
<avsm1> This repo should be a decent skeleton: https://github.com/janestreet/async_ssl
<Drup> ah !
<avsm1> aside from that, it's still undergoing some iteration (advanced users are trying it already, as above). Filing bugs with requests for documentation is more useful than complaining on irc, as usual :-)
<vanila> should I get oasis?
<vanila> i didnt want to use it, but that skeleton uses it
<avsm1> vanila: if you're just experimenting, i'd recommend copying the infrastructure in async_ssl and modifying it
<Drup> avsm1: that only uses "normal" Cstub
<Drup> not the new "constant" thingy
<vanila> I have done make test in the latest git of ocaml-ctypes
<vanila> and it sucessfully runs the "constant" test
<vanila> but when I try to pull that out and build it with similar command line I just get errors
<avsm1> well, it's very new. dsheets has been using it, but it's probably not exposed anywhere just yet. I'd file a bug asking for it (it's the only way we know what people want)
<Tekk_> hrm
<Tekk_> Drup: I'm not sure that array actually does what we talked about
<Tekk_> I'll ask on the mailing list
hilquias has quit [Ping timeout: 256 seconds]
<Tekk_> oh
* Tekk_ got confused :P
<Tekk_> carray vs CArray
enitiz has quit [Ping timeout: 272 seconds]
larhat has quit [Quit: Leaving.]
uris77 has quit [Quit: leaving]
hilquias has joined #ocaml
badkins has quit []
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
oscar_toro has quit [Read error: Connection reset by peer]
badkins has joined #ocaml
oscar_toro has joined #ocaml
<Drup> Oh, I got it
<Drup> the ml output a C files that you will execute to output a ml file
<Drup> :|
<Drup> that you can link to do the binding
<Drup> binding-ception.
Kakadu has joined #ocaml
<Drup> avsm1: It's "slightly" contrived.
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
_andre has quit [Quit: leaving]
rgrinberg has quit [Quit: Leaving.]
ivan\ has joined #ocaml
ivan\ has quit [Changing host]
ivan\ has joined #ocaml
hellofunk has quit [Ping timeout: 264 seconds]
hellofunk has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Hannibal_Smith has quit [Ping timeout: 256 seconds]
Hannibal_Smith has joined #ocaml
<avsm1> Drup: but that's what's needed to do static determination of struct layout
<avsm1> otherwise you are computing the struct layout, which is no fun
<Drup> avsm1: oh, I didn't meant that it was not needed
<Drup> just that it needed some build system hair pulling, which is not my favorite kind of hair pulling
<vanila> i made up a different way to do it
avsm1 has quit [Quit: Leaving.]
bytbox has quit [Remote host closed the connection]
nullcat has joined #ocaml
scythe- has quit [Ping timeout: 256 seconds]
nullcat has quit [Client Quit]
octachron has quit [Quit: Leaving]
<Anarchos> Drup hair pulling ? Maybe i am on the wrong channel ...
manizzle has joined #ocaml
manizzle has quit [Quit: Leaving]
manizzle has joined #ocaml
rgrinberg has joined #ocaml
antegallya has quit [Quit: Leaving.]
antegallya has joined #ocaml
<vanila> corebuild -pkg ctypes.foreign example.native
<vanila> I can build my program with this, but how can I also link a .a library in?
bytbox has joined #ocaml
bjorkintosh has joined #ocaml
thomasga has quit [Ping timeout: 265 seconds]
zwer has quit [Remote host closed the connection]
zwer has joined #ocaml
swgillespie has joined #ocaml
<vanila> corebuild -lflags -I,/home/vanila/Projects/up/nacl-20110221/build/arch/lib/amd64/ -lflags -cclib,-lnacl -pkg ctypes.foreign example.native
<vanila> I'm really confused about this
<vanila> with the correct -I path this compiles and links
<vanila> if I change the -I path it fails because it can't find nacl
<vanila> that makes me think it is linking in libnacl.a
<vanila> but I still get this error Fatal error: exception Dl.DL_error("./example.native: undefined symbol: crypto_sign_edwards25519sha512batch_ref")
<vanila> when running the program
WraithM has joined #ocaml
BitPuffin has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
myyst has quit [Ping timeout: 272 seconds]
<vanila> How do I point ocamlfind/ocamlopt to a library i have in opam?
<vanila> ocamlfind opt -thread -package ctypes crypto_sign.ml example.ml # is giving me errors since it cant find Ctypes, Foreign etc
<Drup> it should already be pointed
<vanila> somehow corebuild finds it but not ocamlfind
<Drup> you need ctypes.foreign for Foreign
myyst has joined #ocaml
<Drup> vanila: add "-use-ocamlfind"
<Drup> we told you multiple time
<vanila> that tells me opt: unknown option `-use-ocamlfind'.
<Drup> ah, you're using ocamlfind directly, not ocamlbuild, right
<vanila> ill use anything if it would just let me do this
skinkitten has quit [Quit: Leaving]
reem has quit [Remote host closed the connection]
WraithM has quit [Quit: leaving]
reem has joined #ocaml
vanila has left #ocaml ["Leaving"]
rand000 has joined #ocaml
Intensity has quit [Ping timeout: 244 seconds]
enitiz has joined #ocaml
swgillespie has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
struktured has quit [Ping timeout: 264 seconds]
bytbox has quit [Remote host closed the connection]
arj has quit [Quit: Leaving.]
axiles has quit [Ping timeout: 246 seconds]
rgrinberg has quit [Quit: Leaving.]
MrScout has quit [Remote host closed the connection]
badkins has quit []
MrScout has joined #ocaml
axiles has joined #ocaml
martintrojer has quit [Ping timeout: 244 seconds]
rgrinberg has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
martintrojer has joined #ocaml
myyst is now known as myst
bytbox has joined #ocaml
enitiz has quit [Ping timeout: 265 seconds]
badkins has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
swgillespie has quit [Quit: Textual IRC Client: www.textualapp.com]
rgrinberg has quit [Quit: Leaving.]
bjorkintosh has quit [Quit: Leaving]
chaptast_ has quit []
bytbox has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
iago has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 245 seconds]
enitiz has joined #ocaml
reem has quit [Remote host closed the connection]
MrScout has quit [Remote host closed the connection]
avsm has joined #ocaml
reem has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
iago has quit [Ping timeout: 265 seconds]
Kakadu has quit [Remote host closed the connection]
hilquias has quit [Ping timeout: 276 seconds]
MisaMisa has joined #ocaml
hilquias has joined #ocaml
arj has joined #ocaml
arj has quit [Client Quit]
claudiuc has joined #ocaml
antkong has joined #ocaml
reem has quit [Remote host closed the connection]
antkong has quit [Ping timeout: 256 seconds]
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml