adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.2 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
nullcat has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
KDr2 has quit [Ping timeout: 260 seconds]
Algebr has joined #ocaml
KDr2 has joined #ocaml
<Algebr> how can I make modules open recursively? When I do open Foo.Bar, I want it to be just as if I did open Foo and open Foo.Bar
creichert has joined #ocaml
clog has joined #ocaml
dhil has quit [Quit: Leaving]
<Algebr> Can I use the ocsigen server by itself, without having to use eliom and whatnot.
<Drup> Algebr: sure
<Drup> and for the first question: you can't
<Algebr> Drup: looking through docs, do I have to make a conf file for ocsigenserver then?
<Drup> yes
<Algebr> I'm trying this simple configuration, http://pastebin.com/BeVk1P8u, but getting this incomprehensible error ocsigenserver: main: Fatal - Error in configuration file: Unexpected tag <static> inside <site dir="">
MrScout has quit [Ping timeout: 248 seconds]
<Algebr> Okay, I needed to have had <extension findlib-package="ocsigenserver.ext.staticmod"/> in the conf, that was not at all clear from the error message.
Hannibal_Smith has quit [Quit: Leaving]
keen__________25 has quit [Read error: Connection reset by peer]
keen__________25 has joined #ocaml
tmtwd has quit [Ping timeout: 256 seconds]
jabesed has quit [Quit: Konversation terminated!]
ygrek has quit [Ping timeout: 244 seconds]
<Algebr> Is there a short code snippet showing how to use tyxml to create a dom, then pretty print it?
swgillespie has joined #ocaml
yomimono has quit [Ping timeout: 264 seconds]
<Drup> It's terrible because I can't find one :D
<Drup> let doc = Html5.M.html [] in Html5.P.print ~output:print_string doc
<Algebr> that doesn't work, I get type errors.
cthuluh has quit [Quit: leaving]
<Drup> that's because you are supposed to define a real html document, with a head and body
cthuluh has joined #ocaml
<Algebr> I should have said a working and complete short code snippet.
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Drup> let doc = Html5.M.(html (head (title (pcdata "bla")) []) (body [])) in Html5.P.print ~output:print_string doc ;;
<Drup> (otherwise, just use eliom and http://ocsigen.org/eliom/4.1/manual/clientserver-html)
<Algebr> How do you pretty print the html?
<Drup> in eliom ?
<Algebr> Just tyxml
<Drup> it's in the code snippet I gave.
<Drup> otherwise, look at the documentation of Html5.P.print if you want line breaks
<Algebr> Yea, that's not pretty printed, its one long string
<Algebr> ok
<Algebr> Drup: By documenation, I looked at html5.mli, and then xml_print.mli but I don't really see anything of note
<Drup> weird, I was convinced there was an optional argument to give a newline function
<Algebr> soo....is there any option?
<Drup> I don't remember it on the top of my head and it's 3 in the morning for me.
mcclurmc has joined #ocaml
manizzle has quit [Ping timeout: 250 seconds]
tmtwd has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Max SendQ exceeded]
swgillespie has joined #ocaml
struktured has quit [Read error: Connection reset by peer]
struktured has joined #ocaml
SomeDamnBody has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
tmtwd has quit [Remote host closed the connection]
c74d has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
tennix has joined #ocaml
rgoulter has joined #ocaml
rgoulter has quit [Quit: Leaving]
darkf has joined #ocaml
ggole has joined #ocaml
* struktured adds an additional "... with module Blah = Foop" to his functor and rejoices that 1 compiler error goes away.
MooseAndCaml has joined #ocaml
<MooseAndCaml> Hi, I'm trying to make a generic iterator that will cycle through two list of different lengths, by some order, applying a function. I can't seem to get it to compile, any thoughts? https://gist.github.com/caseybasichis/b8d37c08d10bfb807808
<ggole> MooseAndCaml: you seem to be mixing up elements of the lists and the lists themselves
<ggole> Also, a lot of the cases seem to be identical
<MooseAndCaml> it should be aux acc alist blist aelement belement. in that way they are all different, the elements are the values from the previous recursion
<MooseAndCaml> it looks like im getting the error at: 'ta', but it seems to be in a list context everywhere its mentioned
<MooseAndCaml> oh, i think i see it
<ggole> If you're having trouble, try annotating some of the arguments
<MooseAndCaml> i got it to compile. I haven't tried annotating arguments as a way of debugging, I will definitely keep that in mind
<MooseAndCaml> Thanks for pointing me in the right direction, that had me stumped
obadz has quit [Ping timeout: 265 seconds]
mcclurmc_ has joined #ocaml
obadz has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
<Algebr> Having a stupid issue where I need to run an ocaml program under sudo but need to keep all the environment stuff from opam. Commented out env_reset in sudoers but still having problems
ggole has quit [Remote host closed the connection]
ggole has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
Algebr has quit [Remote host closed the connection]
<struktured> Algebr: can't you just make a script that does ". $HOME/.opam/opam-init/init.sh" and have sudo invoke that?
<struktured> well maybe home won't resolve right after invoking sudo but you get the idea
sp0on has quit [Ping timeout: 246 seconds]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
AltGr has joined #ocaml
andreypopp_ has quit [Ping timeout: 248 seconds]
ericbmerritt has quit [Ping timeout: 252 seconds]
strmpnk has quit [Ping timeout: 256 seconds]
l1x has quit [Ping timeout: 248 seconds]
ericbmerritt has joined #ocaml
Mass321 has quit [Ping timeout: 240 seconds]
Mass321 has joined #ocaml
andreypopp_ has joined #ocaml
n1ftyn8_ has quit [Ping timeout: 246 seconds]
bobpoekert has quit [Ping timeout: 240 seconds]
l1x has joined #ocaml
ggherdov has quit [Ping timeout: 240 seconds]
strmpnk has joined #ocaml
MooseAndCaml has quit [Ping timeout: 246 seconds]
bobpoekert has joined #ocaml
n1ftyn8_ has joined #ocaml
manud has quit [Quit: manud]
SomeDamnBody has joined #ocaml
sp0on has joined #ocaml
ggherdov has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
sspi has quit [Ping timeout: 248 seconds]
jeroud has quit [Ping timeout: 248 seconds]
rfv has quit [Ping timeout: 246 seconds]
cojy has quit [Ping timeout: 244 seconds]
lambdahands has quit [Ping timeout: 248 seconds]
ggherdov has quit [Ping timeout: 246 seconds]
strmpnk has quit [Ping timeout: 246 seconds]
seako has quit [Ping timeout: 246 seconds]
NhanH has quit [Ping timeout: 252 seconds]
eventualbuddha has quit [Ping timeout: 248 seconds]
andreypopp_ has quit [Ping timeout: 252 seconds]
clog has quit [Ping timeout: 240 seconds]
toomuchtvrotsurb has joined #ocaml
cojy has joined #ocaml
kushal has joined #ocaml
strmpnk has joined #ocaml
sspi has joined #ocaml
rfv has joined #ocaml
lambdahands has joined #ocaml
andreypopp_ has joined #ocaml
eventualbuddha has joined #ocaml
NhanH has joined #ocaml
<struktured> holy lord this module system is sneaky
<struktured> I feel like I solved a phd thesis every time I fix a line of code now
kushal has quit [Read error: Connection timed out]
seako has joined #ocaml
grouzen has joined #ocaml
kushal has joined #ocaml
<ggole> Yeah, modules are great fun
jeroud has joined #ocaml
<struktured> I think after this code is done I will be afraid of very little in the functor universe, but we shall see
tnguyen has quit [Quit: tnguyen]
ggherdov has joined #ocaml
huza has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Haudegen has quit [Ping timeout: 260 seconds]
toomuchtvrotsurb has quit [Remote host closed the connection]
grouzen has quit [Ping timeout: 255 seconds]
Bhavya has joined #ocaml
mcclurmc_ has quit [Ping timeout: 246 seconds]
Haudegen has joined #ocaml
contempt has quit [Remote host closed the connection]
SomeDamnBody has quit [Ping timeout: 246 seconds]
voglerr has joined #ocaml
contempt has joined #ocaml
voglerr has quit [Remote host closed the connection]
manizzle has joined #ocaml
Submarine has quit [Quit: Leaving]
Bhavya has quit [Quit: Quit the channel]
zpe has joined #ocaml
Bhavya has joined #ocaml
rgoulter has joined #ocaml
sh0t has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 250 seconds]
contempt has quit [Remote host closed the connection]
keen__________26 has joined #ocaml
jeroud has quit [Read error: Connection reset by peer]
contempt has joined #ocaml
NhanH has quit [Ping timeout: 244 seconds]
Mass321 has quit [Read error: Connection reset by peer]
sspi has quit [Write error: Connection reset by peer]
eventualbuddha has quit [Read error: Connection reset by peer]
ericbmerritt has quit [Read error: Connection reset by peer]
rfv has quit [Ping timeout: 244 seconds]
S11001001 has quit [Ping timeout: 244 seconds]
strmpnk has quit [Ping timeout: 252 seconds]
yminsky has quit [Ping timeout: 252 seconds]
lopex has quit [Ping timeout: 252 seconds]
emmanueloga has quit [Ping timeout: 256 seconds]
mariusae has quit [Ping timeout: 256 seconds]
n1ftyn8_ has quit [Read error: Connection reset by peer]
IbnFirnas has quit [Read error: Connection reset by peer]
steshaw has quit [Write error: Connection reset by peer]
keen__________25 has quit [Ping timeout: 255 seconds]
l1x has quit [Read error: Connection reset by peer]
ggherdov has quit [Ping timeout: 244 seconds]
bobpoekert has quit [Read error: Connection reset by peer]
ericbmerritt has joined #ocaml
clog has joined #ocaml
voglerr has joined #ocaml
mcclurmc has joined #ocaml
Mass321 has joined #ocaml
NhanH has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
TheLemonMan has joined #ocaml
eventualbuddha has joined #ocaml
sspi has joined #ocaml
steshaw has joined #ocaml
n1ftyn8_ has joined #ocaml
mariusae has joined #ocaml
strmpnk has joined #ocaml
rfv has joined #ocaml
S11001001 has joined #ocaml
lopex has joined #ocaml
sh0t has quit [Ping timeout: 256 seconds]
bobpoekert has joined #ocaml
IbnFirnas has joined #ocaml
yminsky has joined #ocaml
matason has joined #ocaml
emmanueloga has joined #ocaml
mort___ has joined #ocaml
jeroud has joined #ocaml
l1x has joined #ocaml
ohama has quit [Ping timeout: 256 seconds]
ohama has joined #ocaml
ollehar has joined #ocaml
yomimono has joined #ocaml
matason has quit [Ping timeout: 265 seconds]
octachron has joined #ocaml
manud has joined #ocaml
creichert has quit [Ping timeout: 240 seconds]
matason has joined #ocaml
mort___ has quit [Ping timeout: 246 seconds]
mort___ has joined #ocaml
ggherdov has joined #ocaml
troydm has quit [Ping timeout: 264 seconds]
mcclurmc has joined #ocaml
yomimono has quit [Ping timeout: 260 seconds]
mcclurmc has quit [Ping timeout: 244 seconds]
yomimono has joined #ocaml
whirm has joined #ocaml
yomimono has quit [Ping timeout: 255 seconds]
Sorella has joined #ocaml
kushal has quit [Excess Flood]
kushal has joined #ocaml
mort___ has quit [Quit: Leaving.]
mort___ has joined #ocaml
mcclurmc has joined #ocaml
lordkryss has joined #ocaml
mcclurmc has quit [Ping timeout: 265 seconds]
yomimono has joined #ocaml
mort___1 has joined #ocaml
mort___ has quit [Ping timeout: 246 seconds]
rgoulter has quit [Quit: Leaving]
KDr2 has quit [Ping timeout: 244 seconds]
KDr2 has joined #ocaml
nullcat_ has joined #ocaml
whirm has quit [Quit: WeeChat 1.2]
whirm has joined #ocaml
whirm has quit [Client Quit]
ceryo has joined #ocaml
mcclurmc has joined #ocaml
whirm has joined #ocaml
yomimono has quit [Quit: Leaving]
mcclurmc has quit [Ping timeout: 265 seconds]
mort___1 has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 265 seconds]
huza has quit [Quit: WeeChat 0.3.8]
mort___ has joined #ocaml
mort___ has left #ocaml [#ocaml]
manud has quit [Quit: manud]
tmtwd has joined #ocaml
dengshuan has joined #ocaml
dhil has joined #ocaml
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
_andre has joined #ocaml
troydm has joined #ocaml
nullcat_ has joined #ocaml
nullcat__ has joined #ocaml
nullcat_ has quit [Ping timeout: 264 seconds]
whirm has quit [Quit: WeeChat 1.2]
dengshuan has quit [Quit: WeeChat 1.2]
whirm has joined #ocaml
tennix has quit [Remote host closed the connection]
whirm has quit [Client Quit]
whirm has joined #ocaml
nullcat has joined #ocaml
nullcat__ has quit [Ping timeout: 256 seconds]
<rwmjones> oh god I hate ocamlbuild
jao has joined #ocaml
<ggole> Naturally, it's a build system
toolslive has joined #ocaml
tnguyen has joined #ocaml
<toolslive> any opam admins here?
<toolslive> I'm trying to specify an external dependency on g++-4.8 on ubuntu, but Travis chooses to ignore me.
nullcat__ has joined #ocaml
nullcat has quit [Ping timeout: 250 seconds]
rand000 has joined #ocaml
<Drup> toolslive: link to the PR please ?
<toolslive> looking at the travis log, it does install gcc-4.8-base but the compilation fails because the g++ isn't c++11 compliant (< 4.7)
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
<Drup> you should install in the opam prefix
<Drup> not globally
<toolslive> and how do I make sure the .so file is found afterwards?
<toolslive> and the sudo step comes after the compilation, so I'm not yet even hitting that one....
<Drup> I know, it's a general remark
<Drup> you can install it either in lib/yourlib
<Drup> or in lib/stublibs
<toolslive> yes. a good one though. there is also a /share folder.
<toolslive> but it's unclear what that one does
<Drup> well, put the share folder in the share folder :)
<toolslive> anyway, it needs to be one that's ends up being part of LD_LIBRARY_PATH
<Drup> (look inside ~/.opam/some_switch
<Drup> I know
<toolslive> also, I just discovered that according to opam, ubuntu isn't a debian
<Drup> well, actually, you don't necesseraly do, if you give the proper argument when building the ocaml library
<Drup> toolslive: I don't remember if travis is supposed to fetch the depext, there were some discussion about that
<toolslive> first things first. How do I get the correct g++ version .
<toolslive> it does install packages
<toolslive> so it more or less listens
<toolslive> "The following NEW packages will be installed:
<toolslive> aspcud camlp4 camlp4-extra clasp gcc-4.8-base gringo liblua5.1-0 libtbb2"
<toolslive> ..
<Drup> that's just the default things installed in every new travis job
<Drup> it doesn't mean it looks for depext
<Drup> just raise the point on your PR, and AltGr will answer later on
<toolslive> but it didn't do that gcc-4.8 stuff earlier
<toolslive> before I added the depext
<toolslive> not even when there was a debian depext
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
<Drup> pretty sure it did and you missed it.
<toolslive> are there other packages that need a depext that's not packaged by the system ?
<Drup> toolslive: every package that contains C code ? :)
<toolslive> could be. I was modifying more than 1 thing at a time.
<toolslive> that's not external
<toolslive> that's internal
<Drup> I don't make a difference, as soon as your package install it, it's as good as internal
mort___ has joined #ocaml
<toolslive> well, I once packaged camltc, which binds to an external C lib, and there we opted to add the .a file to the ocamlfind package, but that's not very pretty
mort___ has quit [Client Quit]
<Drup> I consider it fine.
grouzen has joined #ocaml
<toolslive> static linking has its own problems.
ivan\ has joined #ocaml
mort___ has joined #ocaml
jtfmumm has joined #ocaml
mort___ has quit [Ping timeout: 244 seconds]
tashjash has joined #ocaml
badkins has joined #ocaml
Bhavya has quit [Quit: Quit the channel]
sp0on has quit [Ping timeout: 256 seconds]
BitPuffin|osx has joined #ocaml
Kakadu has joined #ocaml
rand000 has quit [Ping timeout: 240 seconds]
AltGr has left #ocaml [#ocaml]
tnguyen1 has joined #ocaml
Mass321_ has joined #ocaml
inr_ has joined #ocaml
lopex_ has joined #ocaml
mcclurmc has joined #ocaml
merry_ has joined #ocaml
rwmjones_ has joined #ocaml
dmbaturin_ has joined #ocaml
vbmithr_ has joined #ocaml
rom1504_ has joined #ocaml
sigjuice_ has joined #ocaml
cartwright has joined #ocaml
tnguyen has quit [Ping timeout: 248 seconds]
bitbckt has quit [Ping timeout: 248 seconds]
chris2_ has joined #ocaml
Mass321 has quit [Ping timeout: 248 seconds]
sigjuice has quit [Ping timeout: 248 seconds]
alpen- has quit [Ping timeout: 248 seconds]
teiresias has quit [Ping timeout: 248 seconds]
cantstanya has quit [Ping timeout: 248 seconds]
chris2 has quit [Ping timeout: 248 seconds]
_habnabit has quit [Ping timeout: 248 seconds]
lopex has quit [Ping timeout: 248 seconds]
maufred has quit [Ping timeout: 248 seconds]
tg has quit [Ping timeout: 248 seconds]
rossberg has quit [Ping timeout: 248 seconds]
rwmjones has quit [Ping timeout: 248 seconds]
dmbaturin has quit [Ping timeout: 248 seconds]
vbmithr has quit [Ping timeout: 248 seconds]
inr has quit [Ping timeout: 248 seconds]
mal`` has quit [Ping timeout: 248 seconds]
profan has quit [Ping timeout: 248 seconds]
darius93 has quit [Ping timeout: 248 seconds]
mawuli has quit [Ping timeout: 248 seconds]
darkf has quit [Ping timeout: 248 seconds]
psy_ has quit [Ping timeout: 248 seconds]
merry has quit [Ping timeout: 248 seconds]
bjorkintosh has quit [Ping timeout: 248 seconds]
luzie has quit [Ping timeout: 248 seconds]
rom1504 has quit [Ping timeout: 248 seconds]
alpen has joined #ocaml
bitbckt has joined #ocaml
rossberg has joined #ocaml
bitbckt has joined #ocaml
bitbckt has quit [Changing host]
Mass321_ is now known as Mass321
rossberg has joined #ocaml
rossberg has quit [Changing host]
luzie has joined #ocaml
_habnabit has joined #ocaml
mal`` has joined #ocaml
psy_ has joined #ocaml
darius93 has joined #ocaml
bjorkintosh has joined #ocaml
mawuli has joined #ocaml
tg has joined #ocaml
lopex_ is now known as lopex
teiresias has joined #ocaml
maufred has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
chris2_ is now known as chris2
igoroliveira has joined #ocaml
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
fraggle_ has joined #ocaml
tennix has joined #ocaml
Denommus has joined #ocaml
MercurialAlchemi has joined #ocaml
ollehar1 has joined #ocaml
creichert has joined #ocaml
zpe has quit [Remote host closed the connection]
divyanshu has joined #ocaml
struk|work has quit [Ping timeout: 246 seconds]
ygrek has joined #ocaml
Hannibal_Smith has joined #ocaml
divyanshu has quit [Ping timeout: 256 seconds]
toolslive has quit [Ping timeout: 256 seconds]
MrScout has joined #ocaml
divyanshu has joined #ocaml
toomuchtvrotsurb has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
dmbaturin_ is now known as dmbaturin
badkins has quit [Ping timeout: 264 seconds]
MrScout has quit [Remote host closed the connection]
voglerr has quit [Remote host closed the connection]
jtfmumm has joined #ocaml
MrScout has joined #ocaml
divyanshu has quit [Ping timeout: 246 seconds]
mcc has joined #ocaml
divyanshu has joined #ocaml
ygrek has joined #ocaml
<ggole> Argh, stupid prenex polymorphism
mcc has quit [Client Quit]
divyanshu has quit [Client Quit]
tashjash has quit [Quit: Leaving]
ollehar1 has quit [Ping timeout: 244 seconds]
ygrek has quit [Ping timeout: 246 seconds]
<octachron> Quite a rare interjection. But I agree that navigating around prenex polymorphism is painful
<companion_cube> type foo = { bar: 'a. 'a yolo -> swag }
<Drup> ggole: Coloquinte! Scolopendre!
<companion_cube> this kind of stuff works
<companion_cube> Drup: Ectoplasm!
<ggole> Yeah, I introduced a record
zpe has joined #ocaml
<octachron> object method too: <f: 'a. 'a t -> int >
<ggole> The problem here is that I want a type variable introduced in a GADT to be universally quantified
<ggole> (Without at first quite realising that was what I wanted, so there was a bit of wtfing and head scratching first.)
<ggole> I suppose it wasn't too hard after understanding wtf the GADT error messages were on about
<Drup> the dreaded GADT error messages. :3
zpe has quit [Ping timeout: 250 seconds]
<octachron> Who doesn't love to learn that ex#581 is not compatible with ex#583?
<Drup> This expression has type ex#581 but an expression was expected of type ex#581 The type constructor ex#581 would escape its scope
nullcat__ has quit [Ping timeout: 256 seconds]
<flux> must be an error coded by the type liberation front. it really brings up the normal working conditions of types, held in captivity.
<Drup> ggole: not enough disambiguation :x
<ggole> Hmm?
ygrek has joined #ocaml
<Drup> You can remove basically all the Types.
<ggole> Oh, down the bottom? I guess so
<flux> so what's the next cool typing feature to ocaml? modular implicits?
<flux> what will be the next cool typing feature admitted that will accidentally make ocaml typing turing complete.. :)
<ggole> If you mean in print, if I let open Type in ... there, the various prints will collide
tennix has quit [Ping timeout: 252 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
<Drup> ggole: you don't open, you use the disambiguation
rand000 has joined #ocaml
jwatzman|work has joined #ocaml
Drup has quit [*.net *.split]
Drup has joined #ocaml
<octachron> Drup: isn't disambiguation disabled for gadt?
<ggole> Hmm, how to handle constructor arguments
<Drup> octachron: It's, hum, half disabled
<pippijn> disambiguation causes warnings
<Drup> pippijn: I disable it.
<pippijn> makes sense
<pippijn> is it ever going to not be a warning?
<Drup> maybe, I don't know
<pippijn> I find it a bit strange that they added a new feature but then made a warning to discourage you from using it
<Drup> It's because some people in the dev team were not fond of the automatic lookup mechanism, and so they garded it with a warning
<pippijn> I see
<Drup> The default set of warning for the compiler is quite bad anyway
sh0t has joined #ocaml
jabesed has joined #ocaml
tennix has joined #ocaml
tennix has quit [Client Quit]
<Drup> there may be some other that need disabling, I disable them as I encounter them
mort___ has joined #ocaml
badkins has joined #ocaml
grouzen has quit [Ping timeout: 256 seconds]
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
TheLemonMan has joined #ocaml
mort___ has quit [Quit: Leaving.]
jtfmumm has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
sh0t has quit [Quit: Leaving]
grouzen has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
octachron has quit [Ping timeout: 264 seconds]
zpe has joined #ocaml
manizzle has quit [Ping timeout: 250 seconds]
<Drup> I want modules with optional fields T_T
<Denommus> Drup: like it works for functions?
profan has joined #ocaml
<Denommus> Drup: you could do like Haskell does and create new functors that just include the previous with a default parameter, like module Foo(Bar: BAR, Baz: BAZ) = struct ... end module Blah(Bar: BAR) = struct include Foo(Bleh) end
<Denommus> Drup: (but yeah, I know it's verbose)
<companion_cube> Drup: oh yeah...
Akshay has joined #ocaml
<flux> well, there is a point in the warning I think
<flux> you can make changes you don't think are that big and the result will not anymore compile, because it is unable to find the type directly
shinnya has quit [Ping timeout: 246 seconds]
<flux> I think I can see how that could be offensive to a newcomer ;)
ggole has quit []
<Drup> flux: more offensive than a warning about disambiguation because he wrote the constructor not quantified ?
Anarchos has joined #ocaml
<Drup> Denommus: Yes, that's one of the method to drive myself mad by boilerplate overflow. I know others too :D
Algebr has joined #ocaml
octachron has joined #ocaml
<flux> drup, a surprising error trumps a warning in my opinion
<flux> the warning is quite to the point
<flux> if you have codes in a function like let sum = f.a + f.b + f.c in ... and then you think hmm maybe I do this many times so let's move it to a function the suddenly let sum f = f.a + f.b + f.c doesn't compile
<flux> it's best to at least understand the mechanism before making use of it.
Haudegen has quit [Ping timeout: 246 seconds]
octachron has quit [Ping timeout: 256 seconds]
<flux> or, even a simpler example, this compiles: let bar x = foo x; x.a but this doesn't let bar x = x.a
<flux> I don't know of any other language where that would happen :)
<Drup> (haskell)
<Drup> flux: it can't happen in a language where type annotations are mandatory, to begin with, so that's limit them quite a lot
<flux> without extensions?
<Drup> definitely with extensions. without, not sure.
<flux> nevertheles, I think someone might even say that particular example is a bit insane.
<flux> so a warning to explain how it even works in the first place is ok :)
<flux> in particular as googling the error seems to give relevant results..
<flux> s/error/warning/
<flux> I wonder if it could happen in OCaml before that feature was introduced, with objects..
<Drup> No, it couldn't
tashjash has joined #ocaml
igoroliveira has quit [Quit: Connection closed for inactivity]
manizzle has joined #ocaml
Haudegen has joined #ocaml
swgillespie has joined #ocaml
Hannibal_Smith has joined #ocaml
Akshay has quit [Quit: Leaving]
jeffmo has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
lobo has joined #ocaml
matason has quit [Ping timeout: 244 seconds]
<def`> flux: with labelled arguments
<def`> you have similar issues related to non principality
<Algebr> Drup: in js_of_ocaml, I want to make a top level function like.... let some_handler () = .... and then in plain html I want to be able to do onclick="some_handler()", right now just leaving it as a top level function doesn't expose it as a top level JS function when I use js_of_ocaml
tashjash has quit [Quit: Leaving]
jtfmumm has joined #ocaml
<Drup> remind me, why don't you want to use eliom ?
<Drup> imho, the simplest is just to set up the handler in jsoo directly, using Lwt_js_events
toomuchtvrotsurb has quit [Remote host closed the connection]
voglerr has joined #ocaml
<Algebr> because its too big and too complicated for what I want
<Drup> If you already use ocsigenserver and js_of_ocaml, no, it's not much bigger (as for complicated ... my opinion is that it's less complicated than not using it, but you'll realise that yourself, I guess)
<dmbaturin> Drup: Are there reasons for using ocsigen without eliom, other than writing a new framework?
<Drup> even writing a new framework would not be a very good reasons :/
mort___ has joined #ocaml
<Drup> A current good reason is mirage, but if you are using ocsigenserver, you (for the medium term) already give up on that
nullcat has joined #ocaml
<MercurialAlchemi> Drup: what's blocking ocsigen on mirage? the session store?
<Drup> various things, there is a ticket tracking that on the bugtracker
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
toomuchtvrotsurb has joined #ocaml
jtfmumm has joined #ocaml
_andre has quit [Quit: leaving]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
psy_ has quit [Ping timeout: 256 seconds]
Ptival has left #ocaml [#ocaml]
IAmGilesCorey has left #ocaml [#ocaml]
psy_ has joined #ocaml
<Algebr> Drup: your opinion not withstanding, since you are the one also writing eliom and whatnot, it too big and complicated for my taste. I just wanted to expose generated code from js_of_ocaml as plain top level functions for html to use.
<Drup> I answer that, the best solution is to use Lwt_js_events
<Drup> answered*
<Algebr> ah, thanks
divyanshu has joined #ocaml
manud has joined #ocaml
whirm has quit [Quit: WeeChat 1.2]
ygrek has quit [Ping timeout: 252 seconds]
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
hugomg has joined #ocaml
voglerr has quit [Remote host closed the connection]
lordkryss has joined #ocaml
struktured has quit [Ping timeout: 240 seconds]
badkins has quit []
ceryo has quit [Remote host closed the connection]
KDr2 has quit [Ping timeout: 246 seconds]
KDr2 has joined #ocaml
ygrek has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
psy_ has quit [Ping timeout: 244 seconds]
divyanshu has quit [Ping timeout: 246 seconds]
MrScout has quit [Ping timeout: 248 seconds]
zpe has quit [Remote host closed the connection]
toomuchtvrotsurb has quit [Ping timeout: 244 seconds]
Kakadu has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
toomuchtvrotsurb has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
lobo has quit [Quit: leaving]
BitPuffin|osx has quit [Ping timeout: 244 seconds]
hugomg has quit [Quit: Leaving]
wagle has quit [Read error: Connection reset by peer]
wagle has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
psy_ has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
obadz- has joined #ocaml
obadz has quit [Ping timeout: 240 seconds]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml