<kerneis>
I've read the article, but I'm only moderately convinced
<Drup>
you can use deriving too, for fold/map generation
lostcuaz has joined #ocaml
<kerneis>
Drup: is deriving still maintained?
<Drup>
sure
<Drup>
ask hnrgrgr about it
<philed>
gashe: Are they part of the compiler distribution?
lostcuaz has quit [Client Quit]
<philed>
kerneis: Cheers. I found that one too, just now, and was wondering whether the ideas in the papers had been standardised as a common library somewhere.
<kerneis>
using type-witnesses is a bit cumbersome in practice
bjkeller has joined #ocaml
<companion_cube>
gasche: ah
<companion_cube>
sad
<Drup>
philed: sure, you can find them in parsing/ast_mapper
gael is now known as gargawel
<Drup>
hum, that may be only in trunk, I don't remember
tobiasBora has quit [Quit: Konversation terminated!]
<Drup>
nope, it's in the stable version, and should be exported by compiler_libs.
lostcuaz has joined #ocaml
<philed>
Drup: Cheers! Should have looked harder.
Fullma has joined #ocaml
<Drup>
in general, you can read some document about the last changes in the AST in experimental/frisch. Depending of what you want to do, it may be of interest
mort___ has joined #ocaml
tobiasBora has joined #ocaml
<bjkeller>
my opam is in a state where I can't have both core and utop/lwt installed at the same time
<Drup>
why ?
mreca has joined #ocaml
<bjkeller>
when I have core installed, installing lwt/utop removes core and vice versa
<Drup>
does it says "solver time out" when you do that ?
<bjkeller>
I'm getting an "External solver failed with inconsistent return value" warning
<Drup>
huum
<bernardofpc>
Gtk:ERROR:/build/buildd-gtk+2.0_2.24.10-2-i386-Tg7Q_2/gtk+2.0-2.24.10/gtk/gtktextview.c:4611:gtk_text_view_paint: code should not be reached -> with coqide compiled from opam
<bernardofpc>
(another bug: coqide does not recognize Mod4)
<Drup>
ok, I don't think I can help you, but you should open a bug report for opam
dant3 has quit [Ping timeout: 264 seconds]
<Drup>
the real issue is this "External solver failed with inconsistent return value"
<bjkeller>
yes, I'd seen some previously closed issues with that message
<Drup>
you could open a bug report "don't even try to do bullshit when the solver fails" too, but that's a different issue :p
<Drup>
cc AltGr
<AltGr>
Drup, done on trunk :)
<Drup>
:D
<AltGr>
and it suggests re-running with `--use-internal-solver`
<Drup>
nice
<Drup>
I need to investigate the issue with aspcud on archlinux, though, because I didn't manage to make it work, and it seems to be quite reproducible with other archlinux installs.
<AltGr>
bjkeller, to make sure you can specify both packages on the command-line: `opam install utop core`
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
amirmc has joined #ocaml
<AltGr>
Drup: "don't even try to do bullshit..." -> then I am going to mistake your reports for Bünzli's :)
WraithM has joined #ocaml
amirmc has quit [Read error: Connection reset by peer]
amirmc1 has joined #ocaml
<adrien_oww>
hahaha :D
<Drup>
:]
<AltGr>
bjkeller, if you do that, in case it's really impossible it will at least explain why (well on trunk at least. _much_ improved error reporting, 1.2.0-beta tba soon)
Yoric has joined #ocaml
<AltGr>
Drup, thanks a lot if you can help fix ports of aspcud
<Drup>
I tried to find the issue already
<bjkeller>
AltGr: OK will try it. I do like the "don't even try to do this..." version of the warning...
<Drup>
but unsuccessfully :/
amirmc has joined #ocaml
mort___ has quit [Ping timeout: 268 seconds]
amirmc1 has quit [Ping timeout: 246 seconds]
Fullma has quit [Ping timeout: 240 seconds]
Fullma has joined #ocaml
tobiasBora has quit [Quit: Konversation terminated!]
Fullma has quit [Max SendQ exceeded]
Fullma has joined #ocaml
Fullma has quit [Max SendQ exceeded]
Fullma has joined #ocaml
Fullma has quit [Max SendQ exceeded]
willy_ has quit [Ping timeout: 245 seconds]
<pippijn>
if I want to distribute a modified ocaml compiler, do I need to do so in the form of patches?
<mrvn>
the license tells you
<pippijn>
3. You may make modifications to the Software and distribute your
<pippijn>
modifications, in a form that is separate from the Software, such as
<pippijn>
patches.
<pippijn>
"yes"?
<mrvn>
no
<mrvn>
you can distribute the patched source too
<adrien_oww>
I don't know if it's the usual interpretation of the QPL but I'm fairly certain that XL has stated he interpeted full sources as a valid way to distribute modified sources
bjkeller has quit [Remote host closed the connection]
yacks has quit [Ping timeout: 264 seconds]
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
michel_mno is now known as michel_mno_afk
willy_ has quit [Ping timeout: 245 seconds]
nikki93 has quit [Ping timeout: 265 seconds]
<Drup>
vbmithr: I have a weird issue when I try to use your original pkg with the updated repository
<Drup>
I sometime got a "sh : ocp-build file busy" or something
<Drup>
(I can't reproduce anymore, obviously =')
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
q66 has joined #ocaml
q66 has quit [Changing host]
q66 has joined #ocaml
rand000 has quit [Quit: leaving]
rand000 has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
avsm has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 255 seconds]
milosn has quit [Read error: No route to host]
milosn has joined #ocaml
michael_lee has quit [Ping timeout: 245 seconds]
mort___ has quit [Remote host closed the connection]
tane has joined #ocaml
<whitequark>
is sexplib able to serialize structures with loops?
mort___ has joined #ocaml
nikki93 has joined #ocaml
BiDOrD has quit [Quit: No Ping reply in 180 seconds.]
amirmc has quit [Quit: Leaving.]
BiDOrD has joined #ocaml
<flux>
my answer would be 'no', at least judging from the time I used it last
<flux>
as the conversion from data types to s-expressions is pretty straight-forward, so I don't see how loops would be represented.. without using some ids.
michael_lee has joined #ocaml
mort___ has quit [Quit: Leaving.]
<whitequark>
right.
avsm has joined #ocaml
mreca has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
refaktor has quit [Quit: Lost terminal]
<mrvn>
I hate writing C bindings when I don't know how the ocaml interface should look like.
tianon has quit [Ping timeout: 265 seconds]
maattdd has quit [Ping timeout: 246 seconds]
lostcuaz has joined #ocaml
bjkeller has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
fraggle_ has quit [Read error: Connection reset by peer]
zpe has quit [Read error: Operation timed out]
<f[x]>
mrvn, do the lowest level possible bindings - then experiment with highlevel interface in ocaml - at last stage tweaking the bindings for speed?
manizzle has joined #ocaml
<mrvn>
f[x]: this should run multithreaded so I need to put data structures into C so the GC doesn't move them around under me.
fraggle_ has joined #ocaml
<mrvn>
for % I would rather use x*100/y or x*1000/y than 16.16 fixed point though.
<mrvn>
args, ewin
<mk270>
hcarty: thanks again!
f[x] has quit [Ping timeout: 265 seconds]
maattdd has joined #ocaml
<hcarty>
mk270: Sure thing - I hope it's useful for you :-)
Kakadu has joined #ocaml
<hcarty>
mk270: It works for a simple example using ocamlbuild only. If oasis is updated to support this then so much the better.
rz has quit [Quit: Ex-Chat]
nikki93_ has joined #ocaml
nikki93 has quit [Read error: Connection reset by peer]
axiles has quit [Remote host closed the connection]
divyanshu has quit [Quit: Computer has gone to sleep.]
axiles has joined #ocaml
lostcuaz has quit [Ping timeout: 268 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
lostcuaz has joined #ocaml
claudiuc_ has quit [Read error: Connection reset by peer]
claudiuc has joined #ocaml
bjkeller has quit [Remote host closed the connection]
mort___ has joined #ocaml
bjkeller has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
maattdd has quit [Ping timeout: 265 seconds]
bjkeller has quit [Remote host closed the connection]
bjkeller has joined #ocaml
bjkeller has quit [Remote host closed the connection]
lostcuaz has joined #ocaml
_andre has quit [Ping timeout: 268 seconds]
_andre has joined #ocaml
ocp has quit [Ping timeout: 245 seconds]
NoNNaN has quit [Ping timeout: 265 seconds]
NoNNaN has joined #ocaml
lostcuaz has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
lostcuaz has joined #ocaml
lostcuaz has quit [Client Quit]
zpe has joined #ocaml
tianon has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
willy_ has joined #ocaml
Yoric has joined #ocaml
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 252 seconds]
Yoric has quit [Ping timeout: 246 seconds]
keen_ has left #ocaml []
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 255 seconds]
axiles has quit [Remote host closed the connection]
bjkeller has joined #ocaml
rz has joined #ocaml
angerman has quit [Quit: Gone]
WraithM has quit [Quit: leaving]
WraithM has joined #ocaml
claudiuc has quit [Ping timeout: 240 seconds]
bjkeller has quit [Remote host closed the connection]
ggole has quit []
bjkeller has joined #ocaml
Yoric has joined #ocaml
avsm has quit [Quit: Leaving.]
rand000 has quit [Quit: leaving]
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
_andre has quit [Quit: leaving]
Hannibal_Smith has quit [Quit: Sto andando via]
maattdd has joined #ocaml
willy_ has quit [Ping timeout: 246 seconds]
philed has quit [Ping timeout: 240 seconds]
maattdd has quit [Ping timeout: 240 seconds]
claudiuc has joined #ocaml
mbac has quit [Ping timeout: 246 seconds]
mbac has joined #ocaml
lostcuaz has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
aurynj has quit [Remote host closed the connection]
avsm has joined #ocaml
ikaros has joined #ocaml
tane has quit [Quit: Verlassend]
nikki93_ has quit [Remote host closed the connection]
maattdd has joined #ocaml
avsm has quit [Quit: Leaving.]
tobiasBora has joined #ocaml
Simn has quit [Quit: Leaving]
Yoric has quit [Ping timeout: 255 seconds]
patronus has joined #ocaml
BiDOrD_ has joined #ocaml
Valda has joined #ocaml
talzeus_ has quit [Ping timeout: 255 seconds]
cthuluh has quit [Ping timeout: 255 seconds]
NoNNaN has quit [Ping timeout: 265 seconds]
BiDOrD has quit [Ping timeout: 255 seconds]
Valdo has quit [Ping timeout: 255 seconds]
patronus_ has quit [Ping timeout: 255 seconds]
wwilly has quit [Ping timeout: 255 seconds]
Valda is now known as Valdo
talzeus has joined #ocaml
cthuluh has joined #ocaml
wwilly has joined #ocaml
jave has quit [Ping timeout: 240 seconds]
jave has joined #ocaml
shinnya has joined #ocaml
maattdd has quit [Ping timeout: 252 seconds]
shinnya has quit [Ping timeout: 240 seconds]
nikki93 has joined #ocaml
johnelse_ has joined #ocaml
johnelse has quit [Ping timeout: 240 seconds]
johnelse_ has quit [Ping timeout: 268 seconds]
johnelse has joined #ocaml
thomasga has quit [Quit: Leaving.]
fusillia has joined #ocaml
bjkeller has quit [Remote host closed the connection]
ollehar has joined #ocaml
bjkeller has joined #ocaml
holo has joined #ocaml
nikki93 has quit [Remote host closed the connection]
holo has left #ocaml []
bjkeller has quit [Remote host closed the connection]
maattdd has joined #ocaml
bjkeller has joined #ocaml
darkf has joined #ocaml
NoNNaN has joined #ocaml
ikaros has quit [Quit: Ex-Chat]
malo has quit [Quit: Leaving]
madroach has quit [Ping timeout: 252 seconds]
madroach has joined #ocaml
tobiasBora has quit [Quit: Konversation terminated!]
maattdd has quit [Ping timeout: 264 seconds]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
fusillia has quit [Remote host closed the connection]