hannes changed the topic of #mirage to: MirageOS are OCaml unikernels - https://mirage.io - this channel is logged at http://irclog.whitequark.org/mirage/ - MirageOS 3.7.1 is released - happy hacking!
zmijunkie1 has joined #mirage
zmijunkie has quit [Ping timeout: 258 seconds]
Haudegen has joined #mirage
zmijunkie has joined #mirage
zmijunkie1 has quit [Ping timeout: 260 seconds]
zmijunkie1 has joined #mirage
zmijunkie has quit [Ping timeout: 264 seconds]
zmijunkie has joined #mirage
zmijunkie1 has quit [Ping timeout: 264 seconds]
zmijunkie1 has joined #mirage
zmijunkie has quit [Ping timeout: 256 seconds]
zmijunkie has joined #mirage
zmijunkie1 has quit [Ping timeout: 264 seconds]
Haudegen has quit [Quit: Bin weg.]
zmijunkie1 has joined #mirage
zmijunkie has quit [Ping timeout: 260 seconds]
Haudegen has joined #mirage
zmijunkie has joined #mirage
zmijunkie1 has quit [Ping timeout: 272 seconds]
zmijunkie has quit [Client Quit]
zmijunkie has joined #mirage
jnavila has joined #mirage
jnavila has quit [Read error: Connection reset by peer]
vbmithr has joined #mirage
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #mirage
zmijunkie1 has joined #mirage
zmijunkie has quit [Ping timeout: 246 seconds]
zmijunkie has joined #mirage
zmijunkie1 has quit [Ping timeout: 256 seconds]
zmijunkie has quit [Quit: Leaving.]
zmijunkie has joined #mirage
zmijunkie has quit [Quit: Leaving.]
zmijunkie has joined #mirage
<zmijunkie> okay … where have got a typesystem and so I should be able to start reasoning about what it is happening …
<zmijunkie> a) This expression has type unit Time.io
<zmijunkie> b) but an expression was expected of type 'a Lwt.t
<zmijunkie> dunno both types ;-)
<zmijunkie> I reading stackoverflow overflow now ...
<zmijunkie> am
Hrundi_V_Bakshi has joined #mirage
Hrundi_V_Bakshi has quit [Quit: No Ping reply in 180 seconds.]
Hrundi_V_Bakshi has joined #mirage
<zmijunkie> on my mac the result of opam list is quite different …
<damjan> different to what?
<zmijunkie> if I compare the output of "opam list" on my mac to the output of "opam list" on my freebsd system
<zmijunkie> packages installed by macports seem to be more modern eg. I got
<zmijunkie> lwt 5.3.0 on my mac and lwt 4.5.0 on my freebsd
<zmijunkie> I am trying opam update -u or something … on freebsd now
<damjan> lwt 5.3.0 Promises and event-driven I/O - on my linux
<zmijunkie> thx !
<zmijunkie> doesnt explaint the type error … but on my mac I seem to be more successfull building the hello world
<zmijunkie> I am trying opam upgrade now
<zmijunkie> The following packages are not being upgraded because the new versions conflict with other installed packages ….
<zmijunkie> upps
<zmijunkie> trying to install opam-full-2.0.7.tar.gz now …
<zmijunkie> worked … wow ...
<zmijunkie> got lwt 5.3.0 - but same error: Error: This expression has type unit Time.io but an expression was expected of type 'a Lwt.t
<zmijunkie> for mirage-skeleton/tutorial/hello
<zmijunkie> ./noop worked again
<zmijunkie> the version of hello seen at http://wiki.geregere.net/technote/unikernel.html works for me
<zmijunkie> ./hello
<zmijunkie> 2020-06-09 00:06:39 +02:00: INF [application] hello
<zmijunkie> no even solo5-hvt hello.hvt works !
<zmijunkie> now
zmijunkie has quit [Quit: Leaving.]
ansiwen has quit [Ping timeout: 260 seconds]
derpeter3 has quit [Ping timeout: 240 seconds]
DonRichie has quit [Ping timeout: 272 seconds]
DonRichie has joined #mirage
derpeter3 has joined #mirage
ansiwen has joined #mirage
Hrundi_V_Bakshi has quit [Ping timeout: 256 seconds]
Haudegen has quit [Ping timeout: 264 seconds]
DonRichie has quit [Ping timeout: 272 seconds]
derpeter3 has quit [Ping timeout: 264 seconds]
ansiwen has quit [Ping timeout: 264 seconds]
DonRichie has joined #mirage
ansiwen has joined #mirage
derpeter3 has joined #mirage