rgrinberg has quit [Read error: Connection reset by peer]
nojb has quit [Quit: nojb]
boogie has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
malc_ has joined #ocaml
chinglish has joined #ocaml
<stephen_>
Hey guys, I'm compiling the why3 package on debian. Configure runs fine, but the makefile is reporting that there are a bunch of .a files missing. It compiles fine but, then fails after compliation with "Error: Unbound module Big_int_Z". Here's a pastebin from make. http://pastebin.com/5P2qQa4G
<Drup>
whitequark: maybe you know: is there a function to test if a type is recursive in the compiler ?
<Drup>
if yes, maybe it should be exported, one way or the other. If no, maybe it should be added to ppx_tools.
<whitequark>
it doesn't look like the compiler cares about it at Parsetree level
<whitequark>
it seems that even -rectypes check is at Translmod level
<mrvn>
Drup: what for?
<mrvn>
and is 'a option recursive?
dmbaturin has quit [Ping timeout: 272 seconds]
<Drup>
mrvn: can be useful for ppxs
dmbaturin has joined #ocaml
PM has joined #ocaml
chinglish has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
chambart has joined #ocaml
michipili has joined #ocaml
nox_ is now known as nox
milosn has quit [Remote host closed the connection]
AlexRussia has quit [Ping timeout: 250 seconds]
AlexRussia has joined #ocaml
q66 has joined #ocaml
Hannibal_Smith has quit [Quit: Sto andando via]
boogie has joined #ocaml
pyon has joined #ocaml
thomasga has joined #ocaml
boogie has quit [Remote host closed the connection]
ysz has joined #ocaml
araujo has joined #ocaml
nojb has joined #ocaml
matason has joined #ocaml
xorpse has quit [Ping timeout: 240 seconds]
darkf has quit [Quit: Leaving]
xorpse has joined #ocaml
ysz has quit [Quit: Leaving]
<struktured>
companion_cube: re: CCFloat, what printers are you referring to? I thought I already had them
matason has quit [Quit: Leaving...]
matason has joined #ocaml
<smondet>
Drup: just to make sure, that `flow` lib (“mine”) should not be used unless you want to help with biocaml devevlopment (which still depends on it for some stuff, but we're getting rid of it)
<Drup>
smondet: no problem, I just got it by mistake when I typed "opam show flow" ;)
boogie has joined #ocaml
kapil__ has quit [Quit: Connection closed for inactivity]
NoNNaN has joined #ocaml
slash^ has joined #ocaml
mcclurmc has joined #ocaml
SomeDamnBody has joined #ocaml
rand000 has quit [Quit: leaving]
nojb has quit [Quit: nojb]
struktured has quit [Ping timeout: 258 seconds]
psy has quit [Quit: Leaving]
wwilly has joined #ocaml
larhat1 has quit [Quit: Leaving.]
matason has quit [Quit: Leaving...]
struktured has joined #ocaml
leowzukw has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
milosn has joined #ocaml
leowzukw has quit [Quit: Lost terminal]
rgrinberg has joined #ocaml
mcclurmc has joined #ocaml
<Drup>
rgrinberg: it should be easy to fix
<Drup>
rgrinberg: I'll try later
<rgrinberg>
fix what?
<Drup>
the eliom PR you just closed
<rgrinberg>
oh, the readme stuff
<rgrinberg>
would be nice, thanks.
<rgrinberg>
Drup: building a netstring_pcre compatibility layer with ocaml-re :D
<Drup>
rgrinberg: how is humane-re ? ^^'
<Drup>
ocsigenserver never uses any backref ?
<rgrinberg>
coming along well. you're right that i probably should contribute it back to re
<rgrinberg>
once its stable and im satisfied with the interface
<rgrinberg>
Drup: also, maybe it does i haven't seen from my look at it. I'm sure it could be removed though
<rgrinberg>
then i can proceed with the next batch
<Drup>
I will ask him monday =')
<Drup>
but I don't think I will need to
<rgrinberg>
i recall chatting with avsm about re and he mentioned that one of re's limitations is that its not "resumable". I.e. we want to ask for more input rather than failing in some cases
<rgrinberg>
i wonder how we can get around that
<Drup>
use sedlex.
<Drup>
I mean, really, sedlex is build for that
<rgrinberg>
syntax extensions is such a big hammer
<Drup>
(it would be increadibly nice to merge sedlex and re)
<Drup>
(but not easy)
<rgrinberg>
yep. i don't like ocamllex's re's
<rgrinberg>
(i assume sedlex's are the same)
<Drup>
not really
<Drup>
it uses something .... weird
badkins has quit []
<rgrinberg>
anyway, at least i will check out how sedlex implemented
samrat has quit [Quit: Computer has gone to sleep.]
pgomes has joined #ocaml
boogie has joined #ocaml
boogie has quit [Ping timeout: 252 seconds]
manud__ has quit [Quit: Be back later ...]
manud__ has joined #ocaml
chambart has quit [Ping timeout: 240 seconds]
manud__ has quit [Client Quit]
davine has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
manud__ has joined #ocaml
ggole has quit []
Hannibal_Smith has joined #ocaml
bjorkintosh has joined #ocaml
manud__ has quit [Quit: Be back later ...]
slash^ has quit [Read error: Connection reset by peer]
davine has quit [Quit: Leaving]
davine has joined #ocaml
davine has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
nicoo_ is now known as nicoo
boogie has quit [Ping timeout: 255 seconds]
larhat has joined #ocaml
matason has joined #ocaml
thomasga has quit [Quit: Leaving.]
milosn has quit [Quit: Lost terminal]
Hannibal_Smith has quit [Quit: Sto andando via]
manud__ has joined #ocaml
Trin00 has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
boogie has joined #ocaml
pgomes has quit [Quit: Leaving]
boogie has quit [Ping timeout: 244 seconds]
<MercurialAlchemi>
Is there any way of fixing the type of values in an ocaml map (eg, tell OCaml that you want to only maps with key "string" and value "int", not key "string" and value 'a) ?
malc_ has joined #ocaml
boogie has joined #ocaml
<Drup>
depends, how much do you want to "fix" it ?
boogie has quit [Remote host closed the connection]
<MercurialAlchemi>
as in, only accept int values
<Drup>
No, I mean, from the interface point of view.
Whitticker has quit [Ping timeout: 252 seconds]
<Drup>
Ok, let's reformulate: why do you want to do that ?
<MercurialAlchemi>
I want 'a gone from the signatures and replaced by int
<MercurialAlchemi>
:)
<Drup>
which signatures ? the whole module ?
<MercurialAlchemi>
sure
<whitequark>
maps?
<Drup>
then no, you can't do it, except by rewriting the signature.
<Drup>
and you can't rewrite it automatically.
<Drup>
MercurialAlchemi: but I don't see any reason to do that, tbh.
willy_ has left #ocaml ["Leaving"]
SomeDamnBody has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 272 seconds]
kakadu has quit [Remote host closed the connection]
Arsenik has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
matason has quit [Quit: Leaving...]
lewis1711 has joined #ocaml
<lewis1711>
I've installed utop with opam, but typing "utop" into the commandline doesn't find anything. where would I start fixing this?
<Drup>
lewis1711: does it works if you do "eval `opam config env`" in your terminal before ?
<lewis1711>
Drup: hmmm, no, that reveals an even more disturbing error (:
<Drup>
I think there is an issue with your installation!
<lewis1711>
yeah, using arch linux, the AUR packages are weird. had it working fine in ubuntu. might just wait until I switch distros
<Drup>
I use the AUR package, it works well
<Drup>
you did "opam init", right ?
<lewis1711>
Drup: yeah, If I do it without being super user, I get a similar message. "[ERROR] lib is not a valid variable."
Simn has quit [Quit: Leaving]
<Drup>
this is really weird. did you do anything before with opam ?
<lewis1711>
not that I remember. I might try pacman -Rns and see if installing it again helps
rgrinberg has joined #ocaml
manud__ has quit [Quit: Be back later ...]
rgrinberg has quit [Quit: Leaving.]
tane has quit [Quit: Verlassend]
<lewis1711>
eh nope, no luck. tried to install opam again, then needed aspcud, then clasp, then gringo, then install opam once more, and opam init still gives me "lib is not a valid variable".
<Drup>
try opam-git ?
jhaberstro has joined #ocaml
michipili has left #ocaml [#ocaml]
malc_ has quit [Quit: leaving]
<jhaberstro>
Is it possible to have a polymorphic record with > 1 type variables? When I try “type 'a 'b my_record = {“ at the REPL, I get the error “Parse error: [type_longident] expected after [optional_type_parameter] (in [type_ident_and_parameters])” where the “a” is underlined. Is this suggesting I can only have one type parameter?
<lewis1711>
Drup: nope, exact same thing. thanks for your help though
<Drup>
lewis1711: I think you'll have to go to the bug tracker, I have no idea :(
<Drup>
jhaberstro: the syntax is "type ('a,'b) foo = ..."