adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
<thizanne> adnotamentum: it's not the number 1
<thizanne> it's the letter l
<adnotamentum> Yea, sorry thizanne, I'm embarrassed for her
larhat has quit [Quit: Leaving.]
minn has joined #ocaml
kakadu has quit [Remote host closed the connection]
spew has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
parcs has joined #ocaml
<lyxia> The importance of choosing a sane font.
spew has quit [Ping timeout: 240 seconds]
<adnotamentum> Font issues aside, we solved that. Now it errors on reaching the second line of the program.
jmiven has quit [Quit: co'o]
<lyxia> why does [\n ] tokenize as EOF?
<adnotamentum> That was a probel
<adnotamentum> *was one of the problems that we fixed
jmiven has joined #ocaml
parcs has left #ocaml ["WeeChat 1.8-dev"]
spew has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
mengu has quit [Quit: Leaving...]
andreas__ has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
infinity0 has quit [Ping timeout: 260 seconds]
infinity0 has joined #ocaml
wtetzner has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
snhmib has quit [Ping timeout: 258 seconds]
infinity0 has joined #ocaml
shinnya has joined #ocaml
spew has quit [Quit: foobar]
pilne has quit [Quit: Quitting!]
<adnotamentum> Our parser puts everything in terms of HPPL.hpplterm but for some reason all of a sudden its giving us a warning when we call "parser_main lexer_main lexbuf" - its expecting a unit type? This then leads to an error where we have a function that expects hpplterm but its receiving this supposed unit. http://i.imgur.com/TNjzPk0.png http://pastebin.com
<adnotamentum> /q0Phd8QY
<adnotamentum> Line 52, line 30, and line 13 are causing issues
<lyxia> parse_input ends with a while loop which has type unit
<lyxia> uh parseInput
<lyxia> parseProgram too
<adnotamentum> It ends with the line "with Inputlexer.Eof -> quit_loop := false ; HPLanguage([])" so ends with type HPLanguage([]) which is an hpplTerm?
wtetzner has quit [Remote host closed the connection]
<lyxia> No, that's inside the while loop, which discards that value
<adnotamentum> Ahh ok, thanks. How would one return "parser_input lexer_input lexbuf"?
<lyxia> store it in a ref
<lyxia> or write a recursive function instead of a while loop
awal has quit [Ping timeout: 260 seconds]
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 246 seconds]
awal has joined #ocaml
awal is now known as Guest40871
after____ has joined #ocaml
after___ has quit [Ping timeout: 240 seconds]
after___ has joined #ocaml
after____ has quit [Ping timeout: 256 seconds]
Soni has quit [Ping timeout: 264 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
tmtwd has joined #ocaml
tmtwd has quit [Client Quit]
adnotamentum has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
nomicflux has joined #ocaml
MercurialAlchemi has joined #ocaml
nomicflux has quit [Client Quit]
_rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
SomeDamnBody has joined #ocaml
<SomeDamnBody> How can I pretty print a map using Core_kernel cleanly?
<SomeDamnBody> So that it is serializable, you know with something like sexp?
rawra has quit [Quit: Connection closed for inactivity]
Soni has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
rossberg has quit [Ping timeout: 264 seconds]
wtetzner has joined #ocaml
cbot_ has quit [Ping timeout: 260 seconds]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
wtetzner has quit [Ping timeout: 260 seconds]
rossberg has joined #ocaml
_whitelogger has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
larhat has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
FreeBirdLjj has joined #ocaml
SomeDamnBody has quit [Remote host closed the connection]
<rgrinberg> Map.sexp_of_t?
freusque has joined #ocaml
Simn has joined #ocaml
jnavila has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 258 seconds]
argent_smith has joined #ocaml
minn has quit [Ping timeout: 246 seconds]
govg has quit [Ping timeout: 260 seconds]
yaewa has joined #ocaml
moei has quit [Ping timeout: 258 seconds]
trbh has joined #ocaml
maattdd has joined #ocaml
djellemah has quit [Ping timeout: 246 seconds]
wtetzner has joined #ocaml
wtetzner has quit [Ping timeout: 264 seconds]
Guest40871 is now known as awal
AltGr has joined #ocaml
zpe has joined #ocaml
kakadu has joined #ocaml
andreas__ has joined #ocaml
zpe has quit [Remote host closed the connection]
alfredo has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
snhmib has joined #ocaml
rawra has joined #ocaml
maattdd_ has joined #ocaml
maattdd has quit [Ping timeout: 264 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
freusque has quit [Quit: WeeChat 1.7]
djellemah has joined #ocaml
mfp has joined #ocaml
kakadu has joined #ocaml
silver has joined #ocaml
larhat has quit [Quit: Leaving.]
cbot_ has joined #ocaml
rpg has joined #ocaml
_andre has joined #ocaml
djellemah has quit [Ping timeout: 240 seconds]
djellemah has joined #ocaml
octachron has joined #ocaml
nomicflux has joined #ocaml
rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nomicflux has quit [Quit: nomicflux]
spew has joined #ocaml
sepp2k has joined #ocaml
ziyourenxiang has joined #ocaml
al-damiri has joined #ocaml
frefity has joined #ocaml
rpg_ has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
adnotamentum has joined #ocaml
adnotamentum has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
adnotamentum has joined #ocaml
larhat has joined #ocaml
sh0t has joined #ocaml
alfredo has quit [Ping timeout: 260 seconds]
adnotamentum has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
spew has quit [Quit: foobar]
yaewa has quit [Quit: Leaving...]
moei has joined #ocaml
<zozozo> opam install has a --deps-only option to install dependencies of a package; is there a way to tell opam to also install the deptopts ?
govg has joined #ocaml
zpe has joined #ocaml
djellemah has quit [Ping timeout: 240 seconds]
djellemah has joined #ocaml
zpe has quit [Remote host closed the connection]
djellemah has quit [Ping timeout: 260 seconds]
djellemah has joined #ocaml
cbot has joined #ocaml
cbot_ has quit [Ping timeout: 260 seconds]
trbh has quit [Quit: Page closed]
BitPuffin|osx has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 260 seconds]
marsam has joined #ocaml
profan has quit [Remote host closed the connection]
copy` has joined #ocaml
profan has joined #ocaml
marsam has quit [Remote host closed the connection]
marsam has joined #ocaml
frefity has quit [Ping timeout: 256 seconds]
th5 has joined #ocaml
marsam has quit [Read error: Connection reset by peer]
frefity has joined #ocaml
marsam has joined #ocaml
d0nn1e has quit [Ping timeout: 268 seconds]
d0nn1e has joined #ocaml
free_beard has joined #ocaml
marsam has quit [Remote host closed the connection]
marsam has joined #ocaml
MercurialAlchemi has joined #ocaml
larhat has quit [Quit: Leaving.]
cbot has quit [Quit: Leaving]
S11001001 has joined #ocaml
sz0 has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
demonimin has quit [Remote host closed the connection]
jnavila has quit [Quit: It was time]
demonimin has joined #ocaml
spew has joined #ocaml
iZsh has quit [Ping timeout: 240 seconds]
iZsh has joined #ocaml
_whitelogger has joined #ocaml
sh0t has quit [Quit: Leaving]
sh0t has joined #ocaml
sh0t has quit [Client Quit]
Simn has quit [Read error: Connection reset by peer]
marsam has quit [Remote host closed the connection]
sh0t has joined #ocaml
sh0t has quit [Remote host closed the connection]
slash^ has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
blakeembrey has joined #ocaml
tvynr has joined #ocaml
marsam has joined #ocaml
<tvynr> Hello, all. I'm trying to pin a PPX package for development purposes. I used to just write "opam pin add <package-name> ." to pin and install the package. Today, I rebuilt my ~/.opam directory (big version dependency mess) but now, with a fresh ~/.opam, the pinned package isn't showing up in ocamlfind. It shows up in opam list, but not ocamlfind list. Any suggestions on how to start?
larhat has joined #ocaml
slash^ has quit [Remote host closed the connection]
blakeembrey has quit [Read error: Connection reset by peer]
blakeembrey has joined #ocaml
<def`> opam install package-name?
<tvynr> I've run "opam install <package-name>" and the package is installed: "opam list" shows the package. But "ocamlfind list" does not. :(
kolko has joined #ocaml
<octachron> tvynr, have you checked that ocamlfind is the right one?
<tvynr> octachron: Yep. They're all running out of the same directory. I think I may have discovered my problem. Is this channel logged somewhere? Will it help people if I describe the scenario here?
tautologico has quit [Quit: Connection closed for inactivity]
<tvynr> So for the record: I'm developing a PPX library. The reason it didn't show up in ocamlfind is because, although I had a META file installed with the package, the OASIS META plugin was handily stomping on my hand-written META file. The proper solution was to use the XMETAExtraLines option provided by the META plugin.
<tvynr> I now have a different problem. I've pinned that package and I am developing another package which relies upon it. When I try to pin *that* package, I get "Sorry, no solution found: there seems to be a problem with your request." This is the only feedback I get (other than the usual "<package-name> needs to be installed" sort of progress) regardless of verbosity level.
<tvynr> So my question is: is there a way to tell the solver to dump everything it's doing?
<Drup> -vvvvv to opam will give you the exact formula
<Drup> (don't remember the amount of v necessary, but you should find it :p)
marsam has quit [Remote host closed the connection]
<tvynr> Drup: Thanks for the suggestion. I don't think it's working for me, though: http://pastebin.com/EqMmq5xH
marsam has joined #ocaml
<tvynr> I found an issue (https://github.com/ocaml/opam/issues/2717) that seems to be related, but I'm not sure how to verify that my version of opam has the problem. In either case, the newest-packaged version of opam for Debian seems to be the one I'm running: 1.2.2-5+b7. Is there an easy way to run a bleeding-edge OPAM temporarily?
slash^ has joined #ocaml
ryanartecona has joined #ocaml
after____ has joined #ocaml
TheLemonMan has joined #ocaml
after___ has quit [Ping timeout: 260 seconds]
<tvynr> I just built a copy of OPAM from the GitHub repository's master; it's an OPAM 2.0 beta. That version of OPAM seems to install the package happily. I wish I knew what I'd done to incite the problem, though, as this means I need to be using the 2.0 beta to develop these packages. :-/
<tvynr> Thanks for the help, all.
marsam has quit [Remote host closed the connection]
Mercuria1Alchemi has joined #ocaml
<tvynr> I return with more madness on the OPAM front. :( Does anyone know how to interpret the following? "No implementations provided for the following modules: Uchar referenced from /home/zpalmer/.opam/4.02.3/lib/fmt/fmt.cmxa(Fmt)"
TarVanimelde has joined #ocaml
<tvynr> That seems... really broken to me.
kakadu has joined #ocaml
blakeembrey has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
marsam has joined #ocaml
after___ has joined #ocaml
after____ has quit [Ping timeout: 240 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
edwin2 has joined #ocaml
profan_ has joined #ocaml
haesbaer1 has joined #ocaml
smondet`` has joined #ocaml
bernardo1pc has joined #ocaml
vbmithr_ has joined #ocaml
maattdd has joined #ocaml
mfp_ has joined #ocaml
Geekingfrog_ has joined #ocaml
alphor_ has joined #ocaml
kolko_ has joined #ocaml
AlfredEN1uman has joined #ocaml
d0nn1e_ has joined #ocaml
Leonidas_ has joined #ocaml
fds_ has joined #ocaml
igitoor_ has joined #ocaml
Leonidas has quit [Disconnected by services]
Leonidas_ is now known as Leonidas
<octachron> tvynr, the uchar package is a compatibility module which is empty for OCaml ≥4.03
caw__ has joined #ocaml
Madars_ has joined #ocaml
maattdd_ has quit [Ping timeout: 264 seconds]
jrslepak_ has joined #ocaml
Geekingfrog_ has quit [Client Quit]
Geekingfrog_ has joined #ocaml
ski_ has joined #ocaml
<tvynr> octachron: This might explain why things are broken in 4.02.3. I'm unable to install cohttp=0.22.0 on a fresh OPAM 1.2 root using 4.02.3. I'm going to verify that it works for 4.04.0 and then try to proceed this way. That said, I'm working on projects that support 4.02.3, so not being able to publish from that switch is annoying. :-P Thanks for the heads up.
ome_ has joined #ocaml
leah2_ has joined #ocaml
kakadu has quit [Remote host closed the connection]
<octachron> tvynr, note that the uchar package should work :(, you may want to check what it ends up installing
leah2 has quit [Disconnected by services]
leah2_ is now known as leah2
<tvynr> octachron: For 4.02.3, the package uchar is installed at 0.0.1. I'm not sure how to interpret that. Once it's installed, I can #require "uchar" from within the toploop and open the Uchar module, so it seems to be there.
<tvynr> octachron: I tried doing some surgery on the _oasis file for cohttp to make it use the uchar package... but I had no luck.
gnuyoda_ has joined #ocaml
nightmared_ has joined #ocaml
<apache3_> utop # let b = Buffer.create 10 in Uutf.(encode (encoder `UTF_8 @@ `Buffer b) (`Uchar 0x61));;
<apache3_> - : [ `Ok | `Partial ] = `Ok
<apache3_> ^-- can someone spot what I'm doing wrong? (Buffer.contents b = "")
slash^ has quit [Read error: Connection reset by peer]
foobar_ has joined #ocaml
kolko has quit [*.net *.split]
d0nn1e has quit [*.net *.split]
profan has quit [*.net *.split]
sepp2k has quit [*.net *.split]
mfp has quit [*.net *.split]
AltGr has quit [*.net *.split]
Soni has quit [*.net *.split]
nightmared has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
igitoor has quit [*.net *.split]
alphor has quit [*.net *.split]
AlfredENeuman has quit [*.net *.split]
Geekingfrog has quit [*.net *.split]
jrslepak has quit [*.net *.split]
tobast has quit [*.net *.split]
edwin has quit [*.net *.split]
ome has quit [*.net *.split]
caw has quit [*.net *.split]
smondet` has quit [*.net *.split]
lyxia has quit [*.net *.split]
haesbaert has quit [*.net *.split]
dinosaure has quit [*.net *.split]
ski has quit [*.net *.split]
Johann has quit [*.net *.split]
gnuyoda has quit [*.net *.split]
fds has quit [*.net *.split]
vbmithr has quit [*.net *.split]
Madars has quit [*.net *.split]
edwin2 is now known as edwin
tobast has joined #ocaml
kakadu has joined #ocaml
igitoor_ has quit [Changing host]
igitoor_ has joined #ocaml
igitoor_ has joined #ocaml
igitoor_ is now known as igitoor
mengu has joined #ocaml
<apache3_> oh, I need to encode `End.
sepp2k has joined #ocaml
ome_ has quit [Ping timeout: 256 seconds]
Johann has joined #ocaml
Soni has joined #ocaml
<mengu> hi all
foobar_ has quit [Client Quit]
dinosaure has joined #ocaml
ome_ has joined #ocaml
caw__ is now known as caw
ome_ is now known as ome
MercurialAlchemi has quit [Ping timeout: 258 seconds]
<reynir> apache3_: what are you working on?
ome has quit [Excess Flood]
ome has joined #ocaml
ski_ is now known as ski
<apache3_> I have been trying to write a quickcheck test for three days
<apache3_> now it's working, and it's crashing my code. but I probably structued the tests incorrectly since it doesn't tell me what line failed or what went wrong
<apache3_> a hex dump of the generated values would be useful too
<reynir> Ow
<apache3_> :)
* apache3_ is super frustrated, never mind me :)
whisperedcigar has joined #ocaml
Simn has joined #ocaml
lyxia has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
zpe has joined #ocaml
sh0t has joined #ocaml
zpe has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
th5 has quit []
whisperedcigar has quit [Ping timeout: 240 seconds]
gregoire has quit [Ping timeout: 240 seconds]
rawra has quit [Quit: Connection closed for inactivity]
gregoire has joined #ocaml
blakeembrey has joined #ocaml
marsam has quit [Remote host closed the connection]
orbifx has joined #ocaml
<tvynr> In the BuildDepends of my _oasis file, I list "ppx_deriving.std" as a dependency of my library. But when I run oasis2opam, this turns into: "ppx_deriving" {= "1.0"}
<tvynr> Any idea how I can figure out why that's happening?
<smondet[m]> tvynr: "ppx_deriving.std" is part of the `ppx_deriving` package, so it makes sense
<tvynr> Specifically, I'm trying to figure out why it's requiring version 1.0.
<tvynr> (Sorry; I wasn't clear.)
<tvynr> If it said >= "1.0", I'd probably be happy.
<tvynr> Yeah. And so the generated dependency is weirdly conflicting with my other packages.
<smondet[m]> you should just modify the `opam` file; I don't think `oasis2opam` is that smart...
<tvynr> Kind of defeats the point of using oasis2opam if I do that. :( I'm going to poke around in oasis2opam and see if I can sort out where this nonsense is coming from. Thanks for the validation, though; it's nice to know I'm not missing something silly. :)
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
marsam has joined #ocaml
Enjolras has quit [Ping timeout: 240 seconds]
metaglog has quit [Ping timeout: 240 seconds]
metaglog has joined #ocaml
Enjolras has joined #ocaml
spew has joined #ocaml
tmtwd has joined #ocaml
tvynr has quit [Ping timeout: 258 seconds]
newbie21 has joined #ocaml
tautologico has joined #ocaml
newbie21 is now known as lolisa
sh0t has quit [Remote host closed the connection]
sepp2k has quit [Ping timeout: 260 seconds]
tvynr has joined #ocaml
ome has quit [Changing host]
ome has joined #ocaml
tautologico has joined #ocaml
tautologico has quit [Changing host]
kakadu has quit [Ping timeout: 260 seconds]
Simn has quit [Read error: Connection reset by peer]
marsam has quit [Remote host closed the connection]
ryanartecona has quit [Quit: ryanartecona]
alphor_ is now known as alphor
mengu has quit [Read error: Connection reset by peer]
nomicflux has joined #ocaml