watermind has quit [Quit: Konversation terminated!]
rwmjones has joined #ocaml
struktured has joined #ocaml
watermind has joined #ocaml
watermind has quit [Client Quit]
watermind has joined #ocaml
caligula has joined #ocaml
caligula has quit [Client Quit]
shinnya has joined #ocaml
nicoo has joined #ocaml
cross has joined #ocaml
Leonidas has joined #ocaml
chris2 has joined #ocaml
jzelinskie has joined #ocaml
j0sh has joined #ocaml
demonimin has joined #ocaml
lopex has joined #ocaml
Leonidas is now known as Guest27608
ggherdov has quit [Ping timeout: 272 seconds]
r0b1 has joined #ocaml
Guest27608 is now known as Leonidas
Leonidas is now known as Guest84663
darkf_ has joined #ocaml
darkf has quit [Ping timeout: 272 seconds]
ggherdov has joined #ocaml
darkf__ has joined #ocaml
darkf_ has quit [Ping timeout: 272 seconds]
shinnya has quit [Ping timeout: 272 seconds]
shinnya has joined #ocaml
segmond has joined #ocaml
segmond has quit [Quit: Leaving]
segmond has joined #ocaml
darkf__ has quit [Ping timeout: 272 seconds]
bjorkintosh has joined #ocaml
groovy2shoes has quit [Ping timeout: 264 seconds]
andreypopp_ has quit [Quit: Connection closed for inactivity]
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
ontologiae has joined #ocaml
bicgena has quit [Quit: Connection closed for inactivity]
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
groovy2shoes has joined #ocaml
RMacy has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
ontologiae has quit [Ping timeout: 272 seconds]
WraithM has joined #ocaml
groovy2shoes has quit [Ping timeout: 241 seconds]
_habnabit has joined #ocaml
_habnabit has quit [Changing host]
_habnabit has joined #ocaml
ygrek has joined #ocaml
darkf has joined #ocaml
ivan\ has joined #ocaml
via has quit [Write error: Broken pipe]
dinosaure1 is now known as d1n0
d1n0 is now known as dinosaure1
<struktured>
any async_parallel gurus around? I've been trying to get it working for days now with no sucess. Currently, it fails with a unix timeout: exception Unix.Unix_error(63, "connect", "((fd 4) (addr (ADDR_INET 127.0.1.1 10019)))")
rwmjones has quit [Excess Flood]
n0v has quit [Remote host closed the connection]
nicoo has quit [*.net *.split]
cross has quit [*.net *.split]
Guest84663 has quit [*.net *.split]
chris2 has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
j0sh has quit [*.net *.split]
demonimin has quit [*.net *.split]
lopex has quit [*.net *.split]
S1100100` has joined #ocaml
s4muel_ has joined #ocaml
via_ has joined #ocaml
yacks has joined #ocaml
cesar_ has joined #ocaml
cesar_ is now known as Guest57296
cross has joined #ocaml
Guest84663 has joined #ocaml
chris2 has joined #ocaml
jzelinskie has joined #ocaml
j0sh has joined #ocaml
demonimin has joined #ocaml
lopex has joined #ocaml
Guest57296 has quit [Remote host closed the connection]
nicoo has joined #ocaml
ygrek has quit [*.net *.split]
jao` has quit [*.net *.split]
S11001001 has quit [*.net *.split]
bjorkintosh has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
Brocoli_ has quit [*.net *.split]
s4muel has quit [*.net *.split]
via_ has quit [*.net *.split]
s4muel_ has quit [*.net *.split]
S1100100` has quit [*.net *.split]
darkf has quit [*.net *.split]
_habnabit has quit [*.net *.split]
WraithM has quit [*.net *.split]
RMacy has quit [*.net *.split]
segmond has quit [*.net *.split]
ggherdov has quit [*.net *.split]
r0b1 has quit [*.net *.split]
the-gibson has quit [*.net *.split]
stomp has quit [*.net *.split]
talzeus has quit [*.net *.split]
hto has quit [*.net *.split]
rixed has quit [*.net *.split]
patronus has quit [*.net *.split]
tlockney has quit [*.net *.split]
vpm has quit [*.net *.split]
adrien_oww has quit [*.net *.split]
pango has quit [*.net *.split]
segmond has joined #ocaml
bjorkintosh has joined #ocaml
ygrek_ has joined #ocaml
rwmjones has joined #ocaml
via_ has joined #ocaml
s4muel has joined #ocaml
S11001001 has joined #ocaml
darkf has joined #ocaml
_habnabit has joined #ocaml
WraithM has joined #ocaml
RMacy has joined #ocaml
ggherdov has joined #ocaml
r0b1 has joined #ocaml
tlockney has joined #ocaml
stomp has joined #ocaml
the-gibson has joined #ocaml
talzeus has joined #ocaml
hto has joined #ocaml
rixed has joined #ocaml
patronus has joined #ocaml
vpm has joined #ocaml
adrien_oww has joined #ocaml
pango has joined #ocaml
segmond has quit [Ping timeout: 264 seconds]
segmond has joined #ocaml
gereedy has joined #ocaml
bitbckt has joined #ocaml
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
Kakadu has joined #ocaml
segmond has quit [Read error: Connection reset by peer]
IbnFirnas has joined #ocaml
n0v has joined #ocaml
Brocoli_ has joined #ocaml
axiles has joined #ocaml
mcclurmc has joined #ocaml
nikki93 has joined #ocaml
segmond has joined #ocaml
<Dongyancai>
Hello, where to get the request body of a POST req when using netcgi2 in Ocamlnet? (Please notice me if this question is not suitable to discuss here.)
ygrek_ has quit [Ping timeout: 272 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
dlat_ is now known as dlat
mcclurmc has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
sorethroat has joined #ocaml
philtor has joined #ocaml
csakatoku has joined #ocaml
sorethroat has quit [Remote host closed the connection]
sorethroat has joined #ocaml
sorethroat is now known as yellowfish
philtor has quit [Ping timeout: 272 seconds]
csakatoku has quit [Remote host closed the connection]
cyanure__ has joined #ocaml
angerman has joined #ocaml
csakatoku has joined #ocaml
tlockney is now known as tlockney_away
rwmjones has quit [Ping timeout: 272 seconds]
nikki93 has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
andreypopp_ has joined #ocaml
rwmjones has joined #ocaml
yellowfish has quit [Ping timeout: 272 seconds]
WraithM has quit [Ping timeout: 272 seconds]
csakatoku has quit [Remote host closed the connection]
Simn has joined #ocaml
shinnya has joined #ocaml
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 272 seconds]
angerman has quit [Quit: Gone]
<companion_cube>
mrvn: your btree looks interesting!
rossberg_ has quit [Changing host]
rossberg_ has joined #ocaml
passiveobserver has quit [Changing host]
passiveobserver has joined #ocaml
ggherdov has quit [Changing host]
ggherdov has joined #ocaml
IbnFirnas has quit [Changing host]
IbnFirnas has joined #ocaml
andreypopp_ has quit [Changing host]
andreypopp_ has joined #ocaml
q66 has joined #ocaml
NoNNaN has joined #ocaml
wwilly has joined #ocaml
<wwilly>
bonjour
leifw_ has joined #ocaml
<flux>
dongyancai, it is suitable to discuss that here.. you maybe need to hook a bit lower, as it seems normally the POST arguments are available via the cgi#argument method, that is, Netcgi reads the body for you
<flux>
(reads and parses)
<flux>
or maybe it uses content type to determine what to do?
<flux>
dongyancai, you can access file uploads via cgi argument as well. so you want the 'raw' original data unparsed?
<Dongyancai>
flux, thank you, I think cgi argument is enough for me. I just read the document and found nothing about POST, I thought cgi#arguments only include args from GET (this is tested).
<flux>
dongyancai, I read an old source of mine and it looks like it handles both
<flux>
which I suppose is a bit strange, given technically you can have both GET and POST arguments and their names could collide.
ulfdoz has joined #ocaml
Simn is now known as Simn|gone
NoNNaN has quit [Ping timeout: 240 seconds]
Simn|gone has quit [Quit: Leaving]
NoNNaN has joined #ocaml
Simn has joined #ocaml
Guest84663 is now known as Leonidas
Leonidas is now known as Guest5355
Guest5355 has quit [Quit: Reconnecting]
pminten has joined #ocaml
Leonidas_ has joined #ocaml
Myk267 has joined #ocaml
Myk267 has quit [Changing host]
Myk267 has joined #ocaml
Myk267 has left #ocaml []
Leonidas1 has joined #ocaml
Leonidas1 has quit [Client Quit]
cross has quit [Quit: leaving]
cross has joined #ocaml
RMacy has quit []
thomasga has joined #ocaml
dkg has joined #ocaml
pedagand has joined #ocaml
gasche has joined #ocaml
Guest42303 has joined #ocaml
aurynj has joined #ocaml
ygrek_ has joined #ocaml
nikki93 has quit [Remote host closed the connection]
<flux>
cmdliner doesn't support putting the documentation of all commands (Term.eval_choice) into one man page, does it?
rks has joined #ocaml
angerman has quit [Quit: Gone]
watermind has quit [Ping timeout: 264 seconds]
rand000 has joined #ocaml
ulfdoz has quit [Ping timeout: 264 seconds]
wolfnn has joined #ocaml
watermind has joined #ocaml
patronus_ has joined #ocaml
willy_ has joined #ocaml
talzeus_ has joined #ocaml
kakadu_ has joined #ocaml
via has joined #ocaml
rixed_ has joined #ocaml
adrien_o1w has joined #ocaml
hto_ has joined #ocaml
cross_ has joined #ocaml
tlockneyz has joined #ocaml
tlockneyz is now known as tlockney
cross has quit [*.net *.split]
wwilly has quit [*.net *.split]
rwmjones has quit [*.net *.split]
andreypopp_ has quit [*.net *.split]
cyanure__ has quit [*.net *.split]
Kakadu has quit [*.net *.split]
via_ has quit [*.net *.split]
s4muel has quit [*.net *.split]
S11001001 has quit [*.net *.split]
darkf has quit [*.net *.split]
_habnabit has quit [*.net *.split]
ggherdov has quit [*.net *.split]
r0b1 has quit [*.net *.split]
the-gibson has quit [*.net *.split]
stomp has quit [*.net *.split]
talzeus has quit [*.net *.split]
hto has quit [*.net *.split]
rixed has quit [*.net *.split]
patronus has quit [*.net *.split]
tlockney_away has quit [*.net *.split]
vpm has quit [*.net *.split]
adrien_oww has quit [*.net *.split]
pango has quit [*.net *.split]
wolfnn has quit [*.net *.split]
ygrek_ has quit [*.net *.split]
n0v has quit [*.net *.split]
IbnFirnas has quit [*.net *.split]
Brocoli_ has quit [*.net *.split]
rand000 has quit [*.net *.split]
gereedy has quit [*.net *.split]
bitbckt has quit [*.net *.split]
vpm has joined #ocaml
pango has joined #ocaml
cyanure__ has joined #ocaml
the-gibson has joined #ocaml
the-gibson has quit [Changing host]
the-gibson has joined #ocaml
rwmjones has joined #ocaml
ggherdov has joined #ocaml
ggole has joined #ocaml
Leonidas_ is now known as Leonidas
bitbckt has joined #ocaml
gereedy has joined #ocaml
rand000 has joined #ocaml
s4muel has joined #ocaml
r0b2 has joined #ocaml
wolfnn has joined #ocaml
ygrek_ has joined #ocaml
IbnFirnas has joined #ocaml
n0v has joined #ocaml
Brocoli_ has joined #ocaml
<jdoles>
What's the point of cmdliner?
<jdoles>
AFAIK, there are better solutions already out there.
<jdoles>
Perhaps not for OCaml, but that is not a reason to reinvent the wheel badly.
yellowfish has joined #ocaml
mye has joined #ocaml
yacks has quit [Ping timeout: 264 seconds]
gargawel_ has quit [Quit: leaving]
gargawel1 has quit [Quit: leaving]
gargawel has joined #ocaml
<adrien>
like what?
<adrien>
(besides something based on ocaml-ty :P )
segmond has quit [Ping timeout: 264 seconds]
<jdoles>
adrien: I like docopt.org.
<jdoles>
adrien: and, AFAIK, there is no OCaml implementation of that.
<jdoles>
adrien: the domain specific language coincides with what POSIX usually uses.
<flux>
seems to provide pretty same thing as Cmdliner?
<jdoles>
cmdliner appears to have good backends, but the actual interface is much nicer in docopt.
<flux>
I can agree that cmdliner is a bit difficult to get into
<jdoles>
flux: "Lisp is also pretty much the same thing as Basic."
<adrien>
code generation makes me sad
<flux>
but on the other hand it provides typing that works well with OCaml - and manual pages
<adrien>
I prefer it to be at runtime for such tasks though
<jdoles>
adrien: there is no reason for any code to be generated.
<Drup>
jdoles: unless I miss something, Cmdliner is almost a DSL and enforce posix conventions
<flux>
how do I tell docopt that an argument is a list of 9 comma-separated floating point values, and if not so, it will produce diagnostics?
cross_ is now known as cross
<flux>
cmdliner doesn't so that either, but I can just add it to it so that it works well with the rest of the system
<adrien>
jdoles: I'd have to check in more details but for C it's a code generator
<adrien>
and other languages are "dynamic"
<adrien>
so it's a bit suspicious
cross has quit [Quit: leaving]
yacks has joined #ocaml
<jdoles>
flux: <float1> <float2> <float3> would work just fine.
<jdoles>
flux: that being said, I never needed 9 of those.
cross has joined #ocaml
<flux>
for example when I have this in my implementation: Term.(pure (Upload.upload sigint_triggered) $ common_opts_t $ source $ start_from_line) - I can be certain that Upload.upload has these parameters passed, and they will be of the proper format, or they will have default values
<flux>
and if the checks of the validity would fail, it would fail in the command line parser, so it is able to tell more accurately the location of the error..
<jdoles>
flux: I see little point in enumerating all the possible predicates in some library.
<flux>
jdoles, exactly my point!
<flux>
I have this in cmdliner: Arg.(value & opt (some @@ map affine_matrix_of_list_parser list_of_matrix @@ list float) None & info ["camera-matrix"] ~doc)
<jdoles>
flux: docopt just makes sure that it matches the described grammar. If one then expects a floating point number, someone should check for that.
<jdoles>
flux: and preferably a different library should solve that problem.
<flux>
jdoles, well how do I extend it to support imaginary numbers?
<jdoles>
flux: try to use it for one hour on a random complex code base.
<Drup>
jdoles: do you stop whining sometimes ?
<jdoles>
Drup: a better question would be: why are you (currently flux and you) defending OCaml?
<Drup>
(serious question, I'm really curious, because I haven't you say something else than whining)
<flux>
jdoles, OCaml is a great language, regardless of the lack of popular IDEs for it?
<flux>
what else should I prefer?
<flux>
scala, in JVM?
<jdoles>
flux: yes, that claim is just not logical.
<flux>
haskell, with its even more complicated type system?
<flux>
C, C++, C#, Objective C? please.
<flux>
and dynamic languages are really non-starters for me
<flux>
so ocaml seems like a real nice practical language that feels lean'n mean
<jdoles>
flux: why are dynamic languages non-starters?
<jdoles>
flux: is everything you do so complex that it needs a statically typed language?
<jdoles>
flux: and why don't you go all the way then with e.g. Coq?
<Drup>
xD
<flux>
because they get such a mess when a project grows. when you get a value, you just need to inspect it in a dynamic fashion. you can't just say "hey, this is X, let's do this"
<jdoles>
flux: that just depends on your programming style.
<flux>
jdoles, yeah or why don't I do assembler, it only has integers so no problems?
<flux>
well, I did some OpenCV programming in Python a year ago, and I didn't feel like the interfaces were very inspectable, or it was very apparent what values fit where
<jdoles>
flux: how about D?
<flux>
D might be ok, but I haven't felt the need to take a better look
<Drup>
null pointer, nope.
<rks>
Drup: if you know how to code, you won't have problems with null pointers ;)
<Drup>
no sum types, nope.
<jdoles>
You also have null pointers in OCaml, they are just called None.
<rks>
:DDD
<rks>
oh yes please, do continue jdoles
<Drup>
jdoles: the fact you can say that just show your complete stupidity
<flux>
jdoles, actually the point of option type is that you can have null pointers.. the point is that not everything needs to be null pointers :)
<Drup>
but sure, go on, it's entertaining
<jdoles>
In C++ you also have references.
<jdoles>
(and C++ compilers generate better code)
<Drup>
Suuure :D
<jdoles>
(and there is a ton of libraries for C++ (and multiple production IDEs))
<Drup>
you are welcome to join #cpp and have fun x)
<flux>
modern C++ is better than it used to be. but, I still prefer OCaml.
<flux>
for example, even modern C++ doesn't have a module system
<flux>
nor does it have the lightning-fast compilation times of OCaml (pretty much a consequence of the former)
<jdoles>
flux: there are practical solutions for that.
<Drup>
I you say go, I'm gonna rolf quite hard
<Drup>
Go*, let's not forget the capitalization.
<jdoles>
Google compiles 1MLOC/sec.
<rks>
rolf ?
<jdoles>
rofl
<Drup>
yep, typos~~ :)
<jdoles>
C++ being "slow" is just a lack of proper infrastructure.
<flux>
so where can I get that proper infrastructure?
<jdoles>
flux: invent a better search engine ;)
<flux>
sounds like a big task
<flux>
where as with OCaml, well, I'm already there :)
yellowfish has quit [Ping timeout: 265 seconds]
<jdoles>
flux: that being said, I am sure that for the same project I can get the compilation times to OCaml level, when needed.
<jdoles>
I don't think the ocaml compiler is that fast.
<jdoles>
That's more myth than reality.
<flux>
it's not. it's that c++ compilers are slow.
<flux>
I think java might get pretty fast to OCaml..
<pminten>
not quite I suspect, but C++ devs tend to include massive headers
<flux>
s/fast/close/
<jdoles>
The compilers are quite fast; the problem is repeated work.
<jdoles>
(and that's a developer created problem)
<flux>
so how do I get those slow compiling times in OCaml?
<pminten>
the language/main implementations do kinda create that problem though
<jdoles>
Sure, OCaml has a nicer module system.
<pminten>
with the whole include mechanism instead of modules
<jdoles>
But in the end, it appears that somehow it was not possible to create an IDE for a language which is apparently more simple in a more powerful language.
<jdoles>
"powerful" being Paul Graham style.
<jdoles>
I.e., completely meaningless.
<pminten>
considering the most IDE supported language is Java there might be an element of "need" in the equation
<flux>
it also appears it's not possible to write a c++ compiler in python..
<flux>
after all, no-one's done it
<jdoles>
flux: nobody said Python was great.
<jdoles>
Python is like PHP once was.
<flux>
well, that hardly was my point
<Drup>
jdoles: the fact that you eliminate merlin of the equation doesn't make it disappear :p
<jdoles>
It's just installed everywhere.
<flux>
so what's your language of choice?
<jdoles>
That depends on many features of the problem and the resources at hand.
<flux>
so what would be your choice set of languages?
segmond has quit [Ping timeout: 244 seconds]
angerman has joined #ocaml
<jdoles>
Ruby, Python, Haskell, C++, Scheme, sh, C, Java, OCaml in no particular order.
<flux>
so, I guess, if you needed to write a C++ compiler from scratch, you would choose C++ to do it in, because that has the best track record for it.
<jdoles>
It depends on what the goal of the C++ is.
<jdoles>
If the goal is to advertise "we don't go wrong", it would be Coq :)
<flux>
but aren't the others truly nonstarters from the 'has done it' point of view?
<jdoles>
If the goal would be "the fastest compiler on the planet", it would probably be C++.
<jdoles>
Preferably, correctly proven C++ output by a Coq compiler.
<flux>
ok, let's say you need to finish it within a decade.. ;-)
ontologiae has joined #ocaml
<jdoles>
If I would have to start from scratch, probably Haskell.
<jdoles>
I can tolerate Haskell mode, but I don't like it.
<jdoles>
flux: do you write *everything* in OCaml?
<flux>
at home, very close
<flux>
at office, none at all ;)
<jdoles>
flux: what do you write at the office? Java?
<flux>
for short tasks I prefer perl, sh, for tasks that are best solved with existing libraries C or C++, for tasks that require topmost performance, C++
<flux>
depends, most often C, C++, currently Objective C
ontologiae has quit [Ping timeout: 265 seconds]
ontologiae has joined #ocaml
yellowfish has joined #ocaml
pippijn has joined #ocaml
Thooms has joined #ocaml
<adrien>
poor soul :P
talzeus has joined #ocaml
talzeus_ has quit [Read error: Connection reset by peer]
groovy2shoes has joined #ocaml
yellowfish has quit [Ping timeout: 252 seconds]
aurynj has quit [Ping timeout: 252 seconds]
tane has joined #ocaml
ulfdoz has joined #ocaml
pminten has quit [Quit: Leaving]
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
watermind has quit [Read error: Connection reset by peer]
Thooms has quit [Quit: WeeChat 0.3.8]
q66 has quit [Quit: Leaving]
ontologiae has quit [Ping timeout: 252 seconds]
Xenasis has joined #ocaml
<Xenasis>
andrew@haru ~/dmlenu> oasis setup
<Xenasis>
findlib: [WARNING] cannot read directory /usr/lib/ocaml/site-lib: No such file or directory
<Xenasis>
W: Field XOCamlbuildLibraries is set but matching plugin OCamlbuild is not enabled.
<Xenasis>
Anyone any clues about this? I've googled to no avail
mye has quit [Quit: mye]
<adrien>
the second warning might be harmless
<adrien>
the first one...
<adrien>
how did you install ocaml?
<Xenasis>
via pacman (on Arch)
* adrien
has no arch but knows some people here do
<Xenasis>
Just the PACkage MANager
<Xenasis>
o.o
<adrien>
yeah, I know that; I meant I have no experience with the arch package for ocaml
<Xenasis>
Ah, I see
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
talzeus has quit [Remote host closed the connection]
Eyyub has joined #ocaml
talzeus has joined #ocaml
cyanure__ has quit [Remote host closed the connection]
groovy2shoes has quit [Ping timeout: 240 seconds]
aurynj has joined #ocaml
smerz has joined #ocaml
smerz_ has joined #ocaml
avsm has joined #ocaml
Thooms has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
mickraus_ has joined #ocaml
Fullma has joined #ocaml
ontologiae has joined #ocaml
mort___ has joined #ocaml
pminten has joined #ocaml
leifw_ is now known as leifw
mort___ has quit [Remote host closed the connection]
mort___ has joined #ocaml
mickraus_ has quit [Quit: Leaving]
yacks has quit [Quit: Leaving]
The-Mad-Pirate has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 247 seconds]
uggwar_ has quit [Ping timeout: 264 seconds]
stomp has joined #ocaml
aurynj has quit [Quit: Leaving]
thomasga has quit [Read error: Connection reset by peer]
andreypopp_ has joined #ocaml
thomasga has joined #ocaml
The-Mad-Pirate has quit [Read error: Connection reset by peer]
The-Mad-Pirate has joined #ocaml
Thooms` has joined #ocaml
Thooms has quit [Write error: Broken pipe]
pippijn_ has joined #ocaml
pippijn has quit [Quit: pippijn]
Thooms` has quit [Quit: WeeChat 0.3.8]
Xenasis has left #ocaml []
smondet has joined #ocaml
pminten has quit [Quit: Leaving]
pango has quit [Ping timeout: 246 seconds]
yellowfish has joined #ocaml
<mrvn>
Values do not match: val insert : t -> value -> (key, t) outer split
<mrvn>
is not included in val insert : t -> value -> (key, t) outer split
<mrvn>
What does it want to tell me?
pango has joined #ocaml
<Drup>
that you have different scope, I suppose
thomasga has quit [Quit: Leaving.]
mye has joined #ocaml
thomasga has joined #ocaml
thomasga has quit [Client Quit]
<mrvn>
I don't see how. I have: module type NodeType = sig
struktured has quit [Ping timeout: 252 seconds]
<mrvn>
..end module Node = functor (KV : KEY_VALUE) -> (struct .. end : NodeType with type key = KV.key and type value = KV.value)
<mrvn>
No include or open of other modules
<mrvn>
args, type split was redefined.
philtor has joined #ocaml
arj has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
smerz has quit [Ping timeout: 245 seconds]
smerz_ has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
yellowfish has quit [Ping timeout: 246 seconds]
struktured has joined #ocaml
avsm has joined #ocaml
yellowfish has joined #ocaml
mye has quit [Quit: mye]
pippijn_ is now known as pippijn
groovy2shoes has joined #ocaml
nikki93 has joined #ocaml
struktured has quit [Ping timeout: 265 seconds]
NoNNaN has quit [Ping timeout: 240 seconds]
mfp has joined #ocaml
The-Mad-Pirate has quit [Ping timeout: 246 seconds]
tane has quit [Ping timeout: 264 seconds]
jao` has joined #ocaml
jao` has quit [Changing host]
jao` has joined #ocaml
NoNNaN has joined #ocaml
Thooms has joined #ocaml
tane has joined #ocaml
ousado has quit [Read error: Connection reset by peer]
ousado has joined #ocaml
smerz_ has joined #ocaml
smerz has joined #ocaml
S11001001 has joined #ocaml
segmond has joined #ocaml
kakadu__ has joined #ocaml
so has joined #ocaml
j0sh_ has joined #ocaml
rixed has joined #ocaml
rand000 has quit [Ping timeout: 265 seconds]
ulfdoz_ has joined #ocaml
Leonidas_ has joined #ocaml
ggole has quit []
kakadu_ has quit [Remote host closed the connection]
rixed_ has quit [Write error: Broken pipe]
ulfdoz has quit [Write error: Broken pipe]
j0sh has quit [Write error: Broken pipe]
ulfdoz_ is now known as ulfdoz
chris2 has quit [Write error: Broken pipe]
lopex has quit [Ping timeout: 330 seconds]
Leonidas has quit [Remote host closed the connection]
lopex_ has joined #ocaml
lopex_ is now known as lopex
chris2 has joined #ocaml
Leonidas_ is now known as Leonidas
<ski>
hm, OCaml doesn't support locally declared data types, correct ?
<companion_cube>
it doesn't, indeed
<ski>
(except possibly if you define them inside a locally declared module ?)
<companion_cube>
exactly
<companion_cube>
let module Foo = ... in
<ski>
i hadn't reflected before on this divergence between SML and OCaml
<ski>
perhaps one reason OCaml doesn't do it, is because it's perhaps not clear that having local data types (and exceptions) be generative is a good idea ?
* ski
str there was some kind of issue with applicative vs. generative functors, or somesuch, as well
skchrko has joined #ocaml
r0b2 has quit [Quit: WeeChat 0.4.2]
r0b1 has joined #ocaml
mort___ has quit [Quit: Leaving.]
Leonidas has quit [*.net *.split]
so has quit [*.net *.split]
Leonidas has joined #ocaml
so has joined #ocaml
rand000 has joined #ocaml
arj has quit [Quit: Leaving.]
Simn has quit [Ping timeout: 246 seconds]
segmond has quit [Quit: Leaving]
segmond has joined #ocaml
Simn has joined #ocaml
struktured has joined #ocaml
avsm has quit [Quit: Leaving.]
groovy2shoes has quit [Ping timeout: 241 seconds]
philtor has quit [Ping timeout: 246 seconds]
mcclurmc has joined #ocaml
_alephlambda has joined #ocaml
WraithM has joined #ocaml
<_alephlambda>
Hi. I'm student working with OCaml. I'm trying to create a read function that takes in a file name and returns and list of lines in the file. (There may be better ways to do this, but this is just one part of a larger project and I need the list returned this way).