companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
cbot has quit [Ping timeout: 248 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
pzp has quit [Quit: Connection closed for inactivity]
sam___ has joined #ocaml
Dave__ has joined #ocaml
<Dave__> Hi.
govg has quit [Ping timeout: 240 seconds]
<Dave__> Anyone know how to resolve 'Unexpected compiler version (4.04.0) You should use ocaml-4.04.2.'
<Dave__> following 'make build-deps'
Ragora has joined #ocaml
govg has joined #ocaml
sam___ has quit [Ping timeout: 248 seconds]
govg has quit [Ping timeout: 240 seconds]
<Dave__> eval `opam config env` didn't resolve issue
sam___ has joined #ocaml
<jmiven> Dave__: did you run `opam switch "tezos" --alias-of 4.04.2`?
<Dave__> Was just about to try that but was concerned that it would cause issues down the line as instructions call for 4.04.0
<jmiven> also please, do mention tezos in the future, this isn't be obvious at all :-)
<jmiven> Dave__: I don't believe that the instructions call for 4.04.0
<jmiven> they rather ask for 4.04.2 specifically
<Dave__> Perhaps I'm reading it incorrectly. http://www.tezoswiki.com/index.php/Building_For_Ubuntu_17.04
<jmiven> I'm not sure about this wiki. In doubt, I would follow https://github.com/tezos/tezos#build-instructions
sam___ has quit [Ping timeout: 240 seconds]
<Dave__> jmiven: Thanks. However, 'Cannot remove tezos as it is the current compiler.'
<Fardale> Dave__: do you have a other switch ?
<Dave__> I believe tezos was priginaly switched to 4.04.0
<Dave__> *originally
sam___ has joined #ocaml
<Fardale> You use this switch, so you need to leave it before you can transfert it to 4.04.2
<Dave__> opam switch remove "tezos" Cannot remove tezos as it is the current compiler.
<Dave__> Not sure how to remove
sam___ has quit [Ping timeout: 276 seconds]
jao has quit [Ping timeout: 240 seconds]
<multiocracy[m]> .
jj_ has joined #ocaml
jj_ has quit [Client Quit]
Dave__ has quit [Quit: Page closed]
<Fardale> Dave__: you can't remove it, you have to change the current switch so you will be able to remove it and change it to 4.04.2
<Fardale> what switch are installed ? ("opam switch" to find it)
copy_ has quit [Quit: Connection closed for inactivity]
nomicflux has quit [Quit: nomicflux]
BitPuffin|osx has quit [Ping timeout: 255 seconds]
jlam_ has joined #ocaml
cbot has joined #ocaml
jlam1 has joined #ocaml
jlam1 has quit [Read error: Connection reset by peer]
jlam1 has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
jlam_ has quit [Ping timeout: 248 seconds]
ygrek has quit [Ping timeout: 255 seconds]
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
Dave__ has joined #ocaml
<Dave__> fardale: Here's tail end of switch list
<Dave__> -- -- 4.04.0 Official 4.04.0 release tezos C 4.04.0 Official 4.04.0 release -- -- 4.04.1 Official 4.04.1 release 4.04.2 I 4.04.2 Official 4.04.2 release -- -- 4.05.0 Official 4.05.0 release system I system System compiler (4.02.3) # 251 more patched or experimental compilers, use '--all' to show [WARNING] The environment is not in sync with the current switch. You should run: eval `opam config env`
<Dave__> Unable to remove or change tezos switch from 4.04.0 Any help is appreciated
<Dave__> to 4.04.2
<Dave__> Tried 'opam switch remove "tezos"' as per https://github.com/tezos/tezos#build-instructions
yegods has joined #ocaml
yegods_ has joined #ocaml
nomicflux has joined #ocaml
yegods has quit [Ping timeout: 240 seconds]
<Fardale> Dave__: try "opam switch system" first then opam switch "tezos" --alias-of 4.04.2
nomicflux has quit [Client Quit]
yegods has joined #ocaml
yegods__ has joined #ocaml
yegods_ has quit [Ping timeout: 240 seconds]
<Dave__> Any suggestions anyone?
yegods_ has joined #ocaml
yegods has quit [Ping timeout: 248 seconds]
yegods has joined #ocaml
yegods__ has quit [Ping timeout: 248 seconds]
yegods_ has quit [Ping timeout: 248 seconds]
<Dave__> Fardale: getting a 'opam: "open" failed on /home/dave/.opam/lock: Permission denied' error after alias step
d0nn1e has quit [Ping timeout: 255 seconds]
govg has joined #ocaml
d0nn1e has joined #ocaml
sam__ has joined #ocaml
<Dave__> Fardale: Gave permission to user ran both instructions without error but tezos switch did not change
sam__ has quit [Ping timeout: 248 seconds]
sh0t has quit [Remote host closed the connection]
big_num has quit [Quit: WeeChat 1.7]
<Fardale> Dave__: what did you mean by did not change ?
<Dave__> As in it remained '
<Dave__> tezos C 4.04.0 Official 4.04.0 release'
mfp__ has quit [Ping timeout: 240 seconds]
<Fardale> did you do, eval `opam config env` ?
mengu has quit [Remote host closed the connection]
<Dave__> Fardale: Yes
<Fardale> You can try to first remove tezos switch before create it with 4.04.2
<Dave__> Tried that too.
<Fardale> Well, I don't know
<Dave__> Cannot remove tezos as it is the current compiler.
big_num has joined #ocaml
<Dave__> Is error I get with I try to remove tezos switch
<Fardale> After doing opam switch system
<Fardale> in opam switch, does the system switch have a C before ?
<Dave__> Not sure what order. Will try again
<Dave__> Not sure what you mean by C before ?
<Dave__> Here's what I see 'system I system System compiler (4.02.3)'
<Dave__> 'tezos C 4.04.0 Official 4.04.0 release'
<Fardale> did you do opam switch system and eval `opam config env` ?
<Dave__> YEs
<Fardale> So it's weird, it still tezos the current switch
<Fardale> For C is the letter you have between the name of the switch and the version
<Dave__> It's saying Switch tezos and all its packages will be wiped. Are you sure ? [Y/n]
<Dave__> Will I need to reinstall?
ShalokShalom has quit [Ping timeout: 240 seconds]
<Fardale> Yes you will have to reinstall every package in your new switch
<Fardale> but you can do
<Fardale> opam switch export file.export
<Dave__> okay removed
<Fardale> to save the packaqe liste
<Dave__> Looks like it worked 'tezos C 4.04.2 Official 4.04.2 release'
<Dave__> Thanks Fardale
<Fardale> Your welcome
<Dave__> Do you think '4.04.2 I 4.04.2 Official 4.04.2 release' will conflict
<Fardale> I don't think so, only the switch with a C matters
<Fardale> The I lettre juste says this is an installed switch
<Dave__> Is C supposed to be associated with tezos?
<Fardale> yes
<Fardale> if not you juste have to do opam switch tezos
enterprisey has joined #ocaml
Dave__ has quit [Quit: Page closed]
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
jimmyrcom_ has quit [Ping timeout: 248 seconds]
fraggle_ has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
Soni has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
big_num has quit [Quit: WeeChat 1.9]
sam___ has joined #ocaml
jimmyrcom_ has joined #ocaml
sam___ has quit [Ping timeout: 240 seconds]
Soni has joined #ocaml
enterprisey has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
ShalokShalom has joined #ocaml
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 246 seconds]
freusque has joined #ocaml
enterprisey has quit [Remote host closed the connection]
malina has joined #ocaml
bruce_r has quit [Ping timeout: 255 seconds]
cbot has quit [Quit: Leaving]
Simn has joined #ocaml
sam__ has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
yegods has quit [Ping timeout: 246 seconds]
AltGr has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
TheLemonMan has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
malina has quit [Ping timeout: 240 seconds]
sam__ has joined #ocaml
MercurialAlchemi has joined #ocaml
sam__ has quit [Ping timeout: 248 seconds]
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
argent_smith has joined #ocaml
mfp__ has joined #ocaml
jlam_ has joined #ocaml
jlam1 has quit [Ping timeout: 255 seconds]
pigeonv has joined #ocaml
ziyourenxiang has joined #ocaml
sam__ has joined #ocaml
Kakadu has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
ShalokShalom_ has joined #ocaml
ShalokShalom has quit [Ping timeout: 255 seconds]
sz0 has joined #ocaml
copy_ has joined #ocaml
dhil has joined #ocaml
sigjuice has quit [Ping timeout: 255 seconds]
dmbaturin has quit [Ping timeout: 248 seconds]
Fistine has quit [Ping timeout: 248 seconds]
srenatus[m] has quit [Ping timeout: 246 seconds]
kakadu_ has joined #ocaml
Kakadu has quit [Ping timeout: 248 seconds]
Guest46291 has quit [Ping timeout: 248 seconds]
lyxia has quit [Ping timeout: 248 seconds]
sigjuice has joined #ocaml
dmbaturin has joined #ocaml
lukky513 has quit [Ping timeout: 240 seconds]
micro_ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
abeaumont has quit [Ping timeout: 240 seconds]
micro_ is now known as Guest59794
Fistine has joined #ocaml
lyxia has joined #ocaml
srenatus[m] has joined #ocaml
shepi has quit [Quit: leaving]
sam__ has joined #ocaml
malc_ has joined #ocaml
sam__ has quit [Ping timeout: 246 seconds]
_andre has joined #ocaml
<theblatte> I get "Uninterpreted extension ..." from merlin when using jbuilder's generated .merlin file
<theblatte> .merlin contains, eg, "PKG ppx_compare.runtime-lib"
lukky513 has joined #ocaml
<theblatte> this seems wrong as the runtime-lib is not what merlin wants
Anarchos has joined #ocaml
sepp2k has joined #ocaml
<rwmjones> is stephane glondu on this channel?
<rks`> rwmjones: sgnb
<rwmjones> sgnb: hello!
<rwmjones> I was looking at your ITP for jbuilder and wondered if you had a debian package for it
<rwmjones> we're trying to package it in Fedora and it's a bit of a difficult one
sam__ has joined #ocaml
nomicflux has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
igstan has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
jbrown has joined #ocaml
BitPuffin|osx has joined #ocaml
<sgnb> rwmjones: it's packaged and in the NEW queue
<sgnb> rwmjones: what difficulty do you face?
<def`> theblatte: ... Did jbuilder generate a ppx? (`FLG ...`)
<def`> ?
<rwmjones> sgnb: ah cool ... no particular difficulty except I wanted to see how you install the package
<rwmjones> sgnb: basically I want to copy what you're doing :-)
<sgnb> rwmjones: I do it manually...
<rwmjones> right, that seems the only sensible way
<sgnb> by inspiring me from the generated .install file
<theblatte> def`: not sure what you mean, but the only line mentioning ppx-compare is the one I pasted: "PKG ppx_compare.runtime-lib"
<def`> theblatte: is there an FLG line mentioning ppx
<sgnb> but I'm afraid all packages using jbuilder do depend on opam-installer
<def`> (not ppx_compare, just anything matched by grep ppx)
<rwmjones> indeed
<rwmjones> sgnb: are you going to oxford next month?
<theblatte> def`: there's a bunch more ppx_*
<sgnb> rwmjones: no
<rwmjones> that's a shame
<sgnb> what's there?
<theblatte> oh sorry, you meant in FLG
<rwmjones> the ocaml / icfp conference
<theblatte> no ppx there
<def`> pfff, the FLG line is full of noise :P
<theblatte> yes, it's full of duplication
<theblatte> not sure why... maybe it collects all the flags of all my stanzas
<def`> I don't know what to suggest.
<def`> Use another build system.
<theblatte> :D
<theblatte> I disabled merlin generation
<theblatte> I'll open a couple of issues if there's nothing obvious
nomicflux has quit [Quit: nomicflux]
<kakadu_> Folks, do we have a way to debug which tokens are feeded to menhir-generated parser?
<kakadu_> for ocamlyacc it was OCAMLRUNPARAM=p AFAIR
<sgnb> well, now, I've already scheduled something else on September 8th...
ShalokShalom_ is now known as ShalokShalom
sillyotter has joined #ocaml
sh0t has joined #ocaml
abeaumont has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 248 seconds]
sillyotter has quit [Quit: WeeChat 1.4]
igstan has quit [Quit: igstan]
<kakadu_> def`: AFAIR merlin suports old-style camlp4 syntax like `[type_declaration] with type_conv`. Where in the sources I can study it?
<def`> kakadu_: no it was removed when switching to ppx
<def`> the two remaining syntax extensions are Meta OCaml and Lwt
<kakadu_> TT
<def`> kakadu_: what is the state of Qt Gui (not QML) bindings to OCaml? You gave up?
<kakadu_> I gave up
kakadu_ is now known as CaptainObvious
<CaptainObvious> I was planning to say about using another toolkit but it is too obvious remark
CaptainObvious is now known as kakadu
dhil has quit [Ping timeout: 240 seconds]
<def`> which toolkit :)?
<kakadu> either QML ot something HTML5 related
<kakadu> or*
<def`> :D
<kakadu> take the one you dislike less
malina has joined #ocaml
mbuf has joined #ocaml
BitPuffin|osx has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
malina has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
foocraft has joined #ocaml
sam__ has quit [Ping timeout: 248 seconds]
jlam_ has joined #ocaml
foocraft has quit [Ping timeout: 240 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
foocraft has joined #ocaml
al-damiri has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
sam__ has joined #ocaml
mbuf has quit [Quit: Leaving]
BitPuffin has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 240 seconds]
BitPuffin|osx has quit [Ping timeout: 255 seconds]
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 255 seconds]
BitPuffin has quit [Read error: Connection reset by peer]
BitPuffin has joined #ocaml
sz0 has joined #ocaml
foocraft has quit [Remote host closed the connection]
foocraft has joined #ocaml
jlam__ has joined #ocaml
jlam_ has quit [Ping timeout: 255 seconds]
ohama has quit [Remote host closed the connection]
mengu has joined #ocaml
ohama has joined #ocaml
jlam_ has joined #ocaml
jlam__ has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
bruce_r has joined #ocaml
FreeBirdLjj has joined #ocaml
jao has joined #ocaml
dhil has joined #ocaml
samrat has joined #ocaml
johnelse has quit [Quit: leaving]
jlam__ has joined #ocaml
jlam__ has quit [Read error: Connection reset by peer]
jlam_ has quit [Ping timeout: 240 seconds]
johnelse has joined #ocaml
Guest59794 is now known as micro_
mbuf has joined #ocaml
ygrek has joined #ocaml
ziyourenxiang has quit [Ping timeout: 248 seconds]
sam__ has quit [Ping timeout: 240 seconds]
bruce_r has quit [Ping timeout: 276 seconds]
mbuf has quit [Quit: Leaving]
yegods has joined #ocaml
yegods_ has joined #ocaml
rossberg_ has quit [Ping timeout: 255 seconds]
yegods has quit [Ping timeout: 248 seconds]
yegods_ has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods_ has joined #ocaml
pigeonv has quit [Ping timeout: 240 seconds]
yegods has quit [Ping timeout: 248 seconds]
yegods_ has quit [Remote host closed the connection]
rossberg_ has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
ristos has joined #ocaml
sam__ has joined #ocaml
yegods has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
sam__ has quit [Ping timeout: 248 seconds]
slash^ has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 255 seconds]
sepp2k has quit [Quit: Leaving.]
dhil has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
tokomak has joined #ocaml
dtornabene has joined #ocaml
tane has joined #ocaml
yegods has quit [Remote host closed the connection]
sam__ has joined #ocaml
Sim_n has quit [Ping timeout: 246 seconds]
yegods_ has joined #ocaml
enterprisey has joined #ocaml
kakadu has joined #ocaml
sam__ has quit [Ping timeout: 240 seconds]
kakadu_ has joined #ocaml
kakadu has quit [Ping timeout: 240 seconds]
yegods has joined #ocaml
yegods__ has joined #ocaml
yegods_ has quit [Ping timeout: 248 seconds]
dhil has quit [Ping timeout: 240 seconds]
yegods has quit [Ping timeout: 276 seconds]
yegods has joined #ocaml
yegods_ has joined #ocaml
yegods_ has quit [Remote host closed the connection]
yegods has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
yegods__ has quit [Ping timeout: 248 seconds]
sh0t has quit [Ping timeout: 246 seconds]
yegods has quit [Ping timeout: 276 seconds]
sh0t has joined #ocaml
cbot has joined #ocaml
foocraft has quit [Ping timeout: 248 seconds]
jbrown has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
yegods has joined #ocaml
samrat has quit [Ping timeout: 248 seconds]
<rgrinberg> sgnb: jbuilder does rely on opam-installer to do the installation, what kind of problem does that pose for you?
<rgrinberg> There was some consideration to make that dependency optional or just vendor opam installer with jbuilder itself
yegods has quit [Ping timeout: 246 seconds]
mengu has quit [Ping timeout: 255 seconds]
mengu has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
yegods has joined #ocaml
yegods_ has joined #ocaml
Sim_n has joined #ocaml
yegods has quit [Ping timeout: 240 seconds]
yegods_ has quit [Ping timeout: 240 seconds]
yegods has joined #ocaml
Sim_n has quit [Read error: Connection reset by peer]
yegods_ has joined #ocaml
sam__ has joined #ocaml
Denommus has joined #ocaml
yegods has quit [Ping timeout: 248 seconds]
sam__ has quit [Ping timeout: 240 seconds]
mengu has quit [Read error: Connection reset by peer]
mengu has joined #ocaml
foocraft has joined #ocaml
_andre has quit [Quit: leaving]
yegods_ has quit [Ping timeout: 240 seconds]
enterprisey has quit [Remote host closed the connection]
dakk has quit [Ping timeout: 240 seconds]
dakk has joined #ocaml
richi235 has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
foocraft has quit [Ping timeout: 248 seconds]
richi235 has joined #ocaml
danieli has quit [Read error: Connection reset by peer]
tane has quit [Quit: Leaving]
danieli has joined #ocaml
dtornabene has quit [Quit: Leaving]
sam__ has joined #ocaml
sam__ has quit [Ping timeout: 248 seconds]
breitenj has quit [Quit: ZNC - 1.6.0 - http://znc.in]
malina has quit [Quit: Throwing apples of Montserrat]
breitenj has joined #ocaml
breitenj has quit [Client Quit]
breitenj has joined #ocaml
coventry has joined #ocaml
infinity0_ has joined #ocaml
infinity0 is now known as Guest26655
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ is now known as infinity0
Guest26655 has quit [Killed (tolkien.freenode.net (Nickname regained by services))]
pigeonv has joined #ocaml
SpiceGuid has joined #ocaml
ggherdov has quit [Ping timeout: 255 seconds]
copy_ has quit [Quit: Connection closed for inactivity]
yegods has joined #ocaml
cbot has quit [Ping timeout: 248 seconds]
yegods has quit [Ping timeout: 248 seconds]
yegods has joined #ocaml
argent_smith has quit [Quit: Leaving.]
sam__ has joined #ocaml
yegods_ has joined #ocaml
yegods__ has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
yegods has quit [Ping timeout: 248 seconds]
AltGr has left #ocaml [#ocaml]
sam__ has quit [Ping timeout: 248 seconds]
yegods_ has quit [Ping timeout: 248 seconds]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
danieli_ has joined #ocaml
danieli has quit [Read error: Connection reset by peer]
pigeonv has quit [Ping timeout: 240 seconds]
pierpa has joined #ocaml
tokomak has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods__ has quit [Ping timeout: 248 seconds]
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.46/20161213183751]]
troydm has joined #ocaml
yegods_ has joined #ocaml
yegods__ has joined #ocaml
yegods has quit [Ping timeout: 248 seconds]
yegods__ has quit [Client Quit]
yegods_ has quit [Read error: Connection reset by peer]
danieli_ is now known as danieli
danieli has quit [Changing host]
danieli has joined #ocaml
connorjacobsen has joined #ocaml
sam__ has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
andreas__ has quit [Quit: Connection closed for inactivity]
iitalics has joined #ocaml
jao has quit [Ping timeout: 248 seconds]
sh0t has quit [Remote host closed the connection]
jao has joined #ocaml
superherointj has joined #ocaml
superherointj has quit [Quit: Leaving]
sam__ has quit [Ping timeout: 246 seconds]
kakadu_ has quit [Remote host closed the connection]
govg has quit [Ping timeout: 248 seconds]
ggherdov has joined #ocaml
govg has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
govg has quit [Ping timeout: 248 seconds]
connorjacobsen has quit [Ping timeout: 248 seconds]
connorjacobsen has joined #ocaml
ristos has quit [Quit: Connection closed for inactivity]