madroach has quit [Read error: Connection reset by peer]
rpip has joined #ocaml
regnat[m] has joined #ocaml
veggie_ has quit [Ping timeout: 260 seconds]
tmtwd has joined #ocaml
smondet has joined #ocaml
struktured has joined #ocaml
madroach has joined #ocaml
rpip has quit [Ping timeout: 240 seconds]
M-Illandan has quit [Ping timeout: 240 seconds]
brunoro_ has joined #ocaml
cpdean has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
cpdean has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
brunoro_ has quit [Ping timeout: 260 seconds]
msch_ has quit [Ping timeout: 240 seconds]
wu_ng has joined #ocaml
msch_ has joined #ocaml
mfp has quit [Ping timeout: 260 seconds]
M-Illandan has joined #ocaml
struktured has quit [Ping timeout: 268 seconds]
rpip has joined #ocaml
srenatus[m] has quit [Ping timeout: 240 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
M-jimt has quit [Ping timeout: 251 seconds]
timclassic has quit [Ping timeout: 251 seconds]
srenatus[m] has joined #ocaml
flux has joined #ocaml
flux has quit [Remote host closed the connection]
sh0t has joined #ocaml
timclassic has joined #ocaml
M-jimt has joined #ocaml
M-Illandan has quit [Ping timeout: 240 seconds]
M-pesterhazy has quit [Ping timeout: 240 seconds]
parataxis has quit [Ping timeout: 240 seconds]
M-martinklepsch has quit [Ping timeout: 240 seconds]
madroach has joined #ocaml
parataxis has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
timclassic has quit [Ping timeout: 240 seconds]
minn has joined #ocaml
<minn>
Are there any plans to implement tail recursion modulo cons in future OCaml releases? I can find a feature request from 2003, but everything goes dark from there on out.
M-Illandan has joined #ocaml
Guest23668[m] has quit [Ping timeout: 240 seconds]
lpw25[m] has quit [Ping timeout: 240 seconds]
barkmadley[m] has quit [Ping timeout: 240 seconds]
jyc has quit [Ping timeout: 240 seconds]
bitbckt_ has quit [Ping timeout: 240 seconds]
manualcrank has joined #ocaml
M-martinklepsch has joined #ocaml
jyc has joined #ocaml
M-pesterhazy has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has quit [Read error: Connection reset by peer]
M-pesterhazy has joined #ocaml
Sorella has quit [Ping timeout: 241 seconds]
Sorella has joined #ocaml
agarwal1975 has joined #ocaml
agarwal1975 has quit [Client Quit]
zpe has joined #ocaml
average has joined #ocaml
M-ErkkiSeppl has quit [Ping timeout: 240 seconds]
tmtwd has quit [Ping timeout: 248 seconds]
zpe has quit [Ping timeout: 265 seconds]
madroach has joined #ocaml
jimt_ is now known as jimt
madroach has quit [Read error: Connection reset by peer]
timclassic has quit [Ping timeout: 240 seconds]
silver has quit [Quit: rakede]
wu_ng has quit [Ping timeout: 259 seconds]
wu_ng has joined #ocaml
M-ErkkiSeppl has joined #ocaml
brunoro_ has joined #ocaml
groovy2shoes has joined #ocaml
bitbckt has quit [Ping timeout: 240 seconds]
M-pesterhazy has quit [Ping timeout: 240 seconds]
alpen- has quit [Ping timeout: 240 seconds]
regnat[m] has quit [Ping timeout: 240 seconds]
madroach has joined #ocaml
Bluddy[m] has quit [Ping timeout: 240 seconds]
jyc has quit [Ping timeout: 240 seconds]
Guest23668[m] has quit [Ping timeout: 240 seconds]
lpw25[m] has quit [Ping timeout: 240 seconds]
madroach has quit [Read error: Connection reset by peer]
barkmadley[m] has quit [Ping timeout: 240 seconds]
M-ErkkiSeppl has quit [Ping timeout: 240 seconds]
darkf has joined #ocaml
brunoro_ has quit [Ping timeout: 248 seconds]
timclassic has joined #ocaml
jyc has joined #ocaml
regnat[m] has joined #ocaml
alpen has joined #ocaml
Bluddy[m] has joined #ocaml
rpip has quit [Ping timeout: 240 seconds]
M-pesterhazy has joined #ocaml
lpw25[m] has joined #ocaml
Guest23668[m] has joined #ocaml
barkmadley[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
conrad1 has joined #ocaml
timclassic has quit [Ping timeout: 240 seconds]
bitbckt has joined #ocaml
darkf has quit [Ping timeout: 260 seconds]
Bluddy[m] has quit [Ping timeout: 240 seconds]
Bluddy[m] has joined #ocaml
darkf has joined #ocaml
madroach has joined #ocaml
conrad1 has quit [Ping timeout: 268 seconds]
rpip has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
timclassic has joined #ocaml
hellofunk has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
M-ErkkiSeppl has quit [Ping timeout: 240 seconds]
barkmadley[m] has quit [Ping timeout: 240 seconds]
M-martinklepsch has quit [Ping timeout: 240 seconds]
barkmadley[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
Bluddy[m] has quit [Ping timeout: 240 seconds]
timclassic has quit [Ping timeout: 240 seconds]
srenatus[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #ocaml
timclassic has joined #ocaml
lpw25[m] has quit [Ping timeout: 240 seconds]
Guest23668[m] has quit [Ping timeout: 240 seconds]
darkf has quit [Ping timeout: 248 seconds]
regnat[m] has quit [Ping timeout: 240 seconds]
darkf has joined #ocaml
M-martinklepsch has joined #ocaml
M-pesterhazy has quit [Ping timeout: 240 seconds]
lpw25[m] has joined #ocaml
Guest23668[m] has joined #ocaml
Bluddy[m] has joined #ocaml
madroach has joined #ocaml
regnat[m] has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
M-pesterhazy has joined #ocaml
FreeBirdLjj has joined #ocaml
rpip has quit [Ping timeout: 240 seconds]
M-Illandan has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
M-Illandan has joined #ocaml
wu_ng has quit [Ping timeout: 248 seconds]
manualcrank has left #ocaml ["Leaving"]
srenatus[m] has quit [Ping timeout: 240 seconds]
rpip has joined #ocaml
zpe has joined #ocaml
madroach has joined #ocaml
jyc has quit [Ping timeout: 240 seconds]
madroach has quit [Read error: Connection reset by peer]
Bluddy[m] has quit [Ping timeout: 240 seconds]
timclassic has quit [Ping timeout: 240 seconds]
jyc has joined #ocaml
srenatus[m] has joined #ocaml
bitbckt has quit [Ping timeout: 240 seconds]
barkmadley[m] has quit [Ping timeout: 240 seconds]
M-ErkkiSeppl has quit [Ping timeout: 240 seconds]
oriba has quit [Quit: WeeChat 1.6]
zpe has quit [Ping timeout: 248 seconds]
regnat[m] has quit [Ping timeout: 240 seconds]
lpw25[m] has quit [Ping timeout: 240 seconds]
regnat[m] has joined #ocaml
lpw25[m] has joined #ocaml
struktured has joined #ocaml
bitbckt has joined #ocaml
Bluddy[m] has joined #ocaml
timclassic has joined #ocaml
brunoro_ has joined #ocaml
M-ErkkiSeppl has joined #ocaml
barkmadley[m] has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
brunoro_ has quit [Ping timeout: 260 seconds]
srenatus[m] has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
red_caml has joined #ocaml
srenatus[m] has joined #ocaml
madroach has joined #ocaml
red_caml has quit [Ping timeout: 268 seconds]
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
fraggle_ has joined #ocaml
hellofunk has quit [Ping timeout: 240 seconds]
average has quit [Quit: leaving]
wu_ng has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
fraggle_ has quit [Ping timeout: 250 seconds]
struktured has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
pierpa has quit [Ping timeout: 260 seconds]
justicefries has joined #ocaml
alienbot has quit [Read error: Connection reset by peer]
struktured has joined #ocaml
timclassic has quit [Ping timeout: 240 seconds]
alienbot has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
brunoro_ has joined #ocaml
timclassic has joined #ocaml
brunoro_ has quit [Ping timeout: 240 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
brunoro_ has joined #ocaml
conrad1 has joined #ocaml
timclassic has quit [Ping timeout: 240 seconds]
brunoro_ has quit [Ping timeout: 250 seconds]
conrad1 has quit [Ping timeout: 268 seconds]
timclassic has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
rpip has quit [Ping timeout: 240 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
rpip has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
justicefries has left #ocaml [#ocaml]
cpdean has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
brunoro_ has joined #ocaml
M-jimt has quit [Ping timeout: 240 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
brunoro_ has quit [Ping timeout: 250 seconds]
M-jimt has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
MercurialAlchemi has joined #ocaml
nomicflux has quit [Quit: nomicflux]
AlexDenisov has joined #ocaml
madroach has joined #ocaml
brunoro_ has joined #ocaml
sh0t has quit [Remote host closed the connection]
brunoro_ has quit [Ping timeout: 260 seconds]
timclassic has quit [Ping timeout: 240 seconds]
M-ErkkiSeppl has quit [Ping timeout: 240 seconds]
barkmadley[m] has quit [Ping timeout: 240 seconds]
Bluddy[m] has quit [Ping timeout: 240 seconds]
lpw25[m] has quit [Ping timeout: 240 seconds]
regnat[m] has quit [Ping timeout: 240 seconds]
Guest23668[m] has quit [Ping timeout: 240 seconds]
barkmadley[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
timclassic has joined #ocaml
Guest23668[m] has joined #ocaml
Bluddy[m] has joined #ocaml
lpw25[m] has joined #ocaml
regnat[m] has joined #ocaml
archer121 has joined #ocaml
bgft has joined #ocaml
nayden has joined #ocaml
archer121 has quit [Ping timeout: 260 seconds]
regnat[m] has quit [Ping timeout: 240 seconds]
brunoro_ has joined #ocaml
regnat[m] has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
srenatus[m] has quit [Ping timeout: 240 seconds]
conrad1 has joined #ocaml
brunoro_ has quit [Ping timeout: 248 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
regnat[m] has quit [Ping timeout: 240 seconds]
timclassic has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #ocaml
timclassic has joined #ocaml
conrad1 has quit [Ping timeout: 265 seconds]
tg has joined #ocaml
apache2_ has joined #ocaml
regnat[m] has joined #ocaml
MercurialAlchemi has joined #ocaml
tennix has joined #ocaml
Algebr has joined #ocaml
nayden has quit [Quit: Leaving]
djellemah has joined #ocaml
FreeBirdLjj has joined #ocaml
etc has joined #ocaml
<etc>
Hi there! I'm trying to build a library first, and then later use it to build an executable. (specifically, with a different ocamlbuild command) Anyone know how to do this or have an example?
sabina____ has joined #ocaml
<sabina____>
how to use tuple as a single argument for function
<sabina____>
anyone here? :)
cpdean has joined #ocaml
bitbckt has quit [Ping timeout: 240 seconds]
sabina____ has quit [Client Quit]
<Algebr>
sabina____: you pass it? let foo (a, b, c) = print_endline a ^ b ^ c
<Algebr>
etc: oasis will make this easy
bitbckt has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
<etc>
Algebr: Ok cool I'll give it a try - thanks!
FreeBird_ has joined #ocaml
cpdean has quit [Ping timeout: 250 seconds]
brunoro_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
alfredo has joined #ocaml
zv has quit [Ping timeout: 260 seconds]
brunoro_ has quit [Ping timeout: 260 seconds]
<etc>
Algebr: Awesome I've got oasis almost working -- do you know how to use a ppx while building an executable with it?
inr has joined #ocaml
archer121 has joined #ocaml
srenatus[m] has quit [Ping timeout: 240 seconds]
<archer121>
hi! what is the difference between type: `(’a * ’a) list` and type: `( ’a * ’a list)` ?
M-Illandan has quit [Ping timeout: 240 seconds]
zv has joined #ocaml
<etc>
archer121: the first is a list of tuples, like [(1,2); (3,4)]. The second is a tuple with the second element being a list. Like (1, [2;3;4;5])
<Algebr>
etc: add it to BuildDepends
archer121 has quit [Ping timeout: 260 seconds]
srenatus[m] has joined #ocaml
M-Illandan has joined #ocaml
<etc>
Algebr: hmm that doesn't seem to be working... does it make a difference that this is an ast_mapper executable ppx?
archer121 has joined #ocaml
<archer121>
I got disconnected, so I did not receive any message, if any.
<archer121>
hi! what is the difference between type: `(’a * ’a) list` and type: `( ’a * ’a list)` ?
<etc>
archer121: the first is a list of tuples, like [(1,2); (3,4)]. The second is a tuple with the second element being a list. Like (1, [2;3;4;5])
M-jimt has quit [Ping timeout: 240 seconds]
freusque has joined #ocaml
<archer121>
oh, great! that's what I was missing. it's like ('a * ('a list))!
M-jimt has joined #ocaml
<archer121>
thanks
<etc>
exactly - np!
<archer121>
etc: I still have some trouble. Mind if I bother you?
<etc>
archer121: I can try - what's up?
<archer121>
I have a type definition: `type 'a graph = ( 'a * 'a list) list;;`. But this declaration is throwing an error: `let (G: int graph) = [1, [2; 3]];;`
<archer121>
the error is: Error: This variant pattern is expected to have type int graph. The constructor G does not belong to type list
<archer121>
"G" is underlined.
htch has joined #ocaml
kakadu has joined #ocaml
<etc>
archer121: It's because G is capitalized, I guess you can only use capitalized names for 'constructors'
bitbckt has quit [Ping timeout: 240 seconds]
<archer121>
thanks again.
<etc>
np!
FreeBird_ has quit [Remote host closed the connection]
bitbckt has joined #ocaml
brunoro_ has joined #ocaml
<etc>
Algebr: adding 'ppx_orb' to the build depends results in a warning that the tag "pkg_ppx_orb" will have no effect and may be a typo
zpe has joined #ocaml
brunoro_ has quit [Ping timeout: 240 seconds]
archer121 has quit [Ping timeout: 260 seconds]
zpe has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
conrad1 has joined #ocaml
fraggle-boate has joined #ocaml
sh0t has joined #ocaml
sh0t has quit [Remote host closed the connection]
conrad1 has quit [Ping timeout: 268 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
freusque has quit [Quit: WeeChat 1.4]
freusque has joined #ocaml
ygrek has joined #ocaml
AlexDenisov has joined #ocaml
<companion_cube>
sgronblo_: there is ocp-json or something like this, too
FreeBirdLjj has joined #ocaml
<companion_cube>
if you don't want ppx
dhil has joined #ocaml
vapid has joined #ocaml
vapid is now known as xenti
Simn has joined #ocaml
johnelse_ has joined #ocaml
bitbckt has quit [Ping timeout: 240 seconds]
bitbckt has joined #ocaml
etc has quit [Ping timeout: 260 seconds]
M-pesterhazy has quit [Ping timeout: 240 seconds]
M-martinklepsch has quit [Ping timeout: 240 seconds]
hank has joined #ocaml
bitbckt has quit [Ping timeout: 240 seconds]
<Algebr>
ah, etc == charles
hbar_ has joined #ocaml
brunoro_ has joined #ocaml
M-pesterhazy has joined #ocaml
M-martinklepsch has joined #ocaml
bitbckt has joined #ocaml
brunoro_ has quit [Ping timeout: 265 seconds]
mfp has joined #ocaml
hank has quit [Ping timeout: 268 seconds]
<kakadu>
Folks, are scripts that upgrade opam repositories from 1.2.2 to 2.0-something publicly availabe
<kakadu>
?
<kakadu>
but maybe I will manage to fix old repo manually
chattere` has joined #ocaml
chattere` is now known as chattered
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
brunoro_ has joined #ocaml
minn has quit [Ping timeout: 265 seconds]
jyc has quit [Ping timeout: 240 seconds]
jyc has joined #ocaml
AlexDenisov has joined #ocaml
rpip has quit [Ping timeout: 240 seconds]
jwatzman|work has joined #ocaml
rpip has joined #ocaml
larhat has joined #ocaml
zpe has joined #ocaml
xenti is now known as vapid
tennix has quit [Quit: WeeChat 1.6]
vapid is now known as xenti
xenti is now known as vapid
djellemah has quit [Ping timeout: 260 seconds]
djellemah has joined #ocaml
cpdean has joined #ocaml
cpdean has quit [Ping timeout: 250 seconds]
conrad1 has joined #ocaml
smondet` has quit [Ping timeout: 250 seconds]
conrad1 has quit [Ping timeout: 250 seconds]
Orion3k has quit [Ping timeout: 268 seconds]
hank has joined #ocaml
bgft has quit [Ping timeout: 260 seconds]
johnelse_ is now known as johnelse
bitbckt has quit [Ping timeout: 240 seconds]
Guest23668[m] has quit [Ping timeout: 240 seconds]
lpw25[m] has quit [Ping timeout: 240 seconds]
Bluddy[m] has quit [Ping timeout: 240 seconds]
bitbckt has joined #ocaml
bitbckt has joined #ocaml
bitbckt has quit [Changing host]
redf has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Bluddy[m] has joined #ocaml
Guest23668[m] has joined #ocaml
lpw25[m] has joined #ocaml
hank has quit [Ping timeout: 260 seconds]
AlexDenisov has joined #ocaml
_whitelogger has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
demonimin has quit [Remote host closed the connection]
red_caml has joined #ocaml
demonimin has joined #ocaml
brunoro_ has quit [Ping timeout: 268 seconds]
srenatus[m] has quit [Ping timeout: 240 seconds]
regnat[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #ocaml
regnat[m] has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
demonimin has quit [Ping timeout: 248 seconds]
Reshi has joined #ocaml
chindy has joined #ocaml
ygrek has joined #ocaml
red_caml has quit [Ping timeout: 268 seconds]
yomimono has joined #ocaml
wu_ng has quit [Ping timeout: 248 seconds]
brunoro_ has joined #ocaml
demonimin has joined #ocaml
demonimin has quit [Changing host]
demonimin has joined #ocaml
average has joined #ocaml
AlexDenisov has joined #ocaml
regnat[m] has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
regnat[m] has joined #ocaml
M-jimt has quit [Ping timeout: 240 seconds]
M-jimt has joined #ocaml
Reshi has quit [Quit: WeeChat 1.5]
M-Illandan has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
M-pesterhazy has quit [Ping timeout: 240 seconds]
M-pesterhazy has joined #ocaml
NhanH has quit [Ping timeout: 240 seconds]
NhanH has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
M-Illandan has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
M-pesterhazy has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
chindy has quit [Ping timeout: 260 seconds]
M-pesterhazy has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
FreeBirdLjj has joined #ocaml
fraggle_ has quit [Ping timeout: 260 seconds]
conrad1 has joined #ocaml
srenatus[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #ocaml
agarwal1975 has joined #ocaml
conrad1 has quit [Ping timeout: 250 seconds]
silver has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
timclassic has quit [Ping timeout: 240 seconds]
timclassic has joined #ocaml
AlexDenisov has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
Nahra` has quit [Quit: ERC (IRC client for Emacs 24.5.1)]
<companion_cube>
I think you can wait for opam 2 to be released
grayswandyr has joined #ocaml
Nahra has joined #ocaml
cpdean has joined #ocaml
cpdean has quit [Ping timeout: 260 seconds]
<grayswandyr>
hi I wonder whether it is possible to define a non-abstract type for nonempty lists where standard functions may be (almost) directly implementable using the standard List functions and (almost) without runtime overhead
<grayswandyr>
i.e. I want to be able to perform pattern matching so no abstract datatype
<companion_cube>
module NonEmptyList : sig type 'a t = private 'a list val make : 'a -> 'a list -> 'a t … end = struct … end
<companion_cube>
you're looking for "private aliases"
<companion_cube>
pattern matching works, but not building values
<grayswandyr>
right I knew private types but I had the feeling that it wouldn't solve the second part... that is almost directly relying on module List... perhaps I should have thought it more
<grayswandyr>
I couldn't help but think some phantom type would have been necessary
<companion_cube>
no, it's not necessary
<companion_cube>
for instance you can write `map` by just aliasing to List.map
<grayswandyr>
cool
<grayswandyr>
oh yeah now I see :-) no access to [] so everything's ok
<companion_cube>
I could add a check at `mk_problem`, though
<companion_cube>
but in practice it will never ever happen anyway
<grayswandyr>
pb_goal
<grayswandyr>
yeah sure but if you pattern match such formulas or need to perform a treatment that applies to nonempty lists only (meaning : no default case for []), how do you do
brunoro_ has quit [Ping timeout: 260 seconds]
<companion_cube>
| [] -> assert false
<companion_cube>
| _::_ -> …
<grayswandyr>
yeah
<grayswandyr>
I don't like that :)
<companion_cube>
I tried to put more into types at some point (still have a very old branch with GADTs everywhere)
<companion_cube>
but it was too much of a pain
<grayswandyr>
yeah I wish we had some Liquid OCaml
<companion_cube>
ah, that would be interesting indeed
<companion_cube>
but right now, KISS
srenatus[m] has quit [Ping timeout: 240 seconds]
M-pesterhazy has quit [Ping timeout: 240 seconds]
M-jimt has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
<grayswandyr>
BTW what is your strategy regarding errors. On a previous project of mine, I tried to forbid letting exceptions leak out of module boundaries but I wasn't followed by my fellow programmers
ygrek has joined #ocaml
<grayswandyr>
I tried to get them to use result
<grayswandyr>
(well an in-house variation of that at the time)
red_caml has joined #ocaml
<grayswandyr>
I don't like the mix between assert false / invalid_arg /failwith / or_error and so on... I'd love to fix a better startegy
<companion_cube>
hmmm, for nunchaku it's mostly "all errors are fatal" + Printexc.register_printer
<companion_cube>
for non-fatal errors I try to use result/option, indeed, so it's more explicit
<grayswandyr>
ok
M-pesterhazy has joined #ocaml
M-jimt has joined #ocaml
srenatus[m] has joined #ocaml
<companion_cube>
the worst is when Not_found escapes, this really annoys me
<companion_cube>
so, more options, less Not_found, more happiness
mcspud has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
<grayswandyr>
all right thanks
chindy has joined #ocaml
<companion_cube>
no pb
<companion_cube>
have you tried the variable representation we discussed yet?
jyc has quit [Ping timeout: 240 seconds]
bitbckt has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
jyc has joined #ocaml
M-pesterhazy has quit [Ping timeout: 240 seconds]
M-pesterhazy has joined #ocaml
bitbckt has joined #ocaml
red_caml has quit [Ping timeout: 265 seconds]
<grayswandyr>
I made tests and I will indeed go this way
groovy2shoes has quit [Quit: Leaving]
mcspud has joined #ocaml
djellemah has quit [Ping timeout: 268 seconds]
fraggle_ has quit [Ping timeout: 260 seconds]
brunoro_ has joined #ocaml
chindy has quit [Remote host closed the connection]
djellemah has joined #ocaml
dhil has quit [Ping timeout: 260 seconds]
grayswandyr has quit [Quit: Page closed]
dhil has joined #ocaml
agarwal1975 has joined #ocaml
srenatus[m] has quit [Ping timeout: 240 seconds]
M-jimt has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 260 seconds]
conrad1 has joined #ocaml
bitbckt has quit [Ping timeout: 240 seconds]
barkmadley[m] has quit [Ping timeout: 240 seconds]
srenatus[m] has joined #ocaml
barkmadley[m] has joined #ocaml
bitbckt has joined #ocaml
bitbckt has joined #ocaml
bitbckt has quit [Changing host]
conrad1 has quit [Ping timeout: 260 seconds]
M-jimt has joined #ocaml
cpdean has joined #ocaml
fraggle_ has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
M-martinklepsch has quit [Ping timeout: 240 seconds]
M-martinklepsch has joined #ocaml
Guest23668[m] has quit [Ping timeout: 240 seconds]
lpw25[m] has quit [Ping timeout: 240 seconds]
<Algebr>
hmm, tried loading up a library in utop with require and I get external function foo is not available, usually when that's the case its cause of a blow up from a shared lib not existing, but this is new to me
redf has quit [Quit: Page closed]
lpw25[m] has joined #ocaml
Guest23668[m] has joined #ocaml
beginner_ has joined #ocaml
orbifx-m has joined #ocaml
sh0t has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
nomicflux has joined #ocaml
FreeBirdLjj has joined #ocaml
shinnya has joined #ocaml
pierpa has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 268 seconds]
AlexDenisov has joined #ocaml
shinnya has quit [Read error: Connection reset by peer]
shinnya has joined #ocaml
dave___ has joined #ocaml
dave___ has quit [Client Quit]
dave___ has joined #ocaml
dave___ has left #ocaml [#ocaml]
shinnya has quit [Ping timeout: 250 seconds]
t4nk911 has joined #ocaml
pierpa` has joined #ocaml
dhil has joined #ocaml
pierpa` has quit [Client Quit]
pierpa` has joined #ocaml
nomicflux has quit [Quit: nomicflux]
hundo has joined #ocaml
t4nk911 has quit [Client Quit]
t4nk796 has joined #ocaml
shinnya has joined #ocaml
veggie_ has joined #ocaml
timclassic has quit [Ping timeout: 240 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
shinnya has quit [Ping timeout: 260 seconds]
shinnya has joined #ocaml
timclassic has joined #ocaml
AlexDenisov has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<Algebr>
is the ocmal dynlink search path in the env var CAML_LD_LIBRARY_PATH?