<whitequark>
These functions coincide with the usual orderings over integers, characters, strings and floating-point numbers, and extend them to a total ordering over all types.
<whitequark>
so there's some kind of consistent ordering defined, but which in particular is implementation-defined and not specified
<yezariaely>
ok, thanks. So I have to implement the ordering myself ;-)
<whitequark>
yes.
<jpdeplaix>
gour: yes. But IMHO, not now. It's not enough finished to actually replace it. There are some things missing like: a simple and documented handling of camlp4 extensions, (at least, a little) plugin system, …
alexey has quit [Quit: leaving]
<adrien_oww>
I have some doubt on the coverage of the oasis features tbh
darkf has quit [Quit: Leaving]
<gour>
jpdeplaix: no rush...i'm just starting with ocaml
csakatok_ has quit [Remote host closed the connection]
Arsenik has quit [Ping timeout: 246 seconds]
<jpdeplaix>
gour: it's ok. It's just my thoughts
q66 has joined #ocaml
<jpdeplaix>
adrien_oww: yes, it's not complete yet. But at the end, it can do something like that
csakatoku has joined #ocaml
Arsenik has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
csakatoku has quit [Remote host closed the connection]
Arsenik has quit [Read error: Operation timed out]
djcoin has quit [Quit: WeeChat 0.4.0]
avsm_cl has joined #ocaml
avsm_cl has quit [Client Quit]
csakatoku has joined #ocaml
gnuvince has quit [Remote host closed the connection]
Arsenik has joined #ocaml
dsheets has joined #ocaml
Kakadu has joined #ocaml
bondar has joined #ocaml
ollehar has quit [Ping timeout: 256 seconds]
Yoric has joined #ocaml
ben_zen has joined #ocaml
<whitequark>
that feeling when a function without loops or tail recursion never terminates -_-
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 256 seconds]
n06rin has joined #ocaml
talzeus has quit [Remote host closed the connection]
_andre has joined #ocaml
ontologiae has quit [Ping timeout: 246 seconds]
<Kakadu>
gour: hi!
walter has joined #ocaml
ontologiae has joined #ocaml
breakds has joined #ocaml
skchrko has quit [Ping timeout: 260 seconds]
demonimin_ has joined #ocaml
demonimin_ has quit [Changing host]
demonimin_ has joined #ocaml
ontologiae has quit [Quit: WeeChat 0.4.0]
mort___ has joined #ocaml
demonimin has quit [Ping timeout: 245 seconds]
skchrko has joined #ocaml
ben_zen has quit [Quit: Lecturetime!]
ttamttam1 has joined #ocaml
dch is now known as skunkwerks
ttamttam has quit [Ping timeout: 264 seconds]
ygrek has joined #ocaml
<gour>
Kakadu: hiya
<Kakadu>
Is it appropriate to ask if you have tried to install lablqt?...
ocp has joined #ocaml
<gour>
Kakadu: it is appropriate. sometime ago i wanted to set my ocaml dev env using opam/core 'cause that's what is used in realocaml book. however now when i get time i've to fix shell scripts to work with my fish shell. when i finish it and get some more free time, i'll try lablqt...hopefully later today
<gour>
for now it's important to say that i've decided to try ocaml and my project with it
<Kakadu>
flux: AFAIR you was interested in ocaml+QtQuick too
breakds has quit [Remote host closed the connection]
Drup has quit [Ping timeout: 264 seconds]
n06rin has quit [Quit: Leaving.]
<flux>
kakadu, yes
<flux>
(unfortunately, short on time)
<Kakadu>
flux: I have added demo app to my opam repo
<Kakadu>
Are you sure that Qt5 is installed OK, it is in search and pkg-config paths and modules for QtQuick are installed too?
<gour>
ahh, qtquick is not installed :-(
<gour>
which pk
<gour>
pkgs are required?
pippijn has quit [Ping timeout: 260 seconds]
mort___ has quit [Ping timeout: 264 seconds]
pippijn has joined #ocaml
<Kakadu>
e,
<Kakadu>
how do u install it?
<Kakadu>
I usually build from sources
<gour>
via apt-get
maufred_ has quit [Remote host closed the connection]
<Kakadu>
Qt5 already in debian sid?
pippijn has quit [Client Quit]
<Kakadu>
well
<gour>
yes in sid
pippijn has joined #ocaml
<Kakadu>
start from libqt5quick5
<Kakadu>
and probably libqt5qml-quickcontrols
<gour>
i installed all qml-related stuff, but opam complains about: stubs.h:6:37: fatal error: QtCore/QAbstractItemModel: No such file or directory although it's there
<gour>
Kakadu: there is libqt5qml5 pacakge but it does not have any *.pc file included?
<gour>
the package is v5.1.1
Neros has joined #ocaml
<gour>
i'm told that labltk works with tk-8.6...another option to try
palomer has joined #ocaml
<palomer>
does tuareg mode support lwt?
<palomer>
or, rather, the lwt syntax extensions?
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
<Kakadu>
tuareg don't
<palomer>
then what does?
<Kakadu>
you can manually fix hightlight for lwt syntax extension
<Kakadu>
and you can use ocp-indent to indent code with lwt extensions
<Drup>
palomer: there is a patch to tuareg in lwt sources, I think
zpe has joined #ocaml
ulfdoz has joined #ocaml
<palomer>
is it safe to use in_channel_of_descr with lwt?
<gasche>
yep, I don't think it's a side-effecting computation
<palomer>
oh, wait, lwt functions act on input channels, not in_channels
<palomer>
you have to use of_unix_fd
Arsenik has quit [Ping timeout: 240 seconds]
<rks`>
yes.
<rks`>
er
<rks`>
« yes you have to use of_unix_fd »
Simn has quit [Ping timeout: 260 seconds]
<Kakadu>
gour: I think that .pc files should be in -dev package
<Kakadu>
but I don't see them
<wmeyer>
hi all :-)
<adrien_oww>
o/
Arsenik has joined #ocaml
<rks`>
hello wmeyer
cdidd has quit [Remote host closed the connection]
<wmeyer>
adrien_oww: \o
<wmeyer>
rks`: hello
ben_zen has joined #ocaml
cdidd has joined #ocaml
pippijn has quit [Quit: Segmentation fault]
es917 has joined #ocaml
pippijn has joined #ocaml
rwmjones has quit [Ping timeout: 264 seconds]
tane has joined #ocaml
travisbrady has quit [Quit: travisbrady]
<palomer>
how do you run threads sequentially in lwt?
<palomer>
something like 'sequence' in haskell
travisbrady has joined #ocaml
<Drup>
I don't know haskell but, why not "bind" basically ?
rwmjones has joined #ocaml
<palomer>
you could do fold_left and bind
<palomer>
(or is it fold_right :P)
<palomer>
wait, maybe it's not needed
<palomer>
are threads processed in order?
<Drup>
if operations are dependent (linked by a bind, for example) of course.
<palomer>
what if they're not dependent?
<palomer>
List.iter (fun x -> make_thread x) lst
<palomer>
or, even simpler
<palomer>
List.iter (fun x -> Lwt_io.println x) lst
<Drup>
then no
<Drup>
but there is a Lwt_list module
Phenax has joined #ocaml
<palomer>
ahh, that's what I needed
<Drup>
in this module, list functions have two version, a sequential (_s) and a parallel (_p) one.
<Phenax>
Hello, I'm completely new to Ocaml and was considering using it for a project. I'm trying to wrap my head around findlib, ocamlc, ocamlopt, etc. Basically, I can compile a 'hello world' fine, but I'm trying to use ocsfml (bindings for a graphics library written in C++) which I have installed via findlib. I try to compile a sample file from the documentation, and it does not generate an executable, it generates an object file.
<palomer>
man, I wish the ocaml docs listed the exceptions that could be thrown in the Unix module
<Phenax>
Drup: Now it says no implementations provided for the following modules: OcsfmlAudio, OcsfmlGraphics, OcsfmlSystem (paraphrased). I thought the -package ocsfml should solve that. Any ideas?
zpe has quit [Remote host closed the connection]
<Phenax>
I also have the packages ocsfml.audio, ocsfml.graphics, etc. but I figured ocsfml would be a metapackage of sorts
<Phenax>
And trying to use -package with those gives me another error
travisbrady has quit [Quit: travisbrady]
<Phenax>
Well actually if I just -package ocsfml.audio, ... (all the rest) it still gives the same error about implementations
<Drup>
according to the build system provided in the github repo, you will need ocsfml.system, ocsfml.audio, ocsfml.graphics and unix
<Drup>
oh, not unix and system, actually
<Drup>
Phenax: you need to put one "-package" for each package
<Drup>
the syntax "-package bla, bli, blo" doesn't work
<gnuvince>
I don't want to have to write (Failure "hello")
<ggole>
Not really. assert_raises is a function, not matching syntax.
Arsenik has quit [Remote host closed the connection]
<ggole>
You could do something like assert_bool (try ...; false with Failure _ -> true)
Arsenik has joined #ocaml
<gnuvince>
thanks
Kakadu has joined #ocaml
* ggole
just uses assert
Simn has joined #ocaml
Kakadu has quit [Ping timeout: 246 seconds]
Kakadu_ has joined #ocaml
walter has quit [Quit: This computer has gone to sleep]
mort___ has quit [Quit: Leaving.]
Yoric has joined #ocaml
ontologiae has quit [Ping timeout: 260 seconds]
darkf has joined #ocaml
Yoric has quit [Ping timeout: 256 seconds]
ollehar has quit [Quit: ollehar]
Yoric has joined #ocaml
ggole has quit []
<gour>
what has happened with OCaml Platform initiative? the number of mailing messages is rapidly decreasing..
mort___ has joined #ocaml
<Drup>
gour: are you sure it's not the summer effect ? :)
iZsh has quit [Excess Flood]
iZsh has joined #ocaml
<gour>
Drup: well March's archive - 135k, April - 9k, May - 0k, June - 2k
Yoric has quit [Ping timeout: 264 seconds]
zpe has joined #ocaml
ocp has joined #ocaml
<Kakadu_>
gour: Where have we paused out Qt5 journey?
Yoric has joined #ocaml
<Kakadu_>
btw
<Kakadu_>
It seems Programmer's day is today
<gour>
Kakadu_: missing *.pc for Qt5
<rgrinberg>
Kakadu_: do you think it will be possible to build android apps with ocaml qt/qml now taht ocaml can generate arm and we have lablqt?
<Kakadu_>
rgrinberg: yes, I think
<gour>
Kakadu_: i've to do some more reading and then heading to sleep...will resume tomorrow
<rgrinberg>
in theory, with enough pain no doubt ;D
<Kakadu_>
actually I tried to built something for Sailfish OS but I met some sailfish problems
<gour>
Kakadu_: i was reading some msgs on wx-dev list and it looks there is no plan to provide wayland support soon which might put wxGTK apps as 2nd class citizen on linux distros which plan migration to wayland during 2014...iow. another 'cons' for wx(ocaml) or 'pro' for (labl)qt
<gour>
Sailfish is based on mer, right?
<Kakadu_>
no idea
<gour>
"Sailfish is a Linux-based mobile operating system developed by Jolla in cooperation with the Mer project and supported by the Sailfish Alliance."
<gour>
mobile development is another pro for qt
<gour>
i'm so unhappy that in order to customize linux-based phone (android), one has to use windows tools :-/
<gour>
had to borrow windows netbook from the friend recently to unbrick my wife's phone
paddymahoney has quit [Quit: Leaving]
thomasga has quit [Quit: Leaving.]
palomer has quit [Quit: Leaving]
gnuvince has quit [Remote host closed the connection]
tani has joined #ocaml
tane has quit [Ping timeout: 240 seconds]
Arsenik has quit [Quit: Quitte]
gour has quit [Quit: WeeChat 0.4.1]
maufred has joined #ocaml
boogie has joined #ocaml
maufred has quit [Client Quit]
Simn has quit [Read error: Connection reset by peer]
Snark has quit [Quit: leaving]
Yoric has quit [Ping timeout: 246 seconds]
milosn has quit [Read error: Connection reset by peer]