ChanServ changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.02.1 announcement at http://ocaml.org/releases/4.02.html | Public channel logs at http://irclog.whitequark.org/ocaml
AlexRussia has quit [Quit: WeeChat 1.1-dev]
AlexRussia has joined #ocaml
rgrinberg1 has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
rgrinberg1 has joined #ocaml
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
<stephen_> Also, here's my configure output http://pastebin.com/QCZUT7Kv
stephen_ has quit [Quit: Page closed]
jao has quit [Ping timeout: 264 seconds]
stephen_ has joined #ocaml
boogie has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
stephen_ has quit [Remote host closed the connection]
rgrinberg1 has quit [Quit: Leaving.]
bytbox has joined #ocaml
thomasga has quit [Quit: Leaving.]
tharugrim has joined #ocaml
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
tharugrim has quit [Client Quit]
tharugrim has joined #ocaml
struktured has quit [Quit: Konversation terminated!]
struktured has joined #ocaml
darkf has joined #ocaml
malc_ has quit [Quit: leaving]
samuel02 has joined #ocaml
samuel02 has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
<rgrinberg> what's the state of cross compiling these days?
<rgrinberg> Is it in the plans to be officially supported?
WraithM has joined #ocaml
araujo has quit [Quit: Leaving]
BitPuffin has quit [Ping timeout: 240 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
rgrinberg has quit [Ping timeout: 272 seconds]
rgrinberg has joined #ocaml
kapil__ has joined #ocaml
mcc has joined #ocaml
nicoo_ has joined #ocaml
nicoo has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
rgrinberg has joined #ocaml
q66 has quit [Quit: Leaving]
alexst has joined #ocaml
pierpa has quit [Ping timeout: 255 seconds]
WraithM has quit [Ping timeout: 265 seconds]
samrat has joined #ocaml
WraithM has joined #ocaml
WraithM has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
alexst has quit [Quit: leaving]
WraithM has quit [Ping timeout: 240 seconds]
laheadle has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
ygrek has joined #ocaml
w-g has joined #ocaml
milosn has joined #ocaml
manud__ has joined #ocaml
w-g has quit [Quit: Page closed]
manud__ has quit [Quit: Be back later ...]
WraithM has joined #ocaml
WraithM has quit [Ping timeout: 255 seconds]
ygrek has quit [Ping timeout: 240 seconds]
WraithM has joined #ocaml
WraithM has quit [Ping timeout: 240 seconds]
psy has quit [Remote host closed the connection]
psy has joined #ocaml
manud__ has joined #ocaml
manud__ has quit [Client Quit]
jao has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
chinglish has joined #ocaml
WraithM has joined #ocaml
manud__ has joined #ocaml
WraithM has quit [Ping timeout: 240 seconds]
darkf_ has joined #ocaml
OnkV has joined #ocaml
j0sh_ has joined #ocaml
hyperbor1ean has joined #ocaml
flasheater has joined #ocaml
WraithM has joined #ocaml
iZsh_ has joined #ocaml
mcc has quit [*.net *.split]
darkf has quit [*.net *.split]
manizzle has quit [*.net *.split]
pyon has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
Haudegen has quit [*.net *.split]
_5kg has quit [*.net *.split]
bugabinga has quit [*.net *.split]
iZsh has quit [*.net *.split]
j0sh has quit [*.net *.split]
pyon has joined #ocaml
_5kg has joined #ocaml
manizzle has joined #ocaml
WraithM has quit [Ping timeout: 258 seconds]
WraithM has joined #ocaml
darkf_ is now known as darkf
manud__ has quit [Quit: Be back later ...]
WraithM has quit [Ping timeout: 255 seconds]
slash^ has joined #ocaml
WraithM has joined #ocaml
WraithM has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 245 seconds]
WraithM has joined #ocaml
manud__ has joined #ocaml
ygrek has joined #ocaml
WraithM has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
manud__ has quit [Quit: Be back later ...]
laheadle has quit [Ping timeout: 255 seconds]
kakadu has joined #ocaml
manud__ has joined #ocaml
manud__ has quit [Quit: Be back later ...]
matason has joined #ocaml
manud__ has joined #ocaml
MercurialAlchemi has joined #ocaml
<SuperNoeMan> Does anybody use ocsigen's eliom?
davine has joined #ocaml
tane has joined #ocaml
matason has quit [Quit: Leaving...]
manud__ has quit [Quit: Be back later ...]
milosn has quit [Quit: Lost terminal]
<MercurialAlchemi> SuperNoeMan: hopefully in the future, but haven't had time to try yet, sorry
chambart has joined #ocaml
davine has left #ocaml ["Leaving"]
SomeDamnBody has joined #ocaml
<Unhammer> SuperNoeMan, I do :) and Drup is an ocsigen developer
chambart has quit [Ping timeout: 255 seconds]
nojb has joined #ocaml
thomasga has joined #ocaml
burgobianco has quit [Remote host closed the connection]
slash^ has quit [Read error: Connection reset by peer]
milosn has joined #ocaml
burgobianco has joined #ocaml
SomeDamnBody has quit [Ping timeout: 272 seconds]
nojb has quit [Quit: nojb]
nojb has joined #ocaml
nojb has quit [Quit: nojb]
AlexRussia has quit [Ping timeout: 272 seconds]
tharugrim has quit [Ping timeout: 244 seconds]
AlexRussia has joined #ocaml
nojb has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
oscar_toro has joined #ocaml
AlexRussia has quit [Ping timeout: 264 seconds]
BitPuffin has joined #ocaml
Arsenik has joined #ocaml
typedlambda has quit [Ping timeout: 250 seconds]
ikaros has joined #ocaml
manud__ has joined #ocaml
lordkryss has joined #ocaml
tharugrim has joined #ocaml
chambart has joined #ocaml
Hannibal_Smith has joined #ocaml
nojb has quit [Quit: nojb]
zwer_b_f has quit [Remote host closed the connection]
zwer_b_f has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
EClaesson has quit [Ping timeout: 255 seconds]
pyon has quit [Ping timeout: 256 seconds]
Nahra has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
manizzle has quit [Ping timeout: 255 seconds]
AlexRussia has joined #ocaml
<MercurialAlchemi> wow, flow has... no dependencies
AlexRussia has quit [Ping timeout: 240 seconds]
AlexRussia has joined #ocaml
AlexRussia has quit [Ping timeout: 240 seconds]
nojb has joined #ocaml
<kakadu> What flow?
ikaros has quit [Quit: Ex-Chat]
nojb has quit [Client Quit]
nojb has joined #ocaml
AlexRussia has joined #ocaml
Reventlov has quit [Quit: leaving]
Reventlov has joined #ocaml
AlexRussia has quit [Ping timeout: 245 seconds]
AlexRussia has joined #ocaml
nojb has quit [Quit: nojb]
ggole has joined #ocaml
oscar_toro has quit [Quit: Leaving.]
AlexRussia has quit [Ping timeout: 265 seconds]
oscar_toro has joined #ocaml
manud__ has quit [Quit: Be back later ...]
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
zwer_b_f has quit [Ping timeout: 250 seconds]
zwer_b_f has joined #ocaml
<Unhammer> MercurialAlchemi, that was my first reaction as well. Then I looked at the subdirectories.
AlexRussia has joined #ocaml
BitPuffin has joined #ocaml
AlexRussia has quit [Ping timeout: 244 seconds]
<Drup> "ocamlfind & omake & lwt & core >= 109.36.00 & ssl" according to opam :)
<Drup> oh, nevermind, wrong flow :<
<Drup> smondet: I think you're "flow" library got a bit screwed :D
axiles has joined #ocaml
<whitequark> smondet already agreed to rename it
<companion_cube> whitequark: ppx_deriving_cconv almost done
<companion_cube> but I still have troubles with using ppx_deriving sometimes... isn't it just package(ppx_deriving.std) in _tags ?
AlexRussia has joined #ocaml
<whitequark> um, yeah
<whitequark> what kind of trouble?
<companion_cube> Cannot locate deriver show :(
<companion_cube> (with package(ppx_deriving.show) in _tags
<whitequark> show me the line from _log
<companion_cube> 3 lines before end
<whitequark> why do you invoke ppx_deriving twice?
<companion_cube> because my tests involve ppx_deriving.show, and my own deriver that is being tested
<whitequark> to add your own deriver, use -ppxopt ppx_deriving,src/ppx_deriving_cconv.cma
<whitequark> I suppose this is not obvious, yes
<whitequark> oh, I even mislead you in README, sorry
igstan has joined #ocaml
igstan has quit [Client Quit]
bjorkintosh has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
<companion_cube> still, I don't know how to combine both
<companion_cube> I added the ppxopt to myocamlbuild.ml, package(ppx_deriving.show) to _tags
<whitequark> sure, that's enough
<whitequark> package(ppx_deriving.show) implies package(ppx_deriving)
<whitequark> and -ppxopt ppx_deriving,foo adds foo to the command line of ppx="..." entry specified inside ppx_deriving's META
<companion_cube> http://vrac.cedeela.fr/_log now it doesn't find ppx_deriving_cconv
rand000 has joined #ocaml
<whitequark> show me the [@@deriving] line
<whitequark> oh, you posted the source
<companion_cube> awwwwwww
<companion_cube> ok, my bad
<whitequark> [@@deriving ppx_deriving_cconv,show]
<whitequark> O_o
<companion_cube> yes
<whitequark> wtf
<companion_cube> I just saw this too
<whitequark> [@@deriving cconv, show]
<whitequark> cconv/encode/decode
<whitequark> hmmm
<companion_cube> awww that's going to be so much pain to debug
<whitequark> what happened?
<companion_cube> nothing, it's just that I should use ppx_rewriter
PM has quit [Ping timeout: 255 seconds]
<companion_cube> yes, it works!
<companion_cube> (btw I have a hack to find whether a definition is recursive or not)
<companion_cube> (ugly hack)
<companion_cube> all committed, and /me irl, ++
<whitequark> it should probably be included in ppx_deriving itself
<whitequark> /you irl ?
<companion_cube> afk
<companion_cube> (if you want to take a look at ppx_deriving_cconv, please do! ^^)
<whitequark> I already did, I think your code is just fine...
<whitequark> ... except for that hack, holy shit, it IS ugly
<whitequark> if you come up with a better solution (ie no mutation), I will happily include it in ppx_deriving itself
<Drup> which hack ?
chambart has quit [Ping timeout: 265 seconds]
<Drup> oh yes
<Drup> companion_cube told me already
<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
<Drup> humane-re failed to compile :<
<rgrinberg> huh? works for me
ygrek has joined #ocaml
<rgrinberg> thats just the tests
<rgrinberg> did you use opam pin?
<Drup> no, the opam package
boogie has quit [Remote host closed the connection]
<Drup> I think.
<Drup> yeah, no pin on this switch
<rgrinberg> strange it shouldn't require ounit
<Drup> hum, why are onuit and oasis hard dependencies O_o
mcclurmc_ has joined #ocaml
<rgrinberg> everyone has oasis installed anyway and i hate polluting repo with generated garbage
badkins has joined #ocaml
<Drup> you don't have to ...
<rgrinberg> i know its screwy b/c of different oasis versions
<Drup> it's a released
<Drup> it shouldn't depends on oasis ...
<Drup> you can do both fine.
<rgrinberg> by using separate branch for oasis?
<Drup> or just pushing a tarball on github
<rgrinberg> then how would pins work?
<Drup> (you don't need a branch, just a tag with a lonely commit)
<rgrinberg> i still can't pin master however right?
<Drup> sure you can, you add an opam file at the root of the repository
mcclurmc has quit [Ping timeout: 265 seconds]
<Drup> with the correct dependencies according to master
<rgrinberg> sounds like a hassle
<rgrinberg> i should switch to ocamlmakefile instead
<Drup> a hassle ?!
<Drup> one file that add the nice properties that if you chance your build script or add an option or anything, is still sync to master
<Drup> change*
tharugrim has quit [Ping timeout: 272 seconds]
<Drup> errr
<Drup> rgrinberg: and you added the "deps" script for that
boogie has joined #ocaml
<rgrinberg> yeah that's old it should be removed. it's only there for travis
<rgrinberg> anyway the failure is b/c of ounit which definitely shouldn't be a dependency
tharugrim has joined #ocaml
willy_ has joined #ocaml
<Drup> you didn't put the test executables as conditionally builds depending on the test flag
<rgrinberg> haha oasis has docs now?!?!
wwilly has quit [Ping timeout: 240 seconds]
<Drup> just a tutorial
<Drup> I wrote it :<
<rgrinberg> never actually learned how to use it. only ever copy pasted bits and pieces from places
boogie has quit [Ping timeout: 250 seconds]
<Drup> I can see that, yes :D
zwer_b_f is now known as zwer
nojb has joined #ocaml
<rgrinberg> Drup: but yeah i just had another glance at ocsigenserver. Don't see any backrefs
<Drup> ok
<Drup> really no reason not to use ocaml-re then
<rgrinberg> well ocaml-re doesn't support replace so it's not good enough yet
<rgrinberg> but i'm working on that
<Drup> iirc, you don't need "Run$: flag(tests)" on tests, it's implied
<Drup> (but it can't hurt :p)
<rgrinberg> maybe you can ping @vouillon for me to speed these up: https://github.com/ocaml/ocaml-re/pulls
<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
<Drup> rgrinberg: about the whole oasis deal, you might want to look at https://github.com/ocsigen/tyxml/blob/master/dist.sh and https://github.com/ocsigen/tyxml/blob/master/RELEASE.md
<rgrinberg> https://github.com/alainfrisch/sedlex/pull/11 why is that not merged?
<Drup> because alain is on holiday :D
<rgrinberg> but doesn't $ opam pin add tyxml https://github.com/ocsigen/tyxml.git fail for you?
<rgrinberg> oh nvm you still have the oasis bs
<rgrinberg> in a tidy form
<rgrinberg> :D
<Drup> it shouldn't
<Drup> and since I work by pinning and unpinning the dev version constantly
<Drup> it really shouldn't :D
<Drup> it will need oasis only by pinning the dev version, the release doesn't need it
<Drup> rgrinberg: and I have barely any autogenerated junk in the repository
<Drup> rgrinberg: the reason of the humane-re failure was because you need ounit >= 2.0, not any ounit ;)
<rgrinberg> the one in github doesn't need ounit
<Drup> I know, the released one
<rgrinberg> yeah i should update
marvin-hh has quit [Read error: Connection reset by peer]
struktured has quit [Ping timeout: 240 seconds]
Hannibal_Smith has joined #ocaml
marvin-hh has joined #ocaml
<rgrinberg> would be cool if re also had a js backend
<Drup> javascript uses yet another syntax for regexps ?!
<Drup> oh, you mean "using javascript's native regexp functions" ?
<rgrinberg> yeah
<rgrinberg> i assume that would be much faster
<rgrinberg> although i do think js re syntax has some peculiarities
<Drup> It depends how it's implemented
<Drup> I would not be surprised if it was implemented in C
SomeDamnBody has quit [Ping timeout: 264 seconds]
<rgrinberg> Drup: is ppx enough to get rid of camlp4 in eliom?
<Drup> Working on it.
<rgrinberg> so it's possible..
<Drup> not this version of ocaml, but next one, should be good
boogie has joined #ocaml
<Drup> (I hope)
<Drup> ppx for lwt is done already
<rgrinberg> cool
psy has joined #ocaml
<rgrinberg> eliom is the most complex right?
<ygrek> oasis had docs always
<rgrinberg> syntax extension wise
<ygrek> it is actually documented pretty extensively
<Drup> ygrek: the documentation is terribly bad
<Drup> it exists, it's extensive, but it's not good >_>
<Drup> rgrinberg: actually, *syntax* wise, eliom is the most simple. the difficulties are elsewhere
<ygrek> I wouldn't say so
marvin-hh has quit [Ping timeout: 245 seconds]
boogie has quit [Remote host closed the connection]
tharugrim has quit [Quit: ZNC - http://znc.in]
rgrinberg has quit [Quit: Leaving.]
tharugrim has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc_ has quit [Ping timeout: 240 seconds]
marvin-hh has joined #ocaml
psy has quit [Remote host closed the connection]
marvin-hh has quit [Ping timeout: 264 seconds]
mcclurmc has quit [Remote host closed the connection]
Whitticker has joined #ocaml
<Whitticker> Can anyone here help with file i/o using SML? The SML channel is dead at the moment
mcclurmc has joined #ocaml
<whitequark> unlikely
nojb has quit [Ping timeout: 245 seconds]
lu324__ has joined #ocaml
pyon has quit [Ping timeout: 264 seconds]
lu324_ has quit [Read error: Connection reset by peer]
siddharthv_away has quit [Ping timeout: 264 seconds]
siddharthv_away has joined #ocaml
kerneis__ has quit [Ping timeout: 256 seconds]
kerneis_ has joined #ocaml
deavidsedice has joined #ocaml
axiles has quit [Remote host closed the connection]
deavid has quit [Ping timeout: 256 seconds]
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
iZsh_ has quit [Max SendQ exceeded]
iZsh has joined #ocaml
siddharthv_away has quit [Read error: Connection timed out]
siddharthv_away has joined #ocaml
chinglish has joined #ocaml
chinglish has quit [Client Quit]
inr_ has joined #ocaml
inr has quit [Ping timeout: 256 seconds]
manud__ has joined #ocaml
rgrinberg has joined #ocaml
BitPuffin has joined #ocaml
ygrek has quit [Ping timeout: 258 seconds]
rgrinberg has quit [Quit: Leaving.]
psy has joined #ocaml
robink has quit [Ping timeout: 244 seconds]
tharugrim has quit [Quit: ZNC - http://znc.in]
BitPuffin has quit [Ping timeout: 258 seconds]
tharugrim has joined #ocaml
robink has joined #ocaml
BitPuffin has joined #ocaml
robink has quit [Ping timeout: 255 seconds]
Hannibal_Smith has quit [Quit: Sto andando via]
robink has joined #ocaml
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 = ..."
<jhaberstro> Ah, thanks!
lewis1711 has quit [Ping timeout: 255 seconds]
Whitticker has joined #ocaml