tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
tlockney_away has quit [Ping timeout: 264 seconds]
tlockney_away has joined #mirage
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
avsm has joined #mirage
djs55 has joined #mirage
avsm1 has joined #mirage
avsm has quit [Read error: Connection reset by peer]
avsm has joined #mirage
avsm1 has quit [Read error: Connection reset by peer]
avsm has quit [Quit: Leaving.]
djs55 has quit [Quit: Leaving.]
mort___ has joined #mirage
talex5 has joined #mirage
dsheets has joined #mirage
avsm has joined #mirage
jludlam has joined #mirage
<avsm> jludlam: is dave nearby?
avsm has quit [Quit: Leaving.]
djs55 has joined #mirage
djs55 has quit [Client Quit]
djs55 has joined #mirage
<hannes> if I `opam pin mirage git://github.com/mirage/mirage.git`, opam install mirage returns without any output or installing anything (opam-1.1.1, mirage not installed)
<mort___> dumb ocaml top question - how do i display the "search path"?
<mort___> (as in the thing to which #require "blah" reports "…./blah: added to search path")
<dsheets> mort___, Topdirs?
<dsheets> hmm never mind, i guess suggesting Topdirs to every problem involving the toplevel isn't a very good strategy
<dsheets> 0/2 now
<mort___> :)
<mort___> it clearly *should* be the right answer though
<dsheets> well, not for syntax extensions... but for this problem, yes
<dsheets> can't find the ocamldoc online and the interface is a bit daft
jludlam is now known as jonludlam
<talex5> hannes: do you have aspcud installed? I recall I had a similar problem with pinned packages when using OPAM's internal solver.
<mort___> talex5, hannes: yes, i did too. it was never tracked down i think (though issues were posted, eg https://github.com/ocaml/opam/issues/1139)
<mort___> oh sorry, misremembered — that issue did get tracked down
<mort___> playing about with iocaml
<mort___> to get tutorials ready for oopsla
<mort___> skeleton console works fine — but i don't seem able to get Mirage module opened
<mort___> persists in being unbound
<mort___> anyone any suggestions? i've #required just about everything i can think of...
<mort___> hm. and now it seems to work. never mind.
talex5 has quit [Ping timeout: 260 seconds]
avsm has joined #mirage
talex5 has joined #mirage
djs55 has quit [Read error: Connection reset by peer]
jonludlam has quit [Read error: Connection reset by peer]
jonludlam has joined #mirage
djs551 has joined #mirage
djs551 has quit [Client Quit]
talex5 has quit [Ping timeout: 272 seconds]
thomasga has joined #mirage
jludlam has joined #mirage
<avsm> deffo need cstruct regress tests to ensure ssl isn't affected by this!
jonludlam has quit [Ping timeout: 244 seconds]
talex5 has joined #mirage
jonludlam_ has joined #mirage
jludlam has quit [Ping timeout: 248 seconds]
jonludlam_ is now known as jonludlam
avsm has quit [Quit: Leaving.]
tlockney_away is now known as tlockney
AndrewX192 has quit [Ping timeout: 244 seconds]
yomimono has joined #mirage
AndrewX192 has joined #mirage
AndrewX192 has quit [Ping timeout: 240 seconds]
AndrewX192 has joined #mirage
philtor_ has joined #mirage
tlockney is now known as tlockney_away
philtor_ has quit [Ping timeout: 272 seconds]
tlockney_away is now known as tlockney
talex5 has quit [Ping timeout: 264 seconds]
tlockney is now known as tlockney_away
yomimono has quit [Ping timeout: 240 seconds]
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
jonludlam has quit [Read error: Connection reset by peer]
dsheets has quit [Excess Flood]
dsheets has joined #mirage
mort___ has quit [Ping timeout: 260 seconds]
dsheets has quit [Ping timeout: 248 seconds]
dsheets has joined #mirage
tlockney_away is now known as tlockney
tlockney is now known as tlockney_away
jludlam has joined #mirage
tlockney_away is now known as tlockney
thomasga has quit [Ping timeout: 252 seconds]
tlockney is now known as tlockney_away
thomasga has joined #mirage
tlockney_away is now known as tlockney
philtor has joined #mirage
jludlam has quit [Remote host closed the connection]
tlockney is now known as tlockney_away