flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.03.0 announced http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
bensu has quit [Remote host closed the connection]
bensu_ has joined #ocaml
bensu_ has quit [Remote host closed the connection]
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
bensu has joined #ocaml
fredlhsu has quit [Quit: fredlhsu]
benwbooth has quit [Ping timeout: 272 seconds]
sh0t has joined #ocaml
benwbooth has joined #ocaml
bernardo1pc is now known as bernardofpc
nivek has joined #ocaml
rgrinberg has joined #ocaml
nojb has joined #ocaml
hannes` is now known as hannes
yunxing_ has quit [Remote host closed the connection]
yunxing_ has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
bensu has quit [Remote host closed the connection]
yunxing_ has quit [Remote host closed the connection]
seangrove has quit [Ping timeout: 260 seconds]
seangrove has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 264 seconds]
nivek has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sh0t has quit [Ping timeout: 250 seconds]
nivek has joined #ocaml
madroach has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
yunxing_ has joined #ocaml
sh0t has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
seangrove has quit [Ping timeout: 276 seconds]
yunxing_ has quit [Remote host closed the connection]
bensu has joined #ocaml
bensu has quit [Ping timeout: 252 seconds]
dsheets has joined #ocaml
kushal has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
FreeBirdLjj has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sh0t has quit [Ping timeout: 250 seconds]
ncthom91 has joined #ocaml
dsheets has joined #ocaml
Algebr`` has joined #ocaml
sdothum has joined #ocaml
tmtwd has joined #ocaml
dsheets has quit [Ping timeout: 272 seconds]
mcc has joined #ocaml
sh0t has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
yunxing_ has joined #ocaml
yunxing_ has quit [Client Quit]
Algebr`` has quit [Ping timeout: 250 seconds]
nivek has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
fredlhsu has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 258 seconds]
manud has quit [Quit: manud]
infinity0 has quit [Ping timeout: 250 seconds]
infinity0 has joined #ocaml
dsheets has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
fredlhsu has quit [Quit: fredlhsu]
dsheets has quit [Ping timeout: 244 seconds]
pierpa has quit [Ping timeout: 264 seconds]
jonasen has joined #ocaml
bensu_ has joined #ocaml
MercurialAlchemi has joined #ocaml
bensu_ has quit [Ping timeout: 252 seconds]
dsheets has joined #ocaml
nyu_ has joined #ocaml
dsheets has quit [Ping timeout: 260 seconds]
tmtwd has quit [Ping timeout: 244 seconds]
dsheets has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
nyu_ has left #ocaml [#ocaml]
dsheets has quit [Ping timeout: 272 seconds]
bensu_ has joined #ocaml
sh0t has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 246 seconds]
nicholasf has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
yunxing_ has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 258 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
yunxing__ has joined #ocaml
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
yunxing_ has quit [Ping timeout: 250 seconds]
kushal has quit [Quit: Leaving]
zRecursive has joined #ocaml
dsheets has joined #ocaml
nicholasf has joined #ocaml
FreeBird_ has joined #ocaml
dsheets has quit [Ping timeout: 264 seconds]
FreeBirdLjj has quit [Ping timeout: 250 seconds]
dsheets has joined #ocaml
jonasen has joined #ocaml
so has joined #ocaml
henrytill_ is now known as henrytill
henrytill has quit [Changing host]
henrytill has joined #ocaml
dsheets has quit [Ping timeout: 246 seconds]
eikke has joined #ocaml
nojb has quit [Ping timeout: 244 seconds]
MercurialAlchemi has joined #ocaml
bensu_ has quit []
eikke has quit [*.net *.split]
so has quit [*.net *.split]
so has joined #ocaml
eikke has joined #ocaml
tvaalen_ has quit [Changing host]
tvaalen_ has joined #ocaml
tvaalen_ is now known as tvaalen
jonasen has quit [Ping timeout: 264 seconds]
jonasen has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
ygrek has joined #ocaml
dsheets has joined #ocaml
kolko has joined #ocaml
dsheets has quit [Ping timeout: 272 seconds]
hunteriam has joined #ocaml
Maxdaman1us is now known as Maxdamantus
A1977494 has joined #ocaml
nicholasf has quit [Remote host closed the connection]
simon` has joined #ocaml
govg has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
regnat has quit [Quit: WeeChat 1.5]
regnat has joined #ocaml
nicholasf has joined #ocaml
Mandus_ is now known as Mandus
AltGr has joined #ocaml
regnat has quit [Quit: WeeChat 1.5]
regnat has joined #ocaml
demonimin has quit [Ping timeout: 272 seconds]
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 260 seconds]
steve_gh has joined #ocaml
<steve_gh> Hi. My neurons are getting all bent trying to work out the intricacies of typing in the Calendar module. I can create a new period of a month as
<steve_gh> let p = Period.month 1
<steve_gh> or one year as
<steve_gh> let pp = Period.year 1
zRecursive has quit [Remote host closed the connection]
Simn has joined #ocaml
<steve_gh> so what would be the type of a constructor function that could be a constructor for any type of date field, so the type of Period.day or Peiod.week or Period.month or Period.year ?
rand__ has joined #ocaml
regnat[m] has joined #ocaml
regnat has left #ocaml ["WeeChat 1.5"]
nojb has joined #ocaml
<adrien> inside Period
<adrien> type t = Day of day | Week of week | Month of month | Year of year
<adrien> feels like more repetition than it actually is
<steve_gh> Thxa <adrien>. But what I can't work out is the constructor type. So suppose I have a function f c:x -> i:int -> Period.t, where c is a constructor (Period.month or Period.year say).
dexterph has joined #ocaml
<steve_gh> What is x, the type of c ?
dsheets has joined #ocaml
jonasen has quit [Ping timeout: 240 seconds]
<jun__> you cannot pass around constructors
yunxing__ has quit [Ping timeout: 250 seconds]
dsheets has quit [Ping timeout: 250 seconds]
<jun__> in utop: type t = A of int | B of int;; then A;; results in "Error: The constructor A expects 1 argument(s), but is applied here to 0 argument(s)"
steve_gh has quit [Ping timeout: 250 seconds]
<flux> hm, I assume the reagents library requires multicore ocaml?
<chelfi> in this particular instance though, if I'm not mistaken, Period.month and Period.year both take an int and return a compatible type (polymorphic variants) so I believe x could be int -> Period.(date_field period)
nicholasf has quit [Remote host closed the connection]
rand__ has quit [Quit: leaving]
nicholasf has joined #ocaml
rand__ has joined #ocaml
mcc has quit [Quit: Connection closed for inactivity]
dave24 has joined #ocaml
<jun__> yes, but having a function (int -> Period.t) -> int -> Period.t is essentially the identity
fedjo has joined #ocaml
jwatzman|work has joined #ocaml
kdas__ has joined #ocaml
ygrek has quit [Ping timeout: 244 seconds]
jonasen has joined #ocaml
Enjolras has quit [Remote host closed the connection]
dsheets has joined #ocaml
Enjolras has joined #ocaml
dhil has joined #ocaml
octachron has joined #ocaml
fedjo has quit [Remote host closed the connection]
fedjo has joined #ocaml
dsheets has quit [Remote host closed the connection]
kdas__ is now known as kushal
kushal has quit [Changing host]
kushal has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
FreeBird_ has quit [Remote host closed the connection]
zaquest has quit [Ping timeout: 240 seconds]
hunteriam has quit [Quit: Connection closed for inactivity]
larhat has joined #ocaml
freehck has joined #ocaml
zaquest has joined #ocaml
<dexterph> flux: yes, it will not build without it
steve_gh has joined #ocaml
<flux> it would be nice if there was an implementation for current ocaml, as I imagine it'll take some time till multicore is stable enough for integration (to be enabled by default)
<flux> whereas the reagant approach could be used already now even if without the concurrency benefits?
dhil has quit [Ping timeout: 246 seconds]
dsheets has joined #ocaml
dsheets_ has joined #ocaml
dsheets has quit [Ping timeout: 240 seconds]
Sorella has joined #ocaml
dsheets_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
kushal has quit [Quit: Leaving]
A1977494 has quit [Quit: Leaving.]
FreeBirdLjj has quit [Remote host closed the connection]
steve_gh has quit [Ping timeout: 250 seconds]
rwmjones_ is now known as rwmjones
dhil has joined #ocaml
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
Druup is now known as Drup
FreeBirdLjj has joined #ocaml
dsheets has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
sdothum has joined #ocaml
kushal has joined #ocaml
Kakadu has joined #ocaml
simon` has left #ocaml ["Killed buffer"]
nivek has joined #ocaml
dsheets has quit [Remote host closed the connection]
d0nn1e has quit [Ping timeout: 244 seconds]
dsheets has joined #ocaml
d0nn1e has joined #ocaml
darkf has quit [Quit: Leaving]
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jwatzman|work has joined #ocaml
dsheets has quit [Remote host closed the connection]
mpenet has joined #ocaml
tobiasBora has quit [Ping timeout: 258 seconds]
_y has quit [Ping timeout: 276 seconds]
dsheets has joined #ocaml
dsheets has quit [Remote host closed the connection]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
tobiasBora has joined #ocaml
sdothum has joined #ocaml
_y has joined #ocaml
sepp2k has joined #ocaml
Ankhers_ is now known as Ankhers
FreeBirdLjj has quit [Remote host closed the connection]
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
ygrek has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
rgrinberg has joined #ocaml
two_wheels has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
<companion_cube> https://github.com/rizo/elements a wild challenger appears!
<flux> cool, it has iterators as a first-class-citizen
<Drup> and no .mlis
<companion_cube> :D
<flux> drup, pft, that's just an ocamlc -i away!
<flux> I think there's room for a data-structure-oriented library.
<flux> it doesn't seem it has any interesting datastructures, though
* companion_cube could suggest such a library :]
<flux> companion_cube, you mean.. reins?-)
<companion_cube> :D
<companion_cube> touché
<companion_cube> this looks a bit like the author comes from Haskell
<Drup> companion_cube: only a bit :p
<Drup> (and that he doesn't know about containers :D)
<companion_cube> or he doesn't care
<companion_cube> I could open an issue? :DD
<Drup> please do
tane has joined #ocaml
<Drup> companion_cube: https://github.com/rizo/streams is midly more interesting
<companion_cube> yeah
<companion_cube> https://github.com/rizo/io this also looks a bit more interesting
<chelfi> companion_cube: he forked your ocaml-containers repo so I think you can assume he knows about it :)
<companion_cube> oh :D
<companion_cube> weird then
dsheets has joined #ocaml
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dsheets has quit [Ping timeout: 244 seconds]
Sorella has quit [Quit: Connection closed for inactivity]
malc_ has joined #ocaml
nicholasf has quit [Remote host closed the connection]
malc_ has left #ocaml [#ocaml]
FreeBirdLjj has joined #ocaml
jonasen has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
silver has joined #ocaml
BitPuffin has joined #ocaml
nivek has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
kushal has quit [Quit: Leaving]
Kakadu has quit [Ping timeout: 250 seconds]
SimonJF_ is now known as SimonJF
ncthom91 has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
nicholasf has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
dsheets has joined #ocaml
troydm has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
dsheets has quit [Ping timeout: 244 seconds]
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
troydm has quit [Ping timeout: 244 seconds]
tvynr has quit [Ping timeout: 244 seconds]
fredlhsu has joined #ocaml
ocaml376 has joined #ocaml
hcarty has joined #ocaml
<struk|desk2> anyone ever get this compiler error with mutually recursive modules : https://gist.github.com/struktured/bf24a8d72d8527d74a1718a96a73d162
struk|desk2 is now known as struk|desk
ocaml376 has quit [Ping timeout: 250 seconds]
groovy2shoes has quit [Ping timeout: 250 seconds]
nicholasf has quit [Ping timeout: 264 seconds]
nicholasf has joined #ocaml
fredlhsu has quit [Quit: fredlhsu]
sh0t has joined #ocaml
pippijn_ is now known as pippijn
malc_ has joined #ocaml
fredlhsu has joined #ocaml
dsheets has joined #ocaml
benwbooth has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
jonasen has joined #ocaml
A1977494 has joined #ocaml
tvynr has joined #ocaml
Kakadu has joined #ocaml
<mehdib> struk|desk: do you have non-functional values in your module?
wiredsister has joined #ocaml
troydm has joined #ocaml
<flux> doesn't seem like it
<flux> is the indentation horrific in that file?-)
<def`> struk|desk: you are including one of the recursively defined module into another recursively defined module...
<def`> If I had to guess, I would say it is the problem.
<struk|desk> yes it is bad but that's because the auto indenter isn't working for me .. sorry :)
<struk|desk> def`: ok let me make the simplest version of what you're saying and see if I can reproduce it. thanks
<struk|desk> trying to think of a good way to unwind the mutual dependency, but its how it was done in C++ ... so kinda annoying
<def`> why do you even need I at this level ?
<struk|desk> the module I ?
<def`> yes
<struk|desk> I don't, maybe...let me look at it
pierpa has joined #ocaml
jonasen has quit [Read error: Connection reset by peer]
<struk|desk> def`: well, line 44/55 define and implement get_map which returns I.Handle.t (which is basically just I.t)
<struk|desk> def`: and I itslef registers listeners which emit events that return said map.
nicholasf has quit [Remote host closed the connection]
<def`> your scheme looks insane
cr4ven_ is now known as cr4ven
<struk|desk> ok, how would you represent a map object registers listeners which have references in their api to the map object?
<def`> it seems you juste need type level recursion
fredlhsu has quit [Quit: fredlhsu]
<struk|desk> def`: oh I see. good idea. like this? ype map = {listener:listener} and listener = {event:event} and event = {map:map};;
<struk|desk> *type
<def`> yes
<struk|desk> got it. thanks for the tip
<def`> you are welcome :)
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
nicoo has quit [Ping timeout: 244 seconds]
nicholasf has joined #ocaml
nicoo has joined #ocaml
MercurialAlchemi has joined #ocaml
<struk|desk> def`: I got so used to always wrapping types in modules I forgot about recursive type definitions lol
<flux> please let us see how tiny that big chunk or recursive module greatness came after this refactoring.. :)
<def`> When you start using recursive module, you should restart from OCaml 101 :P
<def`> tempted to type module rec => return to square one.
<Drup> def`: well, there are two "simple" valid use cases
<Drup> 1) using a map/set of t inside t
<Drup> 2) recursion between type and class type
<Drup> (arguably, 2) should be supported in the language ...)
<flux> yeah, I wish class/class type worked nicely with the same recursive block of types
<flux> I guess it's not trivial to implement - or nobody dares touch the object type code :)
<flux> I wonder what the syntax would be.. type a = b and class .. perhaps, but then one would need to choose from type class .. and type .. and class .. end and type i = j I suppose
slash^ has joined #ocaml
slash^ has quit [Remote host closed the connection]
nivek has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
slash^ has joined #ocaml
nivek has quit [Client Quit]
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
slash^ has quit [Read error: Connection reset by peer]
slash^ has joined #ocaml
pitastrudl_ is now known as pitastrudl
pierpa` has joined #ocaml
sethltx has joined #ocaml
pierpa has quit [Ping timeout: 240 seconds]
benwbooth has joined #ocaml
nicholasf has quit [Remote host closed the connection]
shinnya has joined #ocaml
tane has quit [Quit: Leaving]
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
malc_ has quit [Read error: Connection reset by peer]
ncthom91 has quit [Quit: Textual IRC Client: www.textualapp.com]
sethltx has quit [Ping timeout: 250 seconds]
mpenet has quit [Remote host closed the connection]
jeffmo has joined #ocaml
ansiwen_ is now known as ansiwen
seangrove has joined #ocaml
<seangrove> rgrinberg: I'm trying to add cmdliner to accept args to an ocaml app that also uses opium. But it seems that Opium tries to read the args itself and throws an error: "Opium Default Name: too many arguments, don't know what to do with `blahblah'. Usage: Opium Default Name [OPTION]... Try `Opium Default Name --help' for more information."
<rgrinberg> seangrove: Yes this is a problem. It's not totally clear to me how to compose user defined options with the CLI opium provides.
<seangrove> rgrinberg: Hrm, yeah, we're at the end of the project too. I expected this to be no big deal :)
<rgrinberg> I'm thinking that you either make a CLI wrapper that will call Opium_app.run_command or we should expose the cmdliner terms/args that opium defines so that a user can build up on them to creat their own command
<rgrinberg> If there are preferences, opinions, suggestions on this then I'm happy to hear them
<seangrove> I'm not sure yet, need to understand more. What's the motivation/design for opium (as a library) to capture CLI args, rather than letting the dev do it?
<rgrinberg> seangrove: Oh. It's only a convenience thing for quickly testing a web service. It's totally optional
dexterph has quit [Ping timeout: 244 seconds]
<rgrinberg> If you don't want it, just call `start`
<hcarty> rgrinberg: Exposing the cmdliner terms/args would be useful
<seangrove> rgrinberg: Ah, great. What's causing it to do so? App.run_command?
<rgrinberg> seangrove: you're looking for .start
<seangrove> rgrinberg: Great, thanks. But with .start, my program immediately exits, whereas with .run_command it stays up indefinitely
<rgrinberg> `Lwt_main.run (App.start t)`
<rgrinberg> App.start is barebones, it will not call the lwt event loop for you
<seangrove> Yeah, I have that...
<seangrove> One moment
<rgrinberg> hcarty: Ill make an issue to track this btw. Perhaps it's worth separating the options that modify run settings and options that have different actions (like printing the routes)
<seangrove> rgrinberg: This should be enough, right? https://gist.github.com/sgrove/457025fa5633814116acac91026ad249
<rgrinberg> seangrove: i think you're double wrapping Lwt.t's
<rgrinberg> Lwt_main.run (run_server ()) should be enough
<seangrove> rgrinberg: Ok, makes sense
<seangrove> Yup, that did it
<seangrove> Sorry for the newb questions :)
<rgrinberg> NP
<seangrove> A note about .run_command vs .start could be nice in the README for new people like me
hcarty1 has joined #ocaml
<seangrove> I didn't expect there to be two different ways to start/run a server :)
<rgrinberg> seangrove: will do.
<rgrinberg> seangrove: there are 3 b/c run_command has a prime version ;)
<Drup> (or rather in the documentation of each functions ...)
<hcarty1> rgrinberg: I do something similar with some internal tools. Provide something along the lines of "val config : config_t Cmdliner.Term.t" in a library
<seangrove> rgrinberg: Yeah, when you mentioned .start, I went to check the README but didn't see it, so looked into the source, and saw run_command', heh
hcarty has quit [Ping timeout: 252 seconds]
hcarty1 is now known as hcarty
<rgrinberg> hcarty: Yeah, I wish more libs did this.
<hcarty> rgrinberg: Agreed!
* hcarty adds notes to to-be-released libraries so that this isn't forgotten
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
<reynir> hcarty: do you have an example of this?
<hcarty> reynir: Of an exposed Cmdliner.t? I can find something
<hcarty> reynir: https://gist.github.com/hcarty/52b8933a012611a26d7526d69bcf6dc4 -- this is a slightly modified version of the actual module I mentioned
dsheets has quit []
<reynir> Thanks!
octachron has quit [Quit: Page closed]
jonasen has joined #ocaml
larhat has quit [Quit: Leaving.]
<rand__> /quit/quit
rand__ has quit [Quit: leaving]
kushal has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
nivek has joined #ocaml
wiredsister has quit [Ping timeout: 252 seconds]
AltGr has left #ocaml [#ocaml]
al-damiri has joined #ocaml
dave24 has quit [Quit: leaving]
rgrinberg has joined #ocaml
Kakadu has quit [Quit: Page closed]
benwbooth has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
benwbooth has joined #ocaml
yunxing_ has joined #ocaml
seangrove has quit [Remote host closed the connection]
seangrove has joined #ocaml
seangrove has quit [Remote host closed the connection]
kushal has quit [Quit: Leaving]
seangrove has joined #ocaml
nojb has quit [Ping timeout: 244 seconds]
octachron has joined #ocaml
monod has joined #ocaml
monod has quit [Read error: Connection reset by peer]
<seangrove> Trying to use Cohttp to retrieve (GET) a page over https, but geting `Fatal error: exception (Failure "No SSL or TLS support compiled into Conduit")` even though I have tls installed.
malc_ has joined #ocaml
malc_ has left #ocaml [#ocaml]
<seangrove> Bah, last time I did `opam install ssl` and it worked, but not this time
<seangrove> Hrm, forgot to update _oasis, let me try that
malc_ has joined #ocaml
<seangrove> Nope, no combination of ssl/tls works
Kakadu has joined #ocaml
<seangrove> I do see this warning when doing make: `Warning: the tag "pkg_tls" is not used in any flag or dependency declaration, so it will have no effect; it may be a typo`
orbitz has quit [Ping timeout: 264 seconds]
Kakadu has quit [Client Quit]
Kakadu has joined #ocaml
<seangrove> Anything obvious I might be missing?
<hcarty> seangrove: You could try a "make distclean && make" but it's a bit of a reach. Any chance there's a switch mismatch?
<Kakadu> pkg_tls seems to be an old syntax. Maybe package(tls) will work?
<seangrove> hcarty: Wow, looks like that did it
<seangrove> I always run `make clean && make && ./main.native` to rerun
<hcarty> seangrove: setup.data may have been pointing to a different switch
* seangrove sighs
<seangrove> Thanks hcarty
<hcarty> seangrove: You're welcome, glad it worked
<hcarty> There's a bit of bash magic I saw once to complain if setup.data doesn't match the current switch. Not sure if I have the link though.
<seangrove> Yeah, I don't know what any of the setup* files are for
<hcarty> setup.data caches the information found when ./configure is run
TheLemonMan has joined #ocaml
<rgrinberg> hcarty: which is also extremely unhelpful :/
jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nivek has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<hcarty> rgrinberg: Oh yes... it would be very nice if there were a version of setup-dynamic which did away with the setup.data file entirely
<companion_cube> well, how would you remember the --enable-foo commands?
<rgrinberg> companion_cube: those are fine, what's not fine is trying to remember where ocamlopt/ocamlfind are
<rgrinberg> those seem like a pointless optimization to me
<companion_cube> yeah, yeah
<rgrinberg> companion_cube: please fix ^_^
<companion_cube> :s
<companion_cube> I'm already waiting for the PR on cleanup to progress
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
fredlhsu has joined #ocaml
wiredsister has joined #ocaml
nivek has joined #ocaml
<seangrove> aantron: I'm trying to figure out what to use in http://ocsigen.org/lwt/2.5.1/api/Lwt_process#2_Spawningprocesses, but I can figure out how to access various fields: `let pid = Lwt_process.open_process ("/bin/ls" ,[|""|]) -> val pid : Lwt_process.process = <obj>` then, `pid.state -> Error: Unbound record field state`
<Drup> seangrove: method calls are with a #
benwbooth has quit [Quit: Textual IRC Client: www.textualapp.com]
<Drup> in this case, it should be "let process = Lwt_proces ...." and then "process#pid"
<Drup> (or process#state)
<seangrove> Ah, I didn't notice that it was returning a record
<seangrove> Thank you
Algebr`` has joined #ocaml
<Drup> well, no, it's *not* returning a record :)
<seangrove> I was assuming there would be a `Lwt_process.state process` call
<seangrove> Damn, heh
<seangrove> I'm also having trouble understanding how to pattern match of of symbols in other modules
<Drup> I'm not sure I understand what you mean
<seangrove> `match pid#state with | `Running -> print_endline "Running!" | `Exited n -> print_endline ("Exited with status:" ^ string_of_int(n))` -> `Error: This pattern matches values of type [? `Running ] but a pattern was expected which matches values of type: Lwt_process.state`
<seangrove> But here (http://ocsigen.org/lwt/2.5.1/api/Lwt_process#2_Spawningprocesses) it looks like Running | Exited int
<seangrove> Ah, no backticks, I think
<Drup> exactly
<seangrove> But should I be qualifying Running | Exited somehow? I see warning 40 re: potential ambiguity
<flux> I was hoping porting compare_and_swap_field from ocaml-multicore would be a one-liner or a dozen lines at most, but no, it goes straight into the (new?) gc code.. :)
<flux> I guess I can could just fake it with a mutex etc.
<flux> why can't they just make an opam switch even if it's a little alpha ;)
martintrojer has quit [Ping timeout: 246 seconds]
slash^ has quit [Remote host closed the connection]
<Drup> seangrove: personally, I disable warning 40, but You can quantify if you prefer
<Drup> Lwt_process.Running, in the pattern
<seangrove> Ah, great, thanks
govg has quit [Quit: leaving]
martintrojer has joined #ocaml
infinity0 has quit [Ping timeout: 244 seconds]
BitPuffin has quit [Ping timeout: 264 seconds]
StrykerKKD has joined #ocaml
nivek has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
malc_ has left #ocaml ["ERC (IRC client for Emacs 25.0.50.2)"]
fredlhsu has quit [Quit: fredlhsu]
nivek has joined #ocaml
yunxing_ has quit [Ping timeout: 250 seconds]
<seangrove> rgrinberg: Opium doesn't need camlp4 any more, right? Getting this error trying to install https://gist.github.com/sgrove/f8a386f0d0595be2ce3cb30c538afb5b
<seangrove> Hrm, it's trying to install 0.14.0
<seangrove> I have 0.15.0 on my machine
rand__ has joined #ocaml
<seangrove> opam seems very, very non-deterministic across any given machine, even with switches
<seangrove> Is there a way to lock down dep versions?
<rgrinberg> seangrove: yes, only the newest version is camlp4 free
<rgrinberg> No. But if you made sure to run $ opam update, then it should pick the latest version.
<rgrinberg> Otherwise you can request for the latest version: $ opam install opium.0.15.0 for example
<seangrove> opam update doesn't help at all
infinity0 has joined #ocaml
<seangrove> This look right (using the unikernel/mirage docker image as a starting point)? https://gist.github.com/sgrove/0ce2bc7391a0d99c0c0f45164001a012
<seangrove> No, looks like it's supposed to be https://opam.ocaml.org
darkf has joined #ocaml
fredlhsu has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 252 seconds]
octachron has quit [Quit: Leaving]
dhil has quit [Ping timeout: 246 seconds]
fredlhsu has quit [Quit: fredlhsu]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
yunxing_ has joined #ocaml
<Drup> seangrove: pastebin "opam config report" and "opam repo"
Sorella has joined #ocaml
cnu- has quit [Ping timeout: 260 seconds]
d0nn1e has quit [Ping timeout: 260 seconds]
yunxing_ has quit [Remote host closed the connection]
d0nn1e has joined #ocaml
kolko has quit [Ping timeout: 260 seconds]
cnu- has joined #ocaml
cnu- has quit [Excess Flood]
cnu- has joined #ocaml
cnu- has quit [Excess Flood]
cnu- has joined #ocaml
cnu- has quit [Excess Flood]
cnu- has joined #ocaml
cnu- has quit [Excess Flood]
cnu- has joined #ocaml
cnu- has quit [Excess Flood]
cnu- has joined #ocaml
rgrinberg has quit [Quit: WeeChat 1.5]
rgrinberg has joined #ocaml
jeffmo has quit [Quit: jeffmo]
manud has joined #ocaml
rand__ has quit [Quit: leaving]
wiredsister has quit [Ping timeout: 264 seconds]
<Algebr``> Added a .h to CSources in oasis and now ocamlmklib is frekaing out
<Algebr``> nvm, my mistake
<Algebr``> oasis really needs to warn when you forget to use ,
rgrinberg has quit [Ping timeout: 252 seconds]
<mrvn> Algebr``: +1#
<mrvn> I also hate that editing a .c file will compile the .c file but not link again
<aantron> seangrove: sorry, was away. glad its sorted out :)
tvynr has quit [Ping timeout: 260 seconds]
<Kakadu> Does anybody know how to tell llvm to compile OCaml-Kaleidoscope example?
BitPuffin has joined #ocaml
BitPuffin has quit [Disconnected by services]
itPuffinB has joined #ocaml
itPuffinB is now known as BitPuffin
shinnya has quit [Ping timeout: 272 seconds]
<Kakadu> folks, btw, does in _tags syntax use_package_subpackage means something specific? Or it is just sosme outdated syntax?
<seliopou_> seangrove: make sure you have the aspcud package installed using OS's package manager. The built-in solver is terrible and should not be relied upon.
seliopou_ is now known as seliopou
yunxing_ has joined #ocaml
<seliopou> hcarty i'd be down for some endian parsing!
tvynr has joined #ocaml
yunxing_ has quit [Ping timeout: 250 seconds]
Simn has quit [Quit: Leaving]
Kakadu has quit [Remote host closed the connection]
nicholasf has joined #ocaml
nichola__ has joined #ocaml
nicholasf has quit [Ping timeout: 240 seconds]
nivek has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sepp2k has quit [Quit: Leaving.]
nichola__ has quit [Ping timeout: 240 seconds]
BitPuffin has quit [Read error: Connection reset by peer]
yunxing_ has joined #ocaml
rgrinberg has joined #ocaml
silver_ has joined #ocaml
silver has quit [Ping timeout: 264 seconds]
two_wheels has joined #ocaml
StrykerKKD has quit [Quit: Leaving]
<Algebr``> here's what I want.... DEBUG_VAL=foo opam install package and when that happens package gets that environment variable which gets passed to oasis's somewhow
<Algebr``> or at least does oasis have anyway to get a handle on arbitrary environment variables
<Drup> what do you want to do with that value ?
<Algebr``> choose compliation flags
<Algebr``> basically in CCOpt: -D_DEBUG
silver_ is now known as silver
<Drup> I would add an oasis flag
<Drup> because configuration via env variable is borderline evil, even for debuging purposes.
<Algebr``> but can CCOpt be +=?
<Algebr``> because I have other CCOpts
<Algebr``> and what would the flag be doing?
nicholasf has joined #ocaml
stomp has quit [Quit: Lost terminal]
scarygelatin has joined #ocaml
<Drup> if flag(debug) ...
<Algebr``> oh right
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
two_wheels has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
<hcarty> seliopou: Then let's do this parsing thing
silver has quit [Read error: Connection reset by peer]
hcarty has quit [Ping timeout: 252 seconds]
<Algebr``> how can I access an instance varibale of an OCaml object in the C Runtime
madroach has quit [Ping timeout: 244 seconds]
<Drup> "instance variable" ?
madroach has joined #ocaml
<Algebr``> class foo = object val foo = 123 end
<Algebr``> err, val foo_
<Algebr``> I want to access foo_ from the C layer
hcarty has joined #ocaml
<Drup> ah, field of an object
<Drup> that might be delicate.
A1977494 has quit [Remote host closed the connection]
<Algebr``> For Abstract_tag, what offset do you do to store the raw_pointer you're putting in
<Drup> Algebr`: I advise you to use the "inspect" package to answer such questions
<Algebr``> ie, foo = caml_alloc(1, Abstract_tag); Something(foo) = other_pointer
<Drup> It should tell you everything
<Algebr``> nvm, plain Store_field is fine
nivek has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]