talzeus has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
tianon has quit [Ping timeout: 240 seconds]
Xenasis has quit [Remote host closed the connection]
f[x] has quit [Ping timeout: 246 seconds]
rossberg has quit [Ping timeout: 240 seconds]
nikki93 has quit [Remote host closed the connection]
talzeus has joined #ocaml
tianon has joined #ocaml
zpe has joined #ocaml
csakatoku has joined #ocaml
nikki93 has joined #ocaml
tlockney has joined #ocaml
tianon has quit [Ping timeout: 272 seconds]
zpe has quit [Ping timeout: 246 seconds]
mcclurmc has quit [Remote host closed the connection]
tulloch has joined #ocaml
Xenasis has joined #ocaml
tianon has joined #ocaml
tulloch has quit [Ping timeout: 245 seconds]
Xenasis has quit [Remote host closed the connection]
jonludlam has quit [Remote host closed the connection]
nikki93 has quit [Remote host closed the connection]
tianon has quit [Ping timeout: 241 seconds]
f[x] has joined #ocaml
mye has quit [Quit: mye]
zpe has joined #ocaml
tobiasBora has quit [Quit: Konversation terminated!]
michael_lee has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
teiresias has joined #ocaml
nikki93 has joined #ocaml
michael_lee has quit [Read error: Connection reset by peer]
michael_lee has joined #ocaml
nikki93 has quit [Remote host closed the connection]
boogie has quit [Remote host closed the connection]
psquid has joined #ocaml
<psquid>
So I'm trying to play with bitstring, but I've been unable to load the syntax extension in the toplevel (or utop, which I prefer), and some cursory searching suggests that's a known problem, but the last posts are all from ~2012, and mostly talking about OCaml 3.x. So what I was wondering is, does anyone know if that's now possible, or is it still a case of only being able to use the syntax extensions when
<psquid>
compiling?
nikki93 has joined #ocaml
pango_ has quit [Ping timeout: 240 seconds]
strobegen has joined #ocaml
zpe has joined #ocaml
pango_ has joined #ocaml
tulloch has joined #ocaml
tulloch has quit [Ping timeout: 246 seconds]
cesar has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
cesar is now known as Guest50550
Guest50550 has quit [Remote host closed the connection]
manizzle has quit [Read error: Operation timed out]
ollehar has quit [Ping timeout: 246 seconds]
tianon has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
tulloch has joined #ocaml
nikki93 has quit [Remote host closed the connection]
cesar has joined #ocaml
cesar is now known as Guest89424
tulloch has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
nikki93 has joined #ocaml
csakatok_ has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
<f[x]>
psquid, META is broken, but you can workaround it
csakatoku has quit [Ping timeout: 272 seconds]
<f[x]>
#camlp4o;;
<f[x]>
#require "bitstring.syntax";;
<f[x]>
let f x = bitmatch x with { rest : -1 : bitstring } -> rest;;
<psquid>
f[x]: Ah, I see now. The "cannot find file" message (referring to bitstring/unix.cma) on #require'ing didn't actually prevent me using it (should've checked, d'oh!), but does somehow prevent it from being suggested by utop's completions thingy. Odd, but workable.
<psquid>
Thanks! :)
NoNNaN has quit [Ping timeout: 240 seconds]
nikki93 has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
zpe has joined #ocaml
nikki93 has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
gustav_ has quit [Ping timeout: 248 seconds]
nikki93 has quit [Remote host closed the connection]
w0rm_x has joined #ocaml
csakatoku has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
nikki93 has joined #ocaml
tulloch has joined #ocaml
mcclurmc has joined #ocaml
tulloch has quit [Ping timeout: 240 seconds]
tulloch has joined #ocaml
zpe has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
csakatok_ has joined #ocaml
w0rm_x has quit [Ping timeout: 264 seconds]
csakatoku has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 272 seconds]
NoNNaN has quit [Ping timeout: 240 seconds]
NoNNaN has joined #ocaml
groovy2shoes has quit [Quit: groovy2shoes]
nikki93 has quit [Remote host closed the connection]
zpe has joined #ocaml
mcclurmc has joined #ocaml
nikki93 has joined #ocaml
Guest89424 has quit [Remote host closed the connection]
cesar has joined #ocaml
cesar is now known as Guest90839
mcclurmc has quit [Ping timeout: 272 seconds]
zpe has quit [Ping timeout: 272 seconds]
Arzaga has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
f[x] has quit [Ping timeout: 272 seconds]
yacks has quit [Quit: Leaving]
csakatoku has joined #ocaml
ggole has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
csakatoku has joined #ocaml
zpe has joined #ocaml
yezariaely has joined #ocaml
pkrnj has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
ulfdoz has joined #ocaml
mcclurmc has joined #ocaml
ulfdoz has quit [Ping timeout: 272 seconds]
mcclurmc has quit [Ping timeout: 272 seconds]
f[x] has joined #ocaml
zpe has joined #ocaml
<whitequark>
jpdeplaix: I've just checked and bytecode executables work fine for me
<whitequark>
what error do you get?
nikki93 has quit [Remote host closed the connection]
csakatoku has quit [Remote host closed the connection]
Guest90839 has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
yezariaely has quit [Remote host closed the connection]
yezariaely has joined #ocaml
michael_alex has joined #ocaml
zpe has joined #ocaml
csakatoku has joined #ocaml
ttamttam has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
fds has quit [Ping timeout: 272 seconds]
fds has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
AltGr has joined #ocaml
AltGr has left #ocaml []
AltGr has joined #ocaml
cthuluh has quit [Ping timeout: 272 seconds]
mcclurmc has joined #ocaml
wormphlegm has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
mcclurmc has quit [Ping timeout: 272 seconds]
djcoin has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest77282
zpe has quit [Ping timeout: 264 seconds]
Guest77282 has quit [Ping timeout: 272 seconds]
cago has joined #ocaml
michael_alex has quit [Quit: Ex-Chat]
wormphlegm has joined #ocaml
Kakadu has joined #ocaml
wormphlegm has quit [Ping timeout: 246 seconds]
Arzaga has quit [Quit: Computer has gone to sleep.]
zpe has joined #ocaml
kyrylo has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
avsm has joined #ocaml
Simn has joined #ocaml
yezariaely has quit [Quit: Leaving.]
skchrko has joined #ocaml
tulloch has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
wormphlegm has joined #ocaml
wormphlegm has quit [Ping timeout: 272 seconds]
csakatoku has joined #ocaml
mika1 has joined #ocaml
ollehar has joined #ocaml
<jpdeplaix>
whitequark: Error: Error on dynamically loaded library: ~/.opam/4.01.0/lib/llvm/./dllllvm.so: libLLVM-3.4.so: cannot open shared object file: No such file or directory
<whitequark>
jpdeplaix: I think this needs to be fixed with -rpath...
<whitequark>
I'll look into what I can do
wolfnn has joined #ocaml
ousado_ has joined #ocaml
ousado has quit [Ping timeout: 272 seconds]
ousado_ is now known as ousado
tulloch has joined #ocaml
ousado has quit [Changing host]
ousado has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest8057
mcclurmc has joined #ocaml
_andre has joined #ocaml
Yoric has joined #ocaml
Guest8057 has quit [Ping timeout: 245 seconds]
michael_lee has quit [Quit: Ex-Chat]
michael_lee has joined #ocaml
mcclurmc has quit [Ping timeout: 272 seconds]
tulloch_ has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 252 seconds]
kyrylo has quit [Ping timeout: 252 seconds]
wormphlegm has joined #ocaml
wormphlegm has quit [Read error: Operation timed out]
<adrien>
if ocamlnet is roughly the definition of bloat in the ocaml world, then I think we don't have much to complain about
<Drup>
I was talking more about structural complexity than size, but yeah, that's quite right
<adrien>
it's a framework more than a lib, that's all
Yoric has joined #ocaml
wormphlegm has joined #ocaml
<Drup>
adrien : I agree, that's why using it as a lib is a bit weird, imo. It should be decomposed in smaller parts.
<Drup>
there is a ton of cool stuff in it, but it's too tightly fused together.
ggherdov has joined #ocaml
wormphlegm has quit [Ping timeout: 252 seconds]
Kakadu has quit [Ping timeout: 250 seconds]
ontologiae_ has quit [Ping timeout: 265 seconds]
<adrien>
Drup: I too wish it were made of smaller and independent components but I can't tell how doable that actually is
<Drup>
adrien : I prefer not to think of why a PCRE engine would be so coupled to a webserver and a mutlicore library than you have to use all of them at once.
<adrien>
equeue?
<Drup>
not convincing, you can still separate and have dependencies. you don't have to pack everything in one
wormphlegm has joined #ocaml
<adrien>
but it's not very useful if for each new version of lib X, you need a new version of lib Y
<Drup>
it is, you can still only take one of the small piece
<adrien>
agreed but the cost of maintaining > 10 libs is noticeable
<adrien>
I wonder if you can still link against individual cmxa and not pull equeue for instance
<Drup>
I know, I have done some stuff for ocsigen :)
<sgnb>
ocamlnet? bloat?
<sgnb>
then what's all the camlp4* binaries?
<sgnb>
(or coq theories for that matter)
<Drup>
sgnb: "I was talking more about structural complexity than size"
<Drup>
(but camlp4 still does have a crazy structural complexity)
ontologiae_ has joined #ocaml
mcclurmc has joined #ocaml
<adrien>
:)
<jpdeplaix>
whitequark: can you also commit your fix on the branch release_34 ?
<whitequark>
jpdeplaix: that will be done
rossberg has joined #ocaml
Simn is now known as Simn|gone
mika1 has quit [Quit: Leaving.]
mika1 has joined #ocaml
siddharthv has quit [Quit: siddharthv]
passiveobserver has left #ocaml []
WraithM_ has joined #ocaml
Arzaga has joined #ocaml
ontologiae_ has quit [Ping timeout: 272 seconds]
mika1 has quit [Ping timeout: 265 seconds]
michael_lee has joined #ocaml
BitPuffin has quit [Quit: WeeChat 0.4.2]
Simn|gone is now known as Simn
michael_lee has quit [Quit: Ex-Chat]
michael_lee has joined #ocaml
travisbrady has joined #ocaml
travisbrady has quit [Client Quit]
cago has left #ocaml []
gour has quit [Disconnected by services]
gour_ has joined #ocaml
travisbrady has joined #ocaml
ygrek has joined #ocaml
BitPuffin has joined #ocaml
bobry has quit [Quit: Connection closed for inactivity]
Yoric has quit [Ping timeout: 240 seconds]
yezariaely is now known as arj
gour_ is now known as gour
rand000 has joined #ocaml
arj has quit [Quit: Leaving.]
gdk has joined #ocaml
jyeo has quit [Quit: Connection closed for inactivity]
mye has quit [Quit: mye]
mye has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest50530
ygrek has quit [Ping timeout: 240 seconds]
Guest50530 has quit [Remote host closed the connection]
BitPuffin has quit [Quit: WeeChat 0.4.2]
chambart has quit [Ping timeout: 246 seconds]
cthuluh has joined #ocaml
osa1 has quit [Ping timeout: 240 seconds]
ollehar has joined #ocaml
thomasga has joined #ocaml
shinnya has joined #ocaml
siddharthv has joined #ocaml
chambart has joined #ocaml
Neros has quit [Ping timeout: 272 seconds]
esden has quit [Ping timeout: 245 seconds]
djcoin has quit [Quit: WeeChat 0.4.1]
shinnya has quit [Ping timeout: 252 seconds]
osa1 has joined #ocaml
ttamttam has quit [Quit: ttamttam]
t0yv0 has quit [Quit: Page closed]
esden has joined #ocaml
tulloch_ has quit [Ping timeout: 272 seconds]
tulloch has joined #ocaml
jonludlam has quit [Ping timeout: 248 seconds]
mye has quit [Quit: mye]
siddharthv has quit [Ping timeout: 246 seconds]
mye has joined #ocaml
boogie has joined #ocaml
wolfnn has joined #ocaml
Yoric has joined #ocaml
siddharthv has joined #ocaml
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
osa1 has quit [Quit: Konversation terminated!]
boogie has quit [Remote host closed the connection]
tane has joined #ocaml
kkielak has joined #ocaml
<kkielak>
hello everybody
<ollehar>
hi
<kkielak>
i'm still looking for a way to force merlin to look for the symbols in set of files not just the one that i'm viewing in vim, anybody?
<kkielak>
:)
<rks`>
kkielak: hi!
<kkielak>
hi rks`
<kkielak>
rks`: i wrote to merlin maintainers, but no luck with the answer... yet
mcclurmc has quit [Remote host closed the connection]
<ousado>
I don't know whether that's usable with the compiler
<ousado>
but I'd guess so
<adrien>
how long has your system been running for?
<dead`>
I've tried rebooting it and then running 'opam install core'
<dead`>
ousado: thanks, I'll give this a try
zpe has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
dsheets has quit [Ping timeout: 246 seconds]
dead`_ has joined #ocaml
thomasga has quit [Quit: Leaving.]
dead` has quit [Ping timeout: 252 seconds]
dead`_ is now known as dead`
avsm has quit [Ping timeout: 252 seconds]
gdk has quit [Ping timeout: 245 seconds]
ggole has quit []
_andre has quit [Quit: leaving]
manizzle has joined #ocaml
mfp has quit [Read error: Connection reset by peer]
gour has quit [Quit: WeeChat 0.4.2]
sepp2k has quit [Quit: Konversation terminated!]
thizanne has quit [Ping timeout: 265 seconds]
mcclurmc has quit [Remote host closed the connection]
thizanne has joined #ocaml
<ericbmerritt>
I have a small project seperated out into several modules. They all depend on a small number of types. To avoid mutual recursion I have moved those types into thier own module that get opened in the modules that use them. In the module that serves as the main entrypoint, it just renames them.
<ericbmerritt>
well, not renames, aliases is perhaps the better term
<ericbmerritt>
is there a better way to handle this?
Arzaga has quit [Quit: Computer has gone to sleep.]
ontologiae_ has joined #ocaml
mcclurmc has joined #ocaml
mfp has joined #ocaml
dead` has quit [Ping timeout: 264 seconds]
gdk has joined #ocaml
dead` has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
jonludlam has joined #ocaml
zpe has joined #ocaml
BitPuffin has joined #ocaml
groovy2shoes has joined #ocaml
dead` has quit [Ping timeout: 272 seconds]
Xenasis has quit [Remote host closed the connection]
Xenasis has joined #ocaml
jonludlam has quit [Remote host closed the connection]
dsheets has joined #ocaml
thomasga has joined #ocaml
demonimin has quit [Ping timeout: 252 seconds]
thomasga has quit [Client Quit]
bondar has joined #ocaml
groovy2shoes has quit [Quit: groovy2shoes]
demonimin has joined #ocaml
mcclurmc has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
bondar has quit [Ping timeout: 272 seconds]
AltGr has left #ocaml []
mcclurmc has quit [Ping timeout: 246 seconds]
ontologiae_ has quit [Ping timeout: 248 seconds]
mort___ has joined #ocaml
mort___ has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
<jpdeplaix>
whitequark: can you help me one an llvm assert ?
<fds>
I should say that I don't know much OCaml and the code was (loosely) based on SML code by Lawrence Paulson.
<companion_cube>
orbitz: then it should just be a test :/
<orbitz>
companion_cube: I need tons of random input though
Kakadu has quit []
<orbitz>
but i've rewritten this prop test from scratch now, I just need to figure out what meaningful thing to put into the "do fake work here" section
mcclurmc has quit [Remote host closed the connection]
mye_ has joined #ocaml
mye_ has quit [Client Quit]
mye has quit [Ping timeout: 252 seconds]
<bjorkintosh>
has anyone installed opam on ubuntu 13.10?
<bjorkintosh>
i'm getting an unmet dependencies error for ocaml-base-3.0.10
<bjorkintosh>
oops.
<bjorkintosh>
4.01.0
rand000 has quit [Quit: leaving]
manud is now known as manu-eating-cake
Pluggi` has quit [Ping timeout: 260 seconds]
<bjorkintosh>
hmm. works fine on the other machine. must be a silly error.
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
groovy2shoes has joined #ocaml
groovy2shoes has quit [Changing host]
groovy2shoes has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
tane has quit [Quit: Verlassend]
darkf has joined #ocaml
gdk has quit [Ping timeout: 252 seconds]
tulloch has quit [Ping timeout: 252 seconds]
tulloch has joined #ocaml
skchrko has quit [Ping timeout: 264 seconds]
tulloch has quit [Ping timeout: 264 seconds]
kyrylo has quit [Ping timeout: 248 seconds]
rand000_ has quit [Quit: leaving]
Simn has quit [Quit: Leaving]
kyrylo has joined #ocaml
<whitequark>
jpdeplaix: heh I was sleeping
<whitequark>
but you're welcome. it's nice to know you can help people even then! :p
skchrko has joined #ocaml
strobegen has quit [Quit: Leaving.]
jonludlam has joined #ocaml
Eyyub has quit [Quit: Lost terminal]
tulloch has joined #ocaml
NoNNaN has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
nikki93 has quit [Remote host closed the connection]
zpe has joined #ocaml
jonludlam has quit [Remote host closed the connection]
WraithM_ has quit [Ping timeout: 264 seconds]
ollehar has quit [Read error: Operation timed out]
ollehar has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
BitPuffin has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
mcclurmc has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
zpe_ has joined #ocaml
osa1 has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
kyrylo has quit [Ping timeout: 252 seconds]
zpe_ has quit [Read error: Operation timed out]
avsm has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
mcclurmc has quit [Remote host closed the connection]
tulloch has quit [Ping timeout: 260 seconds]
ollehar has quit [Ping timeout: 260 seconds]
Yoric has quit [Ping timeout: 252 seconds]
mfp has quit [Ping timeout: 246 seconds]
talzeus has joined #ocaml
nikki93 has joined #ocaml
tulloch has joined #ocaml
Arzaga has joined #ocaml
mfp has joined #ocaml
nikki93 has quit [Remote host closed the connection]
Arzaga has quit [Quit: Computer has gone to sleep.]