iorivur has quit [Remote host closed the connection]
SomeDamnBody has quit [Ping timeout: 250 seconds]
SomeDamnBody has joined #ocaml
pdewacht has joined #ocaml
<wagle>
how would i go about embedding strings like "{foo|notfoo}" in comments?
<wagle>
prooftree does this, and I got it to work, and i want to upstream
pdewacht has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 252 seconds]
badon has joined #ocaml
zhangyh26258 has quit [Remote host closed the connection]
zhangyh26258 has joined #ocaml
SomeDamnBody has quit [Ping timeout: 240 seconds]
pdewacht has joined #ocaml
pyon has quit [Quit: stupid emacs]
slash^ has joined #ocaml
pyon has joined #ocaml
myyst has joined #ocaml
myst has quit [Ping timeout: 250 seconds]
myyst has quit [Ping timeout: 250 seconds]
myyst has joined #ocaml
bjorkintosh has quit [Read error: Connection timed out]
reem has joined #ocaml
* wagle
isnt finding documentation for the behavior of "{" and "|" inside of comments
lostman has joined #ocaml
lostman has quit [Client Quit]
manud has joined #ocaml
lostman has joined #ocaml
lostman has quit [Client Quit]
bjorkintosh has joined #ocaml
reem has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
oscar_toro1 has joined #ocaml
oscar_toro has joined #ocaml
oscar_toro1 has left #ocaml [#ocaml]
reem has joined #ocaml
badkins has quit [Remote host closed the connection]
dmitigr has joined #ocaml
<MercurialAlchemi>
companion_cube: had a look yesterday at your patch, but opam is giving me grief when I tried to install it on a clean switch, I need to investigate some more
dmitigr has left #ocaml ["ERC (IRC client for Emacs 25.0.50.12)"]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
martintrojer has quit [Ping timeout: 245 seconds]
martintrojer_ has joined #ocaml
swgillespie has joined #ocaml
Antoine59 has quit [Ping timeout: 250 seconds]
Antoine59 has joined #ocaml
badon has quit [Disconnected by services]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
Submarine has joined #ocaml
Submarine has joined #ocaml
cufisz has quit [*.net *.split]
srcerer has quit [*.net *.split]
diethyl has quit [*.net *.split]
hannes has quit [*.net *.split]
moviuro has quit [*.net *.split]
cufisz has joined #ocaml
badon has joined #ocaml
srcerer has joined #ocaml
dav has quit [Ping timeout: 255 seconds]
dav has joined #ocaml
moviuro has joined #ocaml
hannes has joined #ocaml
moviuro has quit [Max SendQ exceeded]
moviuro has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
zpe has joined #ocaml
rgrinberg has joined #ocaml
vanila has quit [Quit: Leaving]
Submarine has quit [Remote host closed the connection]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
reem has quit [Remote host closed the connection]
wwilly has joined #ocaml
zhangyh26258 has quit [Remote host closed the connection]
ebzzry has quit [Remote host closed the connection]
reem has joined #ocaml
ygrek has joined #ocaml
mlen has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
zhangyh26258 has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
badkins has joined #ocaml
badkins has quit [Ping timeout: 246 seconds]
zpe has quit [Remote host closed the connection]
mort___ has joined #ocaml
AlexRussia has quit [Ping timeout: 255 seconds]
zpe has joined #ocaml
AlexRussia has joined #ocaml
ontologiae has joined #ocaml
Simn has joined #ocaml
mort___ has quit [Quit: Leaving.]
psy_ has quit [Ping timeout: 255 seconds]
zpe has quit [Remote host closed the connection]
mort___ has joined #ocaml
diethyl has joined #ocaml
diethyl is now known as Guest11627
reem has quit [Remote host closed the connection]
govg has joined #ocaml
martintrojer_ has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
reem has joined #ocaml
psy_ has joined #ocaml
lordkryss has joined #ocaml
prsn has joined #ocaml
manud has quit [Quit: manud]
<prsn>
hello! I followed the instructions at https://opam.ocaml.org/doc/Install.html to install opam on wheezy, and it seemed to work. However, the project I'm trying to build uses ocamlbuild, which is apparently not found on my system after opam init --comp=4.02.1
<prsn>
i've been unable to find information on where to get ocamlbuild, which seems to imply that it's part of ocaml itself, so i don't know why i don't have it
<prsn>
any ideas?
reem has quit [Remote host closed the connection]
reem has joined #ocaml
mort___ has quit [Quit: Leaving.]
keen__________61 has joined #ocaml
keen__________60 has quit [Ping timeout: 265 seconds]
reem has quit [Remote host closed the connection]
zhangyh26258 has quit [Remote host closed the connection]
rand000 has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
rgrinberg has quit [Quit: Leaving.]
contempt has quit [Quit: leaving]
contempt has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
zpe has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
martintrojer has joined #ocaml
martintrojer has quit [Max SendQ exceeded]
<whitequark>
you forgot to do eval `opam config env`
martintrojer has joined #ocaml
<whitequark>
prsn: ^
<prsn>
i didn't
ontologiae has quit [Ping timeout: 264 seconds]
<prsn>
i tried that a couple times
<prsn>
it seemed to work, which is to say, it produced no output
Haudegen has quit [Ping timeout: 264 seconds]
tane has joined #ocaml
<prsn>
huh, ok, i tried again just now and it worked, but in my scrollback i don't seem to have made an error. However, i did do it in a different directory initially, was that the issue?
<prsn>
my bash history looks like eval `...`; git clone project; cd project; make install -> "ocamlbuild not found"; eval `..`'; make install -> success
Haudegen has joined #ocaml
<prsn>
so i guess that must be it, but i thought it was just setting environment variables, so i don't really get it
<whitequark>
it does only set environment variables
<whitequark>
it's not dependent on the directory
<prsn>
looking at the output of opam config env, it doesn't seem to be making any references to the project dir..
<prsn>
ok so i did also do opam install core in between the failure and the success
<prsn>
but it also failed after that installation, before re-evaling the thing
<prsn>
idk, i guess i'll just accept that it works now and not worry about it, but it'd be nice to understand
<whitequark>
i can't explain that
<whitequark>
that should not happen
<prsn>
..ok, now if I sudo make install, it still says "ocamlbuild: command not found". If i just make install, it starts to work, but lacks needed permissions
ygrek has joined #ocaml
<prsn>
do i need to run opam init with root or something?
<whitequark>
that sounds like a broken package
<whitequark>
install should not invoke ocamlbuild
<prsn>
the makefile is definitely trying to on purpose
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
ggole has joined #ocaml
kakadu_ has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
kakadu_ has joined #ocaml
kakadu_ has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
Jefffrey has quit [Remote host closed the connection]
waneck has quit [Ping timeout: 256 seconds]
Submarine has joined #ocaml
Submarine has joined #ocaml
willy_ has joined #ocaml
wwilly has quit [Ping timeout: 246 seconds]
ygrek has quit [Ping timeout: 245 seconds]
zpe has joined #ocaml
ontologiae has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
prsn has quit [Quit: leaving]
reem has joined #ocaml
rand000 has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
reem has quit [Ping timeout: 252 seconds]
Haudegen has quit [Ping timeout: 245 seconds]
AltGr has left #ocaml [#ocaml]
ygrek has quit [Ping timeout: 244 seconds]
willy_ has quit [Quit: Leaving]
Guest37261 has joined #ocaml
myyst is now known as myst
jcdyer has joined #ocaml
tane has joined #ocaml
<jcdyer>
Still new to OCaml. I've written a program that seems to be silently swallowing printf statements. Does anyone have insight as to what might be happening here? https://dpaste.de/G3r6 (expected and actual output listed at the bottom).
<jcdyer>
Let me know if the body of parse.ml is needed to diagnose this.
<tane>
jcdyer, line 11,17 have a ';' at their end, chaining "test_parse" to the last pattern
<mrvn>
tip: don't use ";", use "let () = ... in"
<mrvn>
Apropo parsing. I have my tokenizer and parser using GADTs for type safe tokens and grammar rules. So Token.IntLiteral has type "int token" and the tokens attribute literal has type "int value"
<mrvn>
I wonder if I should extend that into the type checked AST.
<mrvn>
type _ expression = If : bool expression * 'a expression * 'a expression -> 'a expression | ...
ptc has joined #ocaml
<mrvn>
thoughts?
ptc is now known as Guest66520
<mrvn>
For those that have kernels with user space, how do you manage the include files? Some will be kernel internal and some needed to interface with the libc. I don't want to put them all into one include dir. How do you manage them?
bytbox has quit [Remote host closed the connection]
<mrvn>
sorry, EWIN
Guest66520 has quit [Ping timeout: 245 seconds]
ptc_ has joined #ocaml
<jcdyer>
tane: Thanks! That solved it.
Submarine has quit [Remote host closed the connection]
<jcdyer>
mrvn: I see how that using let () resolves hairy precedence issues with ;. Good idea.
enitiz has joined #ocaml
Jefffrey has joined #ocaml
zpe has joined #ocaml
ptc_ has quit [Read error: Connection reset by peer]
Jefffrey has quit [Ping timeout: 252 seconds]
Submarine has joined #ocaml
Submarine has joined #ocaml
struktured has quit [Ping timeout: 245 seconds]
tani has joined #ocaml
tane has quit [Ping timeout: 246 seconds]
bacam has quit [Quit: reboot]
bacam has joined #ocaml
mort___ has joined #ocaml
Submarine has quit [Quit: Leaving]
bytbox has joined #ocaml
ygrek has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
q66 has joined #ocaml
badkins has joined #ocaml
struktured has joined #ocaml
SomeDamnBody has joined #ocaml
mrvn has left #ocaml [#ocaml]
mrvn has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
Jefffrey has joined #ocaml
keen__________62 has joined #ocaml
keen__________61 has quit [Ping timeout: 264 seconds]
<Drup>
ggole: I've seen papers on ways to produce "the most colorful" list type of which you could derive all the other type-annoted list-like, but it usually use dependently typed
<ggole>
So you designate the list structure once, and the indexing separately multiple times?
<ggole>
(List structure as an example there.)
darkf has quit [Quit: Leaving]
<Drup>
or rather, you define the list structure once with a general enough indexing structure so that all the other indexing structures can be define in terms of it
<ggole>
I've had some half-assed ideas along those lines
<ggole>
I'm sure the type theory people are light years ahead
<Drup>
well, be happy to know you are not the only one :D
<Drup>
not really light years
<Drup>
ggole: I'm sure that gasche will be very happy to talk about this kind of things, if you manage to get hold on him :D
SomeDamnBody has quit [Ping timeout: 250 seconds]
paradoja has joined #ocaml
shinnya has joined #ocaml
hilquias has joined #ocaml
enitiz has quit [Ping timeout: 246 seconds]
dsheets has quit [Ping timeout: 264 seconds]
enitiz has joined #ocaml
enitiz has quit [Ping timeout: 264 seconds]
P1RATEZ has joined #ocaml
dsheets has joined #ocaml
larhat1 has quit [Read error: Connection reset by peer]
larhat has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
q66_ has joined #ocaml
jcdyer has left #ocaml [#ocaml]
Jefffrey has quit [Remote host closed the connection]
Guest37261 has quit [Ping timeout: 250 seconds]
struktured has quit [Ping timeout: 240 seconds]
brendan has left #ocaml ["Ex-Chat"]
struktured has joined #ocaml
ollehar1 has joined #ocaml
rgrinberg has joined #ocaml
Hannibal_Smith has joined #ocaml
Haudegen has joined #ocaml
struktured has quit [Ping timeout: 250 seconds]
AlexRussia has quit [Ping timeout: 246 seconds]
AlexRussia has joined #ocaml
Jefffrey has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
Jefffrey has quit [Ping timeout: 255 seconds]
rgrinberg has joined #ocaml
Jefffrey has joined #ocaml
mort___ has quit [Ping timeout: 250 seconds]
contempt has quit [Ping timeout: 246 seconds]
ggole has quit []
contempt has joined #ocaml
mcclurmc has joined #ocaml
manud has joined #ocaml
<Anarchos>
what is the most elegant way to check that in a list of couples, all first elements are equal ?
mort___ has joined #ocaml
P1RATEZ has quit []
artagnon has joined #ocaml
<artagnon>
The ocaml stuff in-tree is a constant source of test failures.
<artagnon>
"make inconsistent assumptions over interface Llvm" now -- and all the ocaml tests fail.
<artagnon>
When I run tests now, I make a mental note to filter out ocaml failures.
<artagnon>
whitequark: Don't admit changes that break tests?
<Drup>
artagnon: that's more of a sign of broken build systems than broken tests
<Drup>
"inconsistent assuptions blabla" messages usually mean "you didn't recompile everything as you should have"
* artagnon
ndos
<artagnon>
nods*
<mrvn>
or you have a loop
<artagnon>
Most of the test failures are build system failures, in my experience.
<whitequark>
artagnon: hrm?
swgillespie has joined #ocaml
<artagnon>
whitequark: Didn't run `make check` on llvm/ recently
<whitequark>
I don't commit changes that break tests, no
<whitequark>
not intentionally
<artagnon>
Oh.
<artagnon>
I thought you must have prioritized some change.
<whitequark>
sometimes, changes to LLVM elsewhere break the tests
<artagnon>
True, but it reflects poorly to always have tests failing in tree.
<whitequark>
they don't always fail.
<artagnon>
Something always fails for me.
<artagnon>
Atleast 1.
<Drup>
pastebin, all that ?
<whitequark>
indeed
<Drup>
because for now, it's a bit vague
<artagnon>
Okay, I didn't think the community was unaware of the failures.
<artagnon>
I'll report next time.
<whitequark>
OCaml is not tested on the buildbots
<artagnon>
... but now, let's fix these 14 tests.
<artagnon>
Right.
<whitequark>
if you want it tested, get fresh ctypes into debian
<whitequark>
I am not motivated to do so
<artagnon>
Damn it.
<whitequark>
and the ctypes maintainer did not return my mail
<artagnon>
He's usually quite responsive.
<artagnon>
yallop ie.
<whitequark>
no, the debian package maintainer
<artagnon>
Oh.
<whitequark>
also, actually, don't, not until ctypes 0.4
<whitequark>
which will be done who-knows-when
<whitequark>
3.6 shipped with quite broken bindings.
<whitequark>
specifically they only build with ctypes 0.3.x. not 0.2 (currently in debian) and not 0.4
swgillespie has quit [Client Quit]
<whitequark>
because of a really silly interface breaking ctypes bug
<artagnon>
I see.
<artagnon>
Can you put in an assert to NOT accept ctypes 3.6?
<whitequark>
3.6?
<artagnon>
Um, whichever version had the really silly interface breaking ctypes bug.
<artagnon>
I'm assuming the problem was in the ctypes version?
swgillespie has joined #ocaml
<whitequark>
the configure script requires 0.3 or later
<whitequark>
or rather, the cmake configuration
<whitequark>
i'm naturally not patient enough to add version check for ctypes into autoconf. getting it to find ocamlfind was bad enough
<artagnon>
Well, what's causing the inconsistent assumptions over interface Llvm?
swgillespie has quit [Client Quit]
<whitequark>
that's unrelated
<artagnon>
Oh.
<whitequark>
are you using autoconf or cmake?
<artagnon>
cmake.
<whitequark>
that should not happen
mcclurmc has quit [Ping timeout: 252 seconds]
<artagnon>
Well, it does, even from a clean build.
<artagnon>
Darwin.
<whitequark>
that is hard to believe
<whitequark>
there isn't /any/ way for this to happen from a clean build.
<artagnon>
Okay, I might have got that detail wrong.
<Drup>
artagnon: git clean -dfx ?
<whitequark>
i'll need some steps to reproduce.
* artagnon
tries git clean -dfx
<artagnon>
Wait, the build directory isn't a git repository.
<artagnon>
I'm not doing in-tree builds.
<artagnon>
Okay, so llvm.cmi seems to be out-of-date, and doesn't trigger a rebuild.
<whitequark>
hrm
* artagnon
tries to reproduce with a clean build
swgillespie has joined #ocaml
baz_ has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
baz_ has quit [Client Quit]
tg has joined #ocaml
struktured has joined #ocaml
mort___ has quit [Quit: Leaving.]
pyx has joined #ocaml
pyx has quit [Client Quit]
tg has quit [Ping timeout: 255 seconds]
enitiz has joined #ocaml
rgrinberg has joined #ocaml
tg has joined #ocaml
tg has quit [Ping timeout: 240 seconds]
tg has joined #ocaml
owen1 has joined #ocaml
<owen1>
is there a separate chat for web development? maybe ocsign?
<Drup>
if it's ocsigen related, yes, otherwise here is fine
slash^ has quit [Read error: Connection reset by peer]
<owen1>
i know nothing about ocaml. i am coming from node/js background. i just know that mirageOS uses it, it's compiled, functional (which scraes me) and you can write website/web apps with it.
tg has quit [Ping timeout: 252 seconds]
<owen1>
and with ocsigen u can use ocaml for server and client and communicate easile between them.
<Drup>
if you come from a nodejs background, be aware that the shock is going to be rude
<owen1>
ahahahh
<Drup>
not unbearable, probably enlightening, but rude :D
<owen1>
and lwt sits on top of libuv (eventloop, single thread etc)
<owen1>
so u guys have something similar to callbacks?
<Drup>
we don't use callbacks
<owen1>
or maybe it's hidden behind promises
<owen1>
or generators
<Drup>
hmm, more like promises, yes
<owen1>
or Go channels (:
<whitequark>
no, it's not similar to channels at all
<whitequark>
there's Lwt_stream.create, which makes a channel-like abstraction
<Algebr>
Is there some shortcut to getting contents of an option? Option.get doesn't seem to exist for me
<Drup>
Algebr: are you sure it's non empty ? :)
<Algebr>
yes, positive
<Drup>
then why didn't you extracted the content before ? :p
<Algebr>
Because I'm doing something like this foo#add (new LTerm_widget.label (List.nth bar 0))
<Drup>
Algebr: you are using core ? It seems to be Option.value
<Drup>
and you need to provide a default.
<Algebr>
and List.nth gives back option, yea, using core
<Algebr>
Drup: How did use print calls when using lambda term? Did you just write to a log file instead?
<Algebr>
how did you use*
<Drup>
(note that List.nth 0 can still return None, if the list is empty ...)
<Drup>
(also, List.nth 0 is List.head)
<Drup>
about prints, yeah, loging is the right solution
bobpoekert has quit [Ping timeout: 250 seconds]
mariusae has quit [Ping timeout: 250 seconds]
eventualbuddha has quit [Ping timeout: 252 seconds]
<dmbaturin>
SML has valOf : 'a option -> 'a which throws an exception for NONE. Not sure if it's ever a good idea to do it. :)
S11001001 has quit [Ping timeout: 265 seconds]
jeroud has quit [Ping timeout: 252 seconds]
andreypopp has quit [Ping timeout: 250 seconds]
S11001001 has joined #ocaml
eventualbuddha has joined #ocaml
mariusae has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
bobpoekert has joined #ocaml
paradoja has quit [Remote host closed the connection]
Guest29895 has joined #ocaml
jeroud has joined #ocaml
mjw56 has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
<nicoo>
dmbaturin: About as much as List.{hd,tl,nth}
<nicoo>
Since the only way to know for sure you are doing something sensible ... is to pattern-match
owen1 has left #ocaml ["WeeChat 1.1-dev"]
<dmbaturin>
nicoo: Yeah, that's what I mean.
<dmbaturin>
Unless one prefers exception catching style.
<nicoo>
No-one sensible does. [] and None aren't exceptional :þ
SomeDamnBody has joined #ocaml
rand000 has quit [Quit: leaving]
<nicoo>
adrien: “Xlib is the unit of measurement for how bad a C API is. So far, FFmpeg is about half an Xlib.”
reem has quit [Remote host closed the connection]
Jefffrey has joined #ocaml
Kakadu has quit [Remote host closed the connection]
Jefffrey has quit [Ping timeout: 264 seconds]
Thooms has quit [Quit: WeeChat 1.0.1]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
testcocoon has quit [Quit: Coyote finally caught me]
swgillespie has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
swgillespie has quit [Client Quit]
hsuh has quit [Ping timeout: 245 seconds]
testcocoon has joined #ocaml
hsuh has joined #ocaml
rgrinberg has joined #ocaml
<Algebr>
Merlin seems to be somewhat weak with methods for objects, is there some extra config needed for that or is this just the current state of merlin
<Drup>
current state of merlin
<Drup>
I think def` has a grand plan (or a branch :D) to improve that
teiresias has quit [Remote host closed the connection]
teiresias has joined #ocaml
swgillespie has joined #ocaml
SomeDamnBody has quit [Ping timeout: 256 seconds]
<Algebr>
Drup: I'm not entirely clear about the advantage of the syntax extension of lwt foo = .... is it just the ability to launch multiple threads at once?
swgillespie has quit [Client Quit]
<Algebr>
Oh nvm, reread the docs.
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]