<Pepe_>
or maybe because system is 4.02 it doesn't appear in my switches
<Pepe_>
Ah, it does
<Pepe_>
It didn't 2 weeks ago iirc
<Pepe_>
or 3 maybe
<Drup>
that's just by lack of update/upgrade :D
<Pepe_>
:)
<Pepe_>
Well then let me switch to 4.02
<Pepe_>
btw, when you pin a package, apparently it doesn't take into account the version anymore, and I got some dependency issues because of that "you are using a pinned version [..]"
<Pepe_>
it's fine for now though
<Pepe_>
I'll also update opam to 1.2
<Drup>
the situation is better in 1.2 for pinned things
<Pepe_>
Ah, maybe that's why I used the arch package instead :p
keen_____ has joined #ocaml
<Pepe_>
since it's already built
<Drup>
or maybe just put /tmp on your hard drive temporally
keen____ has quit [Ping timeout: 245 seconds]
<Drup>
and get a bigger swap
<Pepe_>
ah, wtf I forgot about that
<Pepe_>
fk systemd
<Pepe_>
I guess it'll have to wait until I get home, gateone needs /tmp and that's the only accesspoint I have for now :/
<Pepe_>
Drup: btw, do you think it'd be easily feasible to add a mingw-ocaml compiler to the list?
<Pepe_>
(opam switch)
<Drup>
you mean, a cross compiler to windows ?
<Drup>
:]
<Drup>
I'll let you discuss that with adrien and whitequark.
<Pepe_>
I know fedora has mingw32-ocaml, and I remember I was using it a few years ago (or maybe we recompiled ocaml from there, not sure)
axiles has joined #ocaml
<Pepe_>
(from there, I mean from mingw)
<Pepe_>
at the beginning of 3.11
<Pepe_>
or .10 :/
<Drup>
I'm incompetent in windows matters, and I'm quite happy about it, so I can't and won't say anything ^^'
mcclurmc has joined #ocaml
<Pepe_>
probably more competent than I am anyway :P
serge has quit [Remote host closed the connection]
serge has joined #ocaml
hbar has quit [Ping timeout: 244 seconds]
zpe has joined #ocaml
koderok has joined #ocaml
serge has quit [Ping timeout: 255 seconds]
zpe has quit [Ping timeout: 260 seconds]
samrat has quit [Ping timeout: 245 seconds]
demonimin has quit [Ping timeout: 260 seconds]
samrat has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
demonimin has joined #ocaml
demonimin has quit [Changing host]
demonimin has joined #ocaml
ggole has joined #ocaml
serge has joined #ocaml
slash^ has joined #ocaml
Submarine has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
zpe has joined #ocaml
MercurialAlchemi has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
koderok has quit [Ping timeout: 245 seconds]
koderok has joined #ocaml
koderok has quit [Read error: Connection reset by peer]
jpu has joined #ocaml
koderok has joined #ocaml
manud has joined #ocaml
<jpu>
Hello there, I want to use camlp5 to translate expression "dbg_begin x1;x2 dbg_end" to "()". It works fine for most of my file. But it fails when the file contains "let (<<) = (lsl)"
<jpu>
Error message says Lexing error: quotation not terminated
<jpu>
I got really confused
<Drup>
I didn't know anyone except coq people was using camlp5 ^^'
<jpu>
oh no
<jpu>
what am I supposed to use in this situation?
<Drup>
I would tend to say ppx
<Drup>
but at least, camlp4 is more common that camlp5
<jpu>
I tried camlp4 first, wow camlp4 wiki really....sucks....
<def`>
(but I agree that weird cases like in your issue are not tested :-), waiting for bug reports :_D)
<adrien>
doesn't seem to work for "C:\\a\\b\\c"
<adrien>
on Windows
<adrien>
unless my environment is dirty, I get
<adrien>
# split_path s [];;
<adrien>
- : string list = ["."; "C:\\a\\b\\c"]
<adrien>
oh, crap
<adrien>
too early in the morning
manud has quit [Ping timeout: 255 seconds]
zpe has quit [Ping timeout: 265 seconds]
morphles has joined #ocaml
<def`>
# split_path "C:\\a\\b\\c" [];;
<def`>
- : string list = ["C:\\"; "a"; "b"; "c"]
<adrien>
yeah, I was trying to understand why my own code wasn't working; I had forgotten the "dir ::" at some point =/
<adrien>
='(
<adrien>
thanks
<def`>
however, canonicalize_filename fails with drive specific relative directory
<def`>
this is because of the test on line 76 which doesn't assume drive specifier in front of current_dir, and line 77 where I have no idea how to get a relative directory on a specific drive
<def`>
get the cwd on specific drive I mean*
<def`>
… this should just disappear
contempt has quit [Ping timeout: 250 seconds]
serge has quit []
<adrien>
depends, the output doesn't have to be pretty
manud has joined #ocaml
anddam has joined #ocaml
<anddam>
hello, I just ran "opam init" and got several "[ERROR] Your version of OPAM (1.1.2) is not recent enough to read <skip> Upgrade OPAM to a more recent version (at least 1.2) to read this file correctly." still opam seems to be able to search and show packages' info
<anddam>
I never ran a newer version, were the 1.2 format downloaded when running the 'init' action?
WraithM has quit [Ping timeout: 260 seconds]
ygrek_ has quit [Ping timeout: 265 seconds]
<Drup>
it tried to fetch the repository, saw some package it couldn't read and skiped them
<Drup>
so, you can't install them, but you can install the rest
<anddam>
thanks, that was just out of curiosity
<anddam>
I was upgrading the opam port to 1.1.2 and noticed 1.2.0 just came out
<Drup>
time to upgrade again, then :p
<anddam>
doing already
samrat has quit [Quit: Computer has gone to sleep.]
larhat has joined #ocaml
<anddam>
ok got just a "[WARNING] Recommended external solver aspcud not found."
<Drup>
you should package aspcud too, it's really a big improvement
larhat has quit [Quit: Leaving.]
<anddam>
"aspcud is a solver for CUDF instances based on ASP tools developed within the potassco project. It utilizes the preprocessor cudf2lp that rewrites CUDF specifications into ASP facts. These facts together with an ASP program are then passed to grounder gringo and are finally solved by solver clasp."
<anddam>
I don't have the slightest idea about what that line means
<Drup>
:D
<anddam>
ASP as in MS's ASP?
<Drup>
it solves package dependencies.
<Drup>
no
<anddam>
Answer Set Programming developed at the University of Potsdam
ggole has quit [Read error: Connection reset by peer]
ggole has joined #ocaml
marvin-hh has quit [Ping timeout: 240 seconds]
marvin-hh has joined #ocaml
Anarchos has joined #ocaml
marynate has quit [Quit: Leaving]
zpe has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
Thooms has joined #ocaml
morphles has quit [Ping timeout: 250 seconds]
BitPuffin has joined #ocaml
Simn has quit [Ping timeout: 260 seconds]
BitPuffin has left #ocaml [#ocaml]
_robbins has quit [Quit: Leaving]
koderok has quit [Ping timeout: 255 seconds]
oscar_toro has joined #ocaml
<dinosaure>
It's possible to use sedlex with menhir ?
rand000 has joined #ocaml
sheijk has joined #ocaml
marvin-hh has quit [Ping timeout: 256 seconds]
marvin-hh has joined #ocaml
<whitequark>
yes
<Leonidas>
so, if I have a function that converts string -> topic (an opaque string type with a limitation of 250 characters), should this have a string -> token signature and throw an exception or better string -> token option?
<dinosaure>
how to use :} ? Interface of Sedlexing is not same as Lexing :d
<Leonidas>
I tend toward the latter, but unwrapping options all the time makes for an annoying API.
Simn has joined #ocaml
malc_ has joined #ocaml
<ggole>
Provide both? foo: thing -> t option and foo_exn: thing -> t?
<sheijk>
does anyone know why the package for opam 1.2 in os x/homebrew suddenly requires xquartz? the version is "0.0.0" so this looks like a mistake to me
<whitequark>
dinosaure: Lexer in this example is ulex, I think, but it's the same with sedlex
<dinosaure>
yes, I see
<dinosaure>
thx
dsheets has joined #ocaml
marvin-hh has quit [Ping timeout: 255 seconds]
nico12 has joined #ocaml
koderok has joined #ocaml
nico12 has quit [Ping timeout: 244 seconds]
divyanshu has quit [Ping timeout: 265 seconds]
koderok has quit [Read error: Connection reset by peer]
koderok has joined #ocaml
girrig has quit [Ping timeout: 260 seconds]
esden has quit [Ping timeout: 260 seconds]
bytbox has quit [Ping timeout: 260 seconds]
ggherdov has quit [Ping timeout: 260 seconds]
Simn has quit [Ping timeout: 260 seconds]
ggole has quit [Ping timeout: 260 seconds]
pii4 has quit [Ping timeout: 260 seconds]
fraggle_ has quit [Ping timeout: 260 seconds]
kaustuv has quit [Ping timeout: 260 seconds]
asmanur has quit [Ping timeout: 260 seconds]
gustav___ has quit [Ping timeout: 260 seconds]
kalzz has quit [Ping timeout: 260 seconds]
xorpse has quit [Ping timeout: 260 seconds]
Nahra has quit [Ping timeout: 260 seconds]
Leonidas has quit [Ping timeout: 260 seconds]
gperetin has quit [Ping timeout: 260 seconds]
dinosaure has quit [Ping timeout: 260 seconds]
dsheets has quit [Ping timeout: 260 seconds]
Haudegen has quit [Ping timeout: 260 seconds]
whitequark has quit [Ping timeout: 260 seconds]
contempt has quit [Ping timeout: 260 seconds]
jzelinskie has quit [Ping timeout: 260 seconds]
n0v has quit [Ping timeout: 260 seconds]
sinelaw has quit [Ping timeout: 260 seconds]
olasd has quit [Ping timeout: 260 seconds]
Plazma has quit [Read error: Connection reset by peer]
Plazma has joined #ocaml
esden has joined #ocaml
gperetin has joined #ocaml
freling has quit [Ping timeout: 260 seconds]
Sim_n has joined #ocaml
Hannibal_Smith has joined #ocaml
Nahra` has joined #ocaml
asmanur_ has joined #ocaml
Leonidas_ has joined #ocaml
dinosaure1 has joined #ocaml
gustav__1 has joined #ocaml
OnkV has joined #ocaml
whitequa1k has joined #ocaml
contempt has joined #ocaml
jzelinskie_ has joined #ocaml
ggole_ has joined #ocaml
pii_4_ has joined #ocaml
cdidd has quit [Ping timeout: 260 seconds]
andreypopp_ has quit [Ping timeout: 260 seconds]
olasd has joined #ocaml
n0v has joined #ocaml
cdidd has joined #ocaml
_andre has quit [Ping timeout: 260 seconds]
_andre has joined #ocaml
whitequa1k is now known as whitequark
kalzz has joined #ocaml
sinelaw has joined #ocaml
Guest67269 has joined #ocaml
xorpse has joined #ocaml
dsheets has joined #ocaml
fraggle_ has joined #ocaml
girrig has joined #ocaml
freling has joined #ocaml
samrat has joined #ocaml
ggherdov has joined #ocaml
marvin-hh has joined #ocaml
BitPuffin has joined #ocaml
darkf has quit [Quit: Leaving]
elfring has joined #ocaml
ontologiae has joined #ocaml
Leonidas_ is now known as Leonidas
ontologiae has quit [Ping timeout: 255 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
larhat1 has joined #ocaml
cago has joined #ocaml
jpdeplaix` has joined #ocaml
AdmWiggin has joined #ocaml
larhat has quit [*.net *.split]
pharpend has quit [*.net *.split]
bjorkintosh has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
milosn_ has quit [*.net *.split]
tianon has quit [*.net *.split]
NoNNaN has quit [*.net *.split]
nicoo has quit [*.net *.split]
dsheets has quit [Ping timeout: 245 seconds]
bjorkintosh has joined #ocaml
milosn has joined #ocaml
pharpend has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
badon_ has joined #ocaml
reventlo1 has joined #ocaml
reventlov has quit [Quit: leaving]
badon has quit [Ping timeout: 244 seconds]
reventlo1 has quit [Client Quit]
badon_ is now known as badon
kakadu has quit [Remote host closed the connection]
kakadu has joined #ocaml
reventlov has joined #ocaml
Asmadeus_ has joined #ocaml
Asmadeus has quit [Read error: Connection reset by peer]
vincom2 has quit [Remote host closed the connection]
vincom2 has joined #ocaml
bytbox has joined #ocaml
ft_ has joined #ocaml
ggole_ is now known as ggole
ft_ has quit [Quit: leaving]
panini has joined #ocaml
martintrojer has quit [Ping timeout: 244 seconds]
zpe has joined #ocaml
martintrojer has joined #ocaml
pii_4_ is now known as pii4
pii4 has quit [Changing host]
pii4 has joined #ocaml
n1ftyn8 has quit [Ping timeout: 272 seconds]
jzelinskie_ has quit [Ping timeout: 265 seconds]
cojy has quit [Read error: Connection reset by peer]
rfv has quit [Ping timeout: 272 seconds]
zpe has quit [Ping timeout: 240 seconds]
msch has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
vogler has joined #ocaml
voglerr has quit [Ping timeout: 255 seconds]
AdmWiggin is now known as tianon
dinosaure1 is now known as dinosaure
vogler has quit [Ping timeout: 244 seconds]
hhugo1 has joined #ocaml
samrat has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
hhugo1 has quit [Quit: Leaving.]
hhugo1 has joined #ocaml
cojy has joined #ocaml
jzelinskie_ has joined #ocaml
panini has quit [Quit: Leaving]
sinelaw has quit [Ping timeout: 258 seconds]
<Drup>
whitequark: ping ?
serge has quit [Remote host closed the connection]
n1ftyn8 has joined #ocaml
serge has joined #ocaml
serge has quit [Ping timeout: 258 seconds]
slash^ has joined #ocaml
slash^1 has quit [Ping timeout: 272 seconds]
msch has joined #ocaml
rfv has joined #ocaml
morphles has joined #ocaml
AlexRussia has quit [Quit: WeeChat 1.1-dev]
steshaw has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
morphles has quit [Ping timeout: 244 seconds]
<artagnon>
whitequark: If I understand correctly, LLVMAddGlobalMapping and LLVMGetPointerToGlobal will have to be used by the OCaml user, right?
<artagnon>
What is the "new" API to initialize ee and call run_function?
<sheijk>
meh, how do i debug ocamlfind/opam. made a package and after installation it doesn't show up in "ocamlfind list" and i've no idea what to check
<sheijk>
https://github.com/sheijk/ppx_string_interpolate <- current state is here. will install fine using opam, puts a bunch of files into ~/.opam/4.02.1/lib/ppx_string_interpolate/ (META, ppx_string.native), but ocamlfind list won't show the package
serge has joined #ocaml
<Leonidas>
oh, that's a nice package :-)
<sheijk>
if i could get it to work :)
Hannibal_Smith has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
serge has quit [Ping timeout: 255 seconds]
voglerr has joined #ocaml
fraggle-boate_ has quit [Quit: Quitte]
fraggle-boate has joined #ocaml
vogler has joined #ocaml
morphles has quit [Ping timeout: 258 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
<sheijk>
Drup: it's only handling a single identifier in the parentheses. using the ocaml lexer to parse a balanced expression is planned for sometime in the future
<sheijk>
and ppx_deriving seems to have changed it's interface. will need to adapt that
ygrek has quit [Ping timeout: 240 seconds]
manud has joined #ocaml
<sheijk>
the build system won't change, though. ocamlbuild is usually causing more trouble for me than it's worth. there are just no "nice" build systems :\
<sheijk>
Drup: latin1 is what i think what ocaml uses for identifiers
<sheijk>
but that might be mistaken, didn't actually check the docs :)
<Drup>
for identifiers, yes, not for strings.
<Drup>
let x = "λ" is valid
<sheijk>
oh, nice. so is it using utf8?
<Drup>
yes
<Drup>
it's just that the set of char allowed in identifiers is restricted to ascii chars
zpe has quit [Remote host closed the connection]
<Drup>
(usage of latin1 char in identifiers is deprecated)
zpe has joined #ocaml
<Leonidas>
interesting, now that many languages go the other way
<Drup>
(tips: you can write utf8 in comments. Very usefull for math)
<ggole>
Comment parsing difficulties aside -_-
vogler has joined #ocaml
pharpend has quit [Quit: WeeChat 0.4.3]
pharpend has joined #ocaml
<sheijk>
Drup: yep. utf8 for source file encoding + restricting identifiers to ascii is imho the sane way to go for most languages
zpe has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
vogler has quit [Read error: Connection reset by peer]
vogler has joined #ocaml
manud has quit [Quit: manud]
WraithM has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
Sim_n has quit [Read error: Connection reset by peer]
WraithM has quit [Ping timeout: 272 seconds]
marvin-hh has quit [Read error: Connection reset by peer]
serge has joined #ocaml
ygrek has quit [Ping timeout: 244 seconds]
marvin-hh has joined #ocaml
serge has quit [Ping timeout: 250 seconds]
<sheijk>
Drup: ok, should work now (removed ppx_deriving dependency)
<sheijk>
well, should work means it won't break due to ppx_deriving's api change but now the actual problem with opam/ocamlfind will show up :)
<Leonidas>
I suppose to get the length of an string in UTF-8 I need Uutf or Camomile, right?
<Drup>
yes
Guest10125 has quit [Quit: leaving]
<Leonidas>
Uutf is kinda barebones, seems like I need to implement my own length based on Uutf.String.fold_utf_8 because there is no such operation in Uutf.
<Drup>
Leonidas: there is also uunf, uucd and uucp
<Drup>
I have no idea which one contains a length function, but I'm sure it's somwhere ^^'
vogler has quit [Read error: No route to host]
vogler has joined #ocaml
<Leonidas>
okay, I thought these weren't relevant, since I don't want characteristics of the codepoints
Armael has quit [Ping timeout: 245 seconds]
<Leonidas>
actually, it it is utf8, I could probably just make a function myself.
engil has quit [Ping timeout: 255 seconds]
Khady has quit [Ping timeout: 255 seconds]
dinosaure has quit [Ping timeout: 258 seconds]
<Drup>
ahah, it always starts like that.
srax has quit [Ping timeout: 255 seconds]
mort___ has joined #ocaml
<Drup>
next things you know, you have successfully re-implemented yet another home grown utf8 library. :p
zpe has joined #ocaml
hausdorff has joined #ocaml
Khady has joined #ocaml
engil has joined #ocaml
Armael has joined #ocaml
srax has joined #ocaml
dinosaure has joined #ocaml
zpe has quit [Ping timeout: 244 seconds]
elfring has quit [Quit: Konversation terminated!]
<Leonidas>
Drup: yeah, possibly :D
<companion_cube>
please don't publish it :>
<Leonidas>
but camomile is dead, and I don't trust ucorelib :p
<Leonidas>
companion_cube: ok, deal :D
<companion_cube>
you could try submitting a patch to Uutf
<companion_cube>
(not easy)
<companion_cube>
doesn't it even provide a iter function?
<Leonidas>
companion_cube: I'm not sure this would even fit into Uutf, since it only seems to care about streaming utf data, not doing any processing on it.
<Leonidas>
companion_cube: why isn't it easy?
<companion_cube>
because Daniel Bünzli doesn't always accept patches ^^
<Leonidas>
(already second time I read this about dbunzli projects,)
<companion_cube>
in Uutf.String: val fold_utf_8 : 'a folder -> 'a -> string -> 'a
<companion_cube>
doesn't it fit?
<Leonidas>
companion_cube: yes, that's exactly what I said above.
<Leonidas>
but adding an external dependency on a library that doesn't even provide the exact functionality to be called once in a validation function seems overkill.
<companion_cube>
you will really only need to compute the length of strings?
<Leonidas>
yes.
<Leonidas>
if I happen to need more, I'll use a library, no worries.
<companion_cube>
just copy the code from Uutf :>
* Leonidas
not completely insane
<Leonidas>
I just implemented it in a rather efficient way in 6 lines, no need to copy stuff, really.
hhugo2 has quit [Quit: Leaving.]
q66[lap] has joined #ocaml
tane has quit [Quit: Verlassend]
<Leonidas>
The stdlib does not disappoint in being disappointing. There is no String.to_list or similar? :-(
Thooms has joined #ocaml
<companion_cube>
the stdlib is quite minimalistic
<companion_cube>
if you don't want to use batteries or Core, I have a lighter solution
<Leonidas>
indeed it is
<Leonidas>
my current solution is "copy code from stackoverflow"
<Leonidas>
though batteries has String.explode which is exactly what I want
<companion_cube>
or you can take a look at "containers" on opam