<Algebr>
Why does Random.bits give back 30 random bits and not 31?
<Algebr>
why does a record need to be a named type in this example: type k_bucket = {a: string} list
<Algebr>
al-damiri has quit [Quit: Connection closed for inactivity]
agarwal1975 has joined #ocaml
smondet has quit [Ping timeout: 248 seconds]
fantasticsid has joined #ocaml
nicootje is now known as nicoo
tennix has joined #ocaml
wtetzner has quit [Remote host closed the connection]
silver has quit [Read error: Connection reset by peer]
tennix has quit [Read error: Connection reset by peer]
tennix has joined #ocaml
noddy has quit [Ping timeout: 248 seconds]
nomicflux has quit [Quit: nomicflux]
tennix has quit [Ping timeout: 248 seconds]
jlongster has joined #ocaml
fantasticsid has quit [Quit: ERC (IRC client for Emacs 25.1.50.1)]
trepta has joined #ocaml
Algebr has quit [Ping timeout: 272 seconds]
Algebr has joined #ocaml
tennix has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
Algebr has quit [Ping timeout: 255 seconds]
madroach has joined #ocaml
smondet has joined #ocaml
Algebr has joined #ocaml
teknozulu_ has joined #ocaml
teknozulu has quit [Ping timeout: 256 seconds]
noddy has joined #ocaml
infinity0 has quit [Ping timeout: 248 seconds]
infinity0 has joined #ocaml
Algebr has quit [Ping timeout: 255 seconds]
nicoo has quit [*.net *.split]
engil has quit [*.net *.split]
leah2 has quit [*.net *.split]
def` has quit [*.net *.split]
qmm has quit [*.net *.split]
Exagone313 has quit [*.net *.split]
bbc has quit [*.net *.split]
cheater2 has quit [*.net *.split]
Armael has quit [*.net *.split]
Jaxan has quit [*.net *.split]
dlat has quit [*.net *.split]
rseymour has quit [*.net *.split]
lpaste has quit [*.net *.split]
regnat_ has quit [*.net *.split]
dx has quit [*.net *.split]
evhan has quit [*.net *.split]
dlat_ has joined #ocaml
cheater2 has joined #ocaml
qmm has joined #ocaml
dx has joined #ocaml
evhan has joined #ocaml
def` has joined #ocaml
rseymour has joined #ocaml
bbc has joined #ocaml
regnat_ has joined #ocaml
Armael has joined #ocaml
engil has joined #ocaml
engil has quit [Changing host]
engil has joined #ocaml
tennix has quit [Quit: WeeChat 1.6]
leah2 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
Jaxan has joined #ocaml
Exagone313 has joined #ocaml
lpaste has joined #ocaml
infinity0 has joined #ocaml
mfp has quit [Ping timeout: 248 seconds]
alienbot has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
maicki has joined #ocaml
maicki has quit [Client Quit]
copy` has quit [Quit: Connection closed for inactivity]
mengu has joined #ocaml
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
alienbot has quit [Quit: No Ping reply in 180 seconds.]
alienbot has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
Algebr` has joined #ocaml
wu_ng has joined #ocaml
teknozulu_ has quit [Ping timeout: 258 seconds]
groovy2shoes has joined #ocaml
jao has quit [Ping timeout: 272 seconds]
Algebr` has quit [Ping timeout: 255 seconds]
<milodavis>
When compiling an Eliom project using the makefile created by eliom-distillery, is there a way to have it compile extra files? Its currently ignoring the .eliom and .eliomi for a seperate module I've written.
maicki has joined #ocaml
<milodavis>
I'm assuming this is a simple configuration option, but I'm not sure how to do this. I've checked the documentation and can't find anywhere where multiple file projects are discussed
<milodavis>
The files should be being recognized by the SERVER_FILES and CLIENT_FILES wildcard patterns if that helps
<milodavis>
I'm using Eliom 6.1 with OCaml 4.0.3
rgrinberg has joined #ocaml
noddy has quit [Ping timeout: 272 seconds]
maicki has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mengu has quit [Remote host closed the connection]
nomicflux has joined #ocaml
mengu has joined #ocaml
jlongster has joined #ocaml
jlongster has quit [Client Quit]
Algebr` has joined #ocaml
infinity0 has quit [Ping timeout: 248 seconds]
wu_ng has quit [Read error: Connection reset by peer]
Algebr` has quit [Ping timeout: 255 seconds]
infinity0 has joined #ocaml
nomicflux has quit [Quit: nomicflux]
sz0 has quit [Quit: Connection closed for inactivity]
demonimin has quit [Ping timeout: 252 seconds]
pierpa has quit [Ping timeout: 258 seconds]
Mercuria1Alchemi has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
NJBS has quit [Quit: Catastrophic failure.]
noddy has joined #ocaml
Algebr` has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
Algebr` has quit [Ping timeout: 255 seconds]
ocaml113 has joined #ocaml
<ocaml113>
I am looking for a suggesting to implement a outer loop and inner loop. How is it done using a functional language ? Is it the same for loop structure ?
<ocaml113>
I think it has bug. How can it be done functionally?
maicki has joined #ocaml
grbh has joined #ocaml
noddy has quit [Ping timeout: 245 seconds]
<ocaml113>
Any suggestion ?
<ocaml113>
This is how I used to use loops in Java.
demonimin has joined #ocaml
<mengu>
think in terms of recursion, not for loops ocaml113
<ocaml113>
There is recursion even now.
alienbot has quit [Ping timeout: 248 seconds]
Algebr` has joined #ocaml
<orbitz>
ocaml113: what are you trying to accomplish?
<orbitz>
ocaml113: I presume the bug is on line 12 where you pass 'times' instead of 'pred' as the last parameter to loop
<orbitz>
or maybe not, times seems to represent multiple things here I geuss
<ocaml113>
http://pastebin.com/s2NTdMXJ This doesn't have the bug. So I want to know if functional styles don't need the 'if' loops I am using.
Algebr` has quit [Ping timeout: 255 seconds]
<ocaml113>
There is an outer and inner loop just like I use in Java.
<orbitz>
ocaml113: Depending on your future plans for this I'd either leave it or separate out the inner loop to a function something like: val repeat : int -> ('a -> 'a) -> 'a -> 'a
Simn has joined #ocaml
fre has joined #ocaml
jnavila has joined #ocaml
sh0t has quit [Quit: Leaving]
slash^ has joined #ocaml
trepta has quit [Ping timeout: 246 seconds]
rgrinberg has quit [Ping timeout: 240 seconds]
zv has quit [Ping timeout: 272 seconds]
d0nn1e has quit [Ping timeout: 256 seconds]
zv has joined #ocaml
d0nn1e has joined #ocaml
maicki has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
noddy has joined #ocaml
Algebr` has joined #ocaml
<Leonidas>
ocaml113: I try to avoid loops if possible.
Algebr` has quit [Ping timeout: 255 seconds]
lujara has quit [Ping timeout: 246 seconds]
noddy has quit [Ping timeout: 272 seconds]
lujara has joined #ocaml
lujara has joined #ocaml
lujara has quit [Changing host]
maattdd__ has joined #ocaml
AltGr has joined #ocaml
_zim_ has quit [Ping timeout: 246 seconds]
_zim_ has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
maattdd__ has quit [Ping timeout: 255 seconds]
Algebr` has joined #ocaml
maattdd__ has joined #ocaml
Algebr` has quit [Remote host closed the connection]
Algebr` has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
kakadu has joined #ocaml
johnelse has quit [Read error: Connection reset by peer]
<orbitz>
is it possible to implement a tree such that the type of a node expresses information about the path in the tree that it took to reach that node? I'm assuming something with GADTs.
johnelse has joined #ocaml
maattdd has quit [Read error: Connection reset by peer]
<orbitz>
- State "DONE" from "TODO" [2017-01-04 Wed 10:18]
<orbitz>
- State "DONE" from "TODO" [2017-01-05 Thu 11:05]
<orbitz>
:LOGBOOK:
<orbitz>
SCHEDULED: <2017-01-06 Fri +1d>
<orbitz>
:END:
<orbitz>
:PROPERTIES:
<orbitz>
:LAST_REPEAT: [2017-01-05 Thu 11:05]
<orbitz>
shit sorry, miss fire
maicki has joined #ocaml
_andre has joined #ocaml
<reynir>
hah
maattdd__ has quit [Ping timeout: 255 seconds]
octachron has joined #ocaml
<octachron>
orbitz, it is possible to encode the path to the node in the type; I am however not sure if it is useful
<orbitz>
octachron: What I'm looking to do is I want the leaf to contain a function that, for simplicity let's say, takes the same number of int parameters as the depth it is in the tree
ltadeu has joined #ocaml
maattdd__ has joined #ocaml
<Algebr`>
say I have module A and A has a type g = G of bytes. Now I have module B and I Want everything that A had, just to change g to be type h = H of bytes and have all the Usages of G now become H in B. Is this possible with include manipulations?
<octachron>
orbitz, this should be doable: something like "type 'result t = Leaf: 'a -> 'a t | Node: (int -> 'a) t * (int -> 'a) t -> 'a t"
<orbitz>
octachron: what I'm then trying to do is figure out how to apply the function at the end :)
<Algebr`>
chelfi: very interesting
maattdd__ has quit [Ping timeout: 255 seconds]
<Algebr`>
something like Error as Bad of 'b would be nice but probably not worth the hassle
xyproto is now known as yprot
yprot has left #ocaml ["WeeChat 1.6"]
maattdd__ has joined #ocaml
<octachron>
orbitz, generally if you want to create a function "a t -> 'b", it may be useful to go through a generalised function "a t -> (a -> 'b) -> 'b"
<octachron>
the second function argument then can carry the information about how to compute the result 'b at the current level
<octachron>
Algebr`, I fear not, including module can only restrict the module signature and not alter the module implementation
<Algebr`>
oh well
maattdd__ has quit [Ping timeout: 255 seconds]
<orbitz>
octachron: the issue I'm running into is I only wantto call one of the functions in the leaf, the path is going to be walked based on some other information. So I need to delay application of the function until it's hit the leaf and then apply the values to taht function. I think I might just need time for the concepts to sink in, maybe this is easier than my brain wants it to be.
<orbitz>
octachron: to say more concretely what I'm trying to do: I want a trie of URLs where each node is something between slashes. That something can be a literal, which is a string that is matched or it can be a variable where the valeu in the URL is remembered somehow. If I successfully get to a leaf I want to apply those variables from the URL to the function.
ocaml113 has quit [Quit: Page closed]
fraggle_ has quit [Read error: Connection reset by peer]
silver_ has joined #ocaml
ziyourenxiang has joined #ocaml
<octachron>
Algebr`, note that it should be possible to use functor to factorize the code if needed
silver has quit [Ping timeout: 255 seconds]
fraggle_ has joined #ocaml
<Drup>
octachron: that is not exactly true ...
<octachron>
Drup, do you mean the fact that you need to encode the sum type with functions? If there is one constructor the cost is not that high?
<Drup>
No, I was talking about Algebr` questions
<Drup>
but in this case, destructive subsistution is probably not enough, unfortunatly
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
noddy has joined #ocaml
Algebr` has quit [Ping timeout: 255 seconds]
ryanartecona has joined #ocaml
mpenet has joined #ocaml
mpenet has left #ocaml [#ocaml]
shinnya has quit [Ping timeout: 265 seconds]
Guest26_ has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
<milodavis>
Is there a way to get Eliom to compile additional files? The main application file is not able to find the module defined in the other files.
noddy has quit [Ping timeout: 272 seconds]
<Drup>
milodavis: you added it to the array in Makefile.options ?
<milodavis>
Drup: Which variable do I add it to?
<Drup>
*_FILES, depending if it's client or server
<milodavis>
Its a .eliom file. It should be covered by the wildcard pattern, right?
<Drup>
yes it should
<Drup>
Could you put your whole project in gist ? It's difficult to answer you like that
<milodavis>
Sure. One moment
Guest26_ has joined #ocaml
Guest26_ has quit [Client Quit]
Mercuria1Alchemi has quit [Ping timeout: 258 seconds]
<milodavis>
Does this have to do with the .depend file?
noddy has joined #ocaml
nomicflux has joined #ocaml
<Drup>
possibly, you can "make distclean && make" to be sure
<companion_cube>
pfiu, this upgrade on irc-client.0.4 was not that easy
<companion_cube>
(cc johnelse)
<johnelse>
uh oh
<companion_cube>
look at the changes ;-)
<companion_cube>
I'm not sure the active mode is ready
<companion_cube>
(or maybe it needs better defaults, i.e. much longer timeouts)
<companion_cube>
johnelse: I'll submit a PR to move from 60s to 300s by default, or something
<johnelse>
when I get some time I'll try and set up some tests against a localhost ircd
<johnelse>
what went wrong with 60s?
mengu has joined #ocaml
<companion_cube>
well, it disconnected by itself, I think :D
<johnelse>
hehe that's a start :)
<companion_cube>
yeah :D
<companion_cube>
also, yummy, TLS!!
<johnelse>
how often does freenode send pings?
mengu has quit [Ping timeout: 240 seconds]
<aantron>
lol !lwt summoned me
<aantron>
i am the lwt bot
<companion_cube>
I'm not sure, johnelse
<companion_cube>
sorry aantron :D
<aantron>
it's fine, good humor :)
<aantron>
since im here, i should say that i guess lwt 2.7.0 wont be merged into opam for a while. the new opam ci and lwt will be mutually tested against each other for a while (days, or a week or more)
cdidd has quit [Ping timeout: 248 seconds]
two_wheels has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
two_wheels has joined #ocaml
<aantron>
so what is ocabot_ and why does it link to old lwt docs?
ryanartecona has quit [Quit: ryanartecona]
marsam has quit [Remote host closed the connection]
smondet has quit [Ping timeout: 255 seconds]
mfp has quit [Ping timeout: 245 seconds]
ziyourenxiang has quit [Quit: Leaving]
<aantron>
companion_cube: ^ well i found ocabot, but not the json it reads. otherwise would do a little PR..
jlongster has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
justin_s1ith is now known as justin_smith
maattdd__ has quit [Ping timeout: 258 seconds]
copy` has joined #ocaml
RonnieHolm has joined #ocaml
LiberalSquash has joined #ocaml
LiberalSquash has left #ocaml [#ocaml]
fantasticsid has joined #ocaml
noddy has joined #ocaml
<milodavis>
I'm working on an Eliom project and it currently returns a 404 error. I think I've registered the service correctly and get no warnings during compilation
Algebr` has joined #ocaml
<companion_cube>
aantron: ah, I can dcc it to you if you want
AnxiousGarlic has joined #ocaml
AnxiousGarlic has left #ocaml [#ocaml]
freusque has quit [Ping timeout: 245 seconds]
freusque has joined #ocaml
agarwal1975 has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 246 seconds]
agarwal1975 has quit [Ping timeout: 248 seconds]
jlongster has joined #ocaml
madroach has quit [Quit: leaving]
smondet has joined #ocaml
pierpa has joined #ocaml
mengu has joined #ocaml
<aantron>
companion_cube: was solved by Armael :)
<companion_cube>
ah, nice
mengu has quit [Client Quit]
<jeroud>
companion_cube: I quite like containers after the hour or so I've spent replacing some of my custom utility functions with it.
unbalanced has quit [Quit: WeeChat 1.6]
<companion_cube>
cool ^^
jnavila has joined #ocaml
yomimono has quit [Ping timeout: 258 seconds]
sepp2k has quit [Quit: Leaving.]
asdf_ has joined #ocaml
maicki has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]