<Camarade_Tux>
but flux linked to the thread I was actually looking for
<flux>
I think a key point (heh, as pointed out by the quote) is this: "The main point of polymorphic variants is that there is only a conflict if the two tags appear in the same type."
<flux>
but if your code does a comparison between two colliding polymorphic variants, it won't even compile
<flux>
becaue a == b implies a : 'a and b : 'a and then the previous statement applies
<Yoric>
Actually, the workaround may be as simple as defining a large (and unused) sum type with all my polymorphic variants, even if I use only subsets of this type.
<Yoric>
Thanks for the thread, btw.
valross has quit [Quit: Ex-Chat]
boscop has joined #ocaml
avsm has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Associat0r has joined #ocaml
ski has quit [Read error: Connection reset by peer]
ski has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
josswr has joined #ocaml
Shoggoth has quit [Quit: Ex-Chat]
Snark has joined #ocaml
myu2 has quit [Remote host closed the connection]
rwmjones is now known as rwmjones_lunch
ikaros has joined #ocaml
_zack has joined #ocaml
pimmhogeling has quit [Read error: Connection reset by peer]
seafood has joined #ocaml
seafood has quit [Ping timeout: 276 seconds]
zhijie has joined #ocaml
zhijie has quit [Client Quit]
komar_ has joined #ocaml
_zack has quit [Quit: Leaving.]
myu2 has joined #ocaml
munga has quit [Read error: Operation timed out]
rwmjones_lunch is now known as rwmjones
myu2 has quit [Remote host closed the connection]
thrasibule_ has joined #ocaml
thrasibule has quit [Read error: Connection reset by peer]
Shoggoth has joined #ocaml
munga has joined #ocaml
thrasibule_ has quit [Quit: No Ping reply in 180 seconds.]
thrasibule has joined #ocaml
alpounet has joined #ocaml
ikaros_ has joined #ocaml
ikaros has quit [Ping timeout: 264 seconds]
munga has quit [Read error: Connection reset by peer]
Shoggoth has quit [Quit: Ex-Chat]
struktured has quit [Ping timeout: 240 seconds]
th5 has joined #ocaml
myu2 has joined #ocaml
ikaros_ has quit [Quit: Leave the magic to Houdini]
_unK has quit [Remote host closed the connection]
munga has joined #ocaml
munga has quit [Remote host closed the connection]
alpounet has quit [Ping timeout: 245 seconds]
seafood has joined #ocaml
alpounet has joined #ocaml
myu2 has quit [Ping timeout: 260 seconds]
derdon has joined #ocaml
alpounet has quit [Ping timeout: 245 seconds]
<hcarty>
gildor: Congratulations on the first OASIS release! I hope to give it a shot with some small projects over the next day or two.
f[x] has quit [Ping timeout: 260 seconds]
<gildor>
hcarty: thx, if you have problems, don't hesitate to ask, this is still beta quality
<gildor>
(though ocamlify, ocaml-data-notation and oasis itself use it on Linux and Windows)
fx_ has joined #ocaml
<hcarty>
I will certainly provide what feedback I can. It sounds promising.
alpounet has joined #ocaml
<th5>
will there be a hackage to go with it? would cabal still be useful without it?
<th5>
i look forward to the talk at the ocaml meeting
<gildor>
th5: hackage -> bocage for OCaml
<gildor>
start working on it ASAP
<gildor>
bocage will be integrated with forge.ocamlcore.org, so whenever you do a release on the forge, containing a _oasis file, it will be published through bocage
<th5>
that'll be great !
<gildor>
and bocage will provide a GODI repository of theses packages
<gildor>
these
<th5>
what about GODI actually? how is this different/better?
<gildor>
GODI take care of building packaged release
<gildor>
OASIS create standard entry points in the build system that GODI can use
<gildor>
and bocage will provide a GODI repository
<gildor>
OASIS and bocage try to avoid doing the same job as GODI
<gildor>
the only "doublon" is OASIS and GODIVA which share some common points
<th5>
oh ok
<th5>
it sounds like this could be helpful fitting into other package managers too - right now if you dont use debian or fedora its a pain
<gildor>
but for me it is out of question to re-create GODI, it is enough (good) work already done by other
<th5>
yeah
<gildor>
yes, OASIS provides a lot of parseable information that can integrate well with any package build system
<gildor>
no surprise that I am also a Debian Developer ;-)
protz has joined #ocaml
<th5>
so will you/have you make a tool to generate debian packages from these packages?
<gildor>
if you read the documentation carefully, you will see that Document section matches Debian doc-base and license information is derived from DEP-5 (Debian machine readable copyright)
<th5>
i dont know how the ocaml debian stuff works at all - just that the end results are high quality
<gildor>
one day, I will, bocage is higher priority for now
<gildor>
and OASIS still need a lot of work
<th5>
thanks for all the work - i'll definitely look into it next week sometime
<gildor>
(not talking about organizing next week OCaml Meeting et al)
<flux>
well, if I'm already using OCamlMakefile or ocamlbuild with success, why should I use that instead?-)
lokydor has quit [Remote host closed the connection]
<hcarty>
flux: It looks like ./configure for OCaml, with some extra goodies and no external dependencies.
<hcarty>
You shouldn't? :-)
<hcarty>
Or, from the look of OASIS and the surrounding projects, you should if you want to ease distribution and depolyment of packages
<hcarty>
That's my uneducated guess.
joewilliams_away is now known as joewilliams
bzzbzz has joined #ocaml
bzzbzz has quit [Client Quit]
protz has quit [Read error: Operation timed out]
<gildor>
hcarty: you are right
<gildor>
flux: you can perfectly continue using OCamlMakefile/ocamlbuild and add _oasis
<flux>
gildor, so what I do I gain?
<gildor>
in this case, just use the "Custom" plugin for BuildType
<gildor>
configure and install
<gildor>
being able to check before building that your requirement are met is worth the effort
krankkatze has joined #ocaml
<gildor>
flux: BTW OASIS is not a build system, it uses ocamlbuild
yakischloba has joined #ocaml
bzzbzz has joined #ocaml
fx_ has quit [Ping timeout: 268 seconds]
bzzbzz has quit [Client Quit]
ftrvxmtrx has quit [Quit: Leaving]
bzzbzz has joined #ocaml
fx_ has joined #ocaml
bzzbzz has quit [Client Quit]
bzzbzz has joined #ocaml
bzzbzz has quit [Client Quit]
spearalot has quit [Quit: -arividerchi]
komar_ has quit [Quit: WeeChat 0.2.6]
rwmjones_biab is now known as rwmjones
lokydor has joined #ocaml
lokydor has quit [Client Quit]
lokydor has joined #ocaml
orphee has quit [Remote host closed the connection]
lokydor has quit [Remote host closed the connection]
Submarine has joined #ocaml
prince has quit [Ping timeout: 258 seconds]
prince has joined #ocaml
bzzbzz has joined #ocaml
lokydor has joined #ocaml
fx_ has quit [Ping timeout: 248 seconds]
bzzbzz has quit [Client Quit]
bzzbzz has joined #ocaml
TaXules has quit [Ping timeout: 246 seconds]
TaXules has joined #ocaml
f[x] has joined #ocaml
_zack has joined #ocaml
_zack has quit [Ping timeout: 258 seconds]
_zack has joined #ocaml
avsm has quit [Ping timeout: 276 seconds]
__mattam__ has joined #ocaml
__mattam__ has quit [Client Quit]
f[x] has quit [Ping timeout: 248 seconds]
bzzbzz has quit [Quit: leaving]
bzzbzz has joined #ocaml
bzzbzz has quit [Client Quit]
bzzbzz has joined #ocaml
drk-sd has joined #ocaml
komar_ has joined #ocaml
bzzbzz has quit [Quit: Reconnecting]
bzzbzz has joined #ocaml
lokydor has quit [Ping timeout: 240 seconds]
bzzbzz has quit [Client Quit]
ikaros has joined #ocaml
bzzbzz has joined #ocaml
_zack has quit [Quit: Leaving.]
Yoric has quit [Quit: Yoric]
lokydor has joined #ocaml
maskd has joined #ocaml
bzzbzz has quit [Quit: leaving]
Submarine has quit [Ping timeout: 260 seconds]
_unK has joined #ocaml
mattam has quit [Ping timeout: 240 seconds]
bzzbzz has joined #ocaml
bzzbzz has quit [Client Quit]
bzzbzz has joined #ocaml
bzzbzz has quit [Client Quit]
ulfdoz has joined #ocaml
deco has joined #ocaml
deco has left #ocaml []
<flux>
gildor, will I make life easier to the users of my software if I were to use OASIS?-)
<flux>
s/will/would/
alpounet has quit [Ping timeout: 245 seconds]
alpounet has joined #ocaml
mattam has joined #ocaml
lokydor has quit [Ping timeout: 240 seconds]
enthymeme has joined #ocaml
bzzbzz has joined #ocaml
smimou has quit [Ping timeout: 246 seconds]
smimou has joined #ocaml
bzzbzz has quit [Quit: leaving]
bzzbzz has joined #ocaml
bzzbzz has quit [Client Quit]
bzzbzz has joined #ocaml
bzzbzz has quit [Quit: leaving]
ikaros has quit [Quit: Leave the magic to Houdini]
M| has quit [Read error: Operation timed out]
bzzbzz has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
vlj has joined #ocaml
M| has joined #ocaml
thieusoai has joined #ocaml
linus5 has joined #ocaml
_zack has joined #ocaml
linus5` has joined #ocaml
linus5` has quit [Remote host closed the connection]
linus5 has quit [Client Quit]
alpounet has quit [Read error: Connection reset by peer]
alpounet has joined #ocaml
bzzbzz has quit [Quit: leaving]
bzzbzz has joined #ocaml
bzzbzz has quit [Quit: leaving]
bzzbzz has joined #ocaml
vlj has quit [Quit: Ex-Chat]
bzzbzz is now known as meta4
drunK has joined #ocaml
_unK has quit [Ping timeout: 246 seconds]
drunK is now known as _unK
slash_ has joined #ocaml
Snark has quit [Quit: Ex-Chat]
enthymeme has joined #ocaml
<Camarade_Tux>
gildor: have you written _oasis files for any projects yet? (especially ocaml)
meta4 has quit [Quit: leaving]
bzzbzz has joined #ocaml
bzzbzz is now known as Guest69201
Blasa has joined #ocaml
Blasa has quit [Remote host closed the connection]
Guest69201 has quit [Client Quit]
bzzbzz_ has joined #ocaml
bzzbzz_ has quit [Client Quit]
maskd has quit [Quit: leaving]
bzzbzz_ has joined #ocaml
bzzbzz_ has quit [Client Quit]
bzzbzz_ has joined #ocaml
javax_ has joined #ocaml
bzzbzz_ has quit [Client Quit]
javax has quit [Ping timeout: 264 seconds]
eb4890 has joined #ocaml
<gildor>
flux: make the life easier for your user -> probably because they won't have to figure howto compile your project
<gildor>
(i.e. no make all allopt or make byte opt or make nc)
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
<gildor>
Camarade_Tux: ocamlify, ocaml-data-notation and oasis itself + a couple of other projects not yet published
schme has left #ocaml []
<Camarade_Tux>
gildor: are you working on one for ocaml? if not, I may try to do it
ygrek has quit [Ping timeout: 245 seconds]
fschwidom has joined #ocaml
<gildor>
Camarade_Tux: I am not sure this is really useful, you will have a bootstrap problem
<gildor>
Camarade_Tux: and the internal configure system is mainly about detecting findlib package
<gildor>
Camarade_Tux: the ocamlbuild system for ocaml itself is heavily hacked
<gildor>
so the autogenerated build system will be not very useful
Submarine has joined #ocaml
<gildor>
Camarade_Tux: if you want to try, I recommend something more simple.
<Camarade_Tux>
hmmm, right
<Camarade_Tux>
probably time to go to bed too ;-)
_zack has quit [Quit: Leaving.]
bzzbzz_ has joined #ocaml
<boscop>
does anyone know a book that compares multiple programming paradigms (i.e. not only procedural, OO, FP, meta, but also table-driven/relational) and provides use cases, showing the strength and weaknesses of each paradigm?
derdon has quit [Ping timeout: 276 seconds]
bzzbzz_ has left #ocaml []
seafood has joined #ocaml
jeddhaberstro has joined #ocaml
eb4890 has quit [Remote host closed the connection]
valross has joined #ocaml
_unK has quit [Remote host closed the connection]
bzzbzz has joined #ocaml
bzzbzz is now known as Guest27317
ulfdoz has quit [Ping timeout: 246 seconds]
Guest27317 has left #ocaml []
fschwidom has quit [Remote host closed the connection]
jeddhaberstro has quit [Quit: jeddhaberstro]
bzzbzz_ has joined #ocaml
bzzbzz_ has quit [Client Quit]
Submarine has quit [Ping timeout: 252 seconds]
mutewit has joined #ocaml
mutewit has quit [Ping timeout: 260 seconds]
bzzbzz has joined #ocaml
sepp2k has quit [Quit: Leaving.]
seafood has quit [Quit: seafood]
krankkatze has quit [Remote host closed the connection]
slash_ has quit [Quit: Lost terminal]
boscop has quit []
struktured has joined #ocaml
jeddhaberstro has joined #ocaml
jeddhaberstro has quit [Client Quit]
bzzbzz has quit [Quit: leaving]
Amorphous has quit [Read error: Operation timed out]