adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Upcoming OCaml MOOC: https://huit.re/ocamlmooc | OCaml 4.03.0 release notes: http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
minn has quit [Ping timeout: 250 seconds]
brunoro has joined #ocaml
NingaLeaf_ has joined #ocaml
kevinch has quit [Quit: Computer has gone to sleep.]
NingaLeaf has quit [Ping timeout: 260 seconds]
kevinch has joined #ocaml
manizzle has quit [Ping timeout: 260 seconds]
brunoro has quit [Ping timeout: 250 seconds]
nomicflux has quit [Quit: nomicflux]
manizzle has joined #ocaml
eh_eff has quit [Ping timeout: 250 seconds]
teiresias has quit [Remote host closed the connection]
fantasti` has joined #ocaml
fantasticsid has quit [Ping timeout: 256 seconds]
minn has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
fantasti` has quit [Ping timeout: 260 seconds]
nomicflux has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
struk|desk has joined #ocaml
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
silver has quit [Read error: Connection reset by peer]
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 245 seconds]
kevinch has quit [Quit: Computer has gone to sleep.]
kevinch has joined #ocaml
kevinch has quit [Client Quit]
petroav_ has joined #ocaml
kevinch has joined #ocaml
kevinch has quit [Client Quit]
kevinch has joined #ocaml
kevinch has quit [Client Quit]
kevinch has joined #ocaml
kevinch has quit [Client Quit]
kevinch has joined #ocaml
kevinch has quit [Client Quit]
kevinch has joined #ocaml
kevinch has quit [Client Quit]
kevinch has joined #ocaml
DavidGu has joined #ocaml
kevinch has quit [Client Quit]
kevinch has joined #ocaml
petroav_ has quit [Quit: Ex-Chat]
petroav_ has joined #ocaml
petroav_ has quit [Remote host closed the connection]
brunoro has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
nomicflux has quit [Quit: nomicflux]
brunoro has quit [Ping timeout: 250 seconds]
rgrinberg has quit [Ping timeout: 250 seconds]
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
TarVanimelde has joined #ocaml
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 252 seconds]
kevinch has quit [Quit: Computer has gone to sleep.]
fluter has quit [Ping timeout: 250 seconds]
tmtwd has quit [Ping timeout: 252 seconds]
kevinch has joined #ocaml
tmtwd has joined #ocaml
brunoro has joined #ocaml
smondet has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
axiles has quit [Ping timeout: 244 seconds]
axiles has joined #ocaml
eh_eff has joined #ocaml
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 250 seconds]
TarVanimelde has quit [Quit: Leaving]
TarVanimelde has joined #ocaml
nomicflux has joined #ocaml
hhx has joined #ocaml
TarVanimelde has quit [Read error: Connection reset by peer]
eh_eff has quit [Ping timeout: 265 seconds]
ygrek has joined #ocaml
brunoro has joined #ocaml
jimt has quit [Quit: leaving]
jimt has joined #ocaml
brunoro has quit [Ping timeout: 268 seconds]
shinnya has joined #ocaml
nomicflux has quit [Quit: nomicflux]
tmtwd has quit [Ping timeout: 260 seconds]
conrad4 has joined #ocaml
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 252 seconds]
conrad4 has quit [Ping timeout: 244 seconds]
shinnya has quit [Ping timeout: 245 seconds]
tmtwd has joined #ocaml
jg_ has joined #ocaml
wolfcore has quit [Ping timeout: 244 seconds]
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 260 seconds]
conrad4 has joined #ocaml
wolfcore has joined #ocaml
conrad4 has quit [Ping timeout: 245 seconds]
Algebr has joined #ocaml
brunoro has joined #ocaml
slash^ has joined #ocaml
brunoro has quit [Ping timeout: 268 seconds]
tmtwd has quit [Quit: Leaving]
Onemorenickname has joined #ocaml
AlexDenisov has joined #ocaml
DavidGu has quit [Ping timeout: 256 seconds]
AlexDeni_ has joined #ocaml
jg_ has quit [Quit: Leaving]
AlexDenisov has quit [Read error: Connection reset by peer]
noddy has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
zozozo has quit [Remote host closed the connection]
DavidGu has joined #ocaml
pierpa has quit [Ping timeout: 244 seconds]
jg has joined #ocaml
malc_ has joined #ocaml
noddy has joined #ocaml
kevinch has quit [Quit: Computer has gone to sleep.]
Onemorenickname_ has joined #ocaml
Onemorenickname has quit [Ping timeout: 268 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
eh_eff has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
eh_eff has quit [Ping timeout: 256 seconds]
argent_smith has joined #ocaml
<argent_smith> hiall
<argent_smith> does anyone here work with ocaml/opam in Sierra or any other macos?
zozozo has joined #ocaml
conrad4 has joined #ocaml
<malc_> argent_smith: i think i did managed installing it via brew earlier this year
<malc_> -d
conrad4 has quit [Ping timeout: 250 seconds]
dmi3y has joined #ocaml
brunoro has joined #ocaml
Algebr has quit [Ping timeout: 268 seconds]
<argent_smith> malc_: i cannot install utop with opam. posted a Q here: http://stackoverflow.com/questions/40317164/opam-install-can-t-find-ocamlbuild-on-sierra
shinnya has joined #ocaml
<argent_smith> when played a year ago averything was fine yet )
<argent_smith> *everything )
d0nn1e has quit [Ping timeout: 252 seconds]
brunoro has quit [Ping timeout: 260 seconds]
slash^ has quit [Quit: Leaving]
<malc_> argent_smith: tried installing ocamlbuild via opam itself?
d0nn1e has joined #ocaml
<argent_smith> malc_: `No package named ocamlbuild found.`
MercurialAlchemi has quit [Ping timeout: 256 seconds]
eh_eff has joined #ocaml
dmi3y has quit [Quit: dmi3y]
eh_eff has quit [Ping timeout: 260 seconds]
dmi3y has joined #ocaml
<malc_> argent_smith: :(
<argent_smith> malc_: good news: opam update/opam upgrade solved the thing: it doesn't have an up-to-date repo db out-of-the-box being installed with brew
Algebr has joined #ocaml
<malc_> argent_smith: ah, neat
ia0 has quit [Quit: reboot]
peddie has joined #ocaml
ia0 has joined #ocaml
minn has quit [Ping timeout: 268 seconds]
dmi3y has quit [Quit: dmi3y]
dmi3y has joined #ocaml
brunoro has joined #ocaml
hhx has quit [Ping timeout: 260 seconds]
brunoro has quit [Ping timeout: 256 seconds]
<dmi3y> Can somebody give me a hint on how I can improve this function, which checks whether or not a given list is sorted. It's an exercise from the OCaml MOOC. I dislike the fact the because of the requirement to use List.fold_left this function will iterate over the whole list, regardless whether the list is sorted or not. http://pastebin.com/AdtDLrBv
<dmi3y> Can somebody give me a hint on how I can improve this function, which checks whether or not a given list is sorted. It's an exercise from the OCaml MOOC. Because of the requirement to use List.fold_left this function will iterate over the whole list, regardless whether the list is sorted or not. http://pastebin.com/AdtDLrBv
Onemorenickname_ has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
dmi3y has quit [Quit: dmi3y]
sh0t has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
dmi3y has joined #ocaml
kakadu has joined #ocaml
dmi3y has quit [Client Quit]
mcspud has quit [Ping timeout: 245 seconds]
mcspud has joined #ocaml
rand__ has joined #ocaml
citrusybutter has joined #ocaml
whisperedcigar has quit [Ping timeout: 245 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
jg has quit [Ping timeout: 250 seconds]
<argent_smith> btw does anyone use utop with tuareg?
MercurialAlchemi has joined #ocaml
<argent_smith> fixed, nevermind )
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 252 seconds]
eh_eff has joined #ocaml
brunoro has joined #ocaml
eh_eff has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
Squarefish has joined #ocaml
<Squarefish> Can I use OCaml for writing operating system kernels?
<flux> squarefish, have you checked out the Mirage project?
<Squarefish> flux, it does not run on bare metal (aka real hardware)
<Squarefish> flux, I am asking if I can write a complete OS in OCaml and Assembly instead of C and Assembly
jg has joined #ocaml
<flux> squarefish, well, it's really a choice, I don't see why you couldn't port mirage to actual hardware
<flux> I imagine mirage also has some small but important parts in C and assembly
<Squarefish> flux, yes or no?
<flux> you cannot write a bootloader in plain ocaml
<flux> you cannot write a bootloader in standard C either.
kakadu has quit []
<Squarefish> flux, is OCaml a compiled language with pointers and manual memory management?
<flux> it has references and an a garbage collector (written in C)
<flux> actually, not sure about that last part.. I guess big parts of it are in C.
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
<flux> squarefish, but really a bare virtual machine is so close to an actual piece of hardware, that mirage servers well as a proof that it can be done
<flux> it's not like a virtual machine provides you with object storage memory.
<Squarefish> okay
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
maattdd has joined #ocaml
kakadu has joined #ocaml
<Drup> Squarefish: mirage works on bare metal with solo5
tane has joined #ocaml
<Drup> (which means some C, yes)
<Squarefish> What really pisses me off is that there are many stupid languages that say hey, please learn me, I am the right choice
jg has quit [Ping timeout: 250 seconds]
slash^ has joined #ocaml
Squarefish has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
<lyxia> Surely the ones who created the language had a need for it.
brunoro has joined #ocaml
jbrown has joined #ocaml
brunoro has quit [Ping timeout: 244 seconds]
citrusybutter has quit [Ping timeout: 245 seconds]
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
conrad4 has joined #ocaml
zpe has joined #ocaml
conrad4 has quit [Ping timeout: 260 seconds]
sh0t has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
jg has joined #ocaml
jbrown has quit [Ping timeout: 250 seconds]
kakadu has quit [Remote host closed the connection]
eh_eff has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
Sim_n has joined #ocaml
zpe has quit [Remote host closed the connection]
madroach has joined #ocaml
zpe has joined #ocaml
eh_eff has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
Simn has quit [Ping timeout: 260 seconds]
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
tane has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
teiresias has joined #ocaml
dhil has joined #ocaml
nomicflux has joined #ocaml
smondet has quit [Remote host closed the connection]
citrusybutter has joined #ocaml
citrusybutter has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Ping timeout: 256 seconds]
<flux> squarefish was looking for silver bullet ;)
brunoro has joined #ocaml
Sim_n has quit [Quit: Leaving]
brunoro has quit [Ping timeout: 250 seconds]
conrad4 has joined #ocaml
jg has quit [Ping timeout: 250 seconds]
conrad4 has quit [Ping timeout: 260 seconds]
copy` has joined #ocaml
rgrinberg has joined #ocaml
kolko has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 250 seconds]
iyy_ has quit [Quit: leaving]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
<rand__> hmm I get the error "ocsigenserver: ocsigen:main: Reference to undefined global `CCList'" even though i give the '-package containers' option to eliomc
<Drup> don't forget to add it to the list of package loaded by ocsigenserver
<rand__> ah ok? didn't know I had to
<rand__> thought deps where linked in
<rand__> ahh ofc.. thanks
AlexDenisov has joined #ocaml
dhil has quit [Quit: Quit]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
agarwal1975 has joined #ocaml
dhil has joined #ocaml
nomicflux has quit [Quit: nomicflux]
iyy has joined #ocaml
brunoro has joined #ocaml
nomicflux has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
brunoro has quit [Ping timeout: 252 seconds]
DavidGu1 has joined #ocaml
loocash has joined #ocaml
DavidGu has quit [Ping timeout: 256 seconds]
DavidGu1 is now known as DavidGu
ethnopes has joined #ocaml
citrusybutter has joined #ocaml
DavidGu has quit [Quit: DavidGu]
jg_ has joined #ocaml
loocash has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Remote host closed the connection]
rand__ has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 252 seconds]
dmi3y has joined #ocaml
dmi3y has left #ocaml [#ocaml]
dmi3y has joined #ocaml
dmi3y has quit [Client Quit]
citrusybutter has quit [Ping timeout: 245 seconds]
pierpa has joined #ocaml
brunoro has joined #ocaml
AlexDenisov has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
jg_ has quit [Ping timeout: 256 seconds]
ethnopes has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
hhx has joined #ocaml
nomicflux has quit [Quit: nomicflux]
jg_ has joined #ocaml
citrusybutter has joined #ocaml
conrad4 has joined #ocaml
aphprentice has joined #ocaml
conrad4 has quit [Ping timeout: 244 seconds]
sh0t has joined #ocaml
Heasummn has joined #ocaml
eh_eff has joined #ocaml
eh_eff has quit [Ping timeout: 268 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 255 seconds]
dhil has quit [Ping timeout: 245 seconds]
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
jnavila has joined #ocaml
eh_eff has joined #ocaml
agarwal1975 has joined #ocaml
eh_eff has quit [Ping timeout: 244 seconds]
sh0t has quit [Remote host closed the connection]
shinnya has quit [Ping timeout: 244 seconds]
brunoro has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
jg_ has quit [Ping timeout: 260 seconds]
copy` has quit [Quit: Connection closed for inactivity]
brunoro has quit [Ping timeout: 244 seconds]
jnavila has quit [Read error: Connection reset by peer]
jnavila has joined #ocaml
dhil has quit [Ping timeout: 256 seconds]
dhil has joined #ocaml
jnavila has quit [Ping timeout: 265 seconds]
djellemah has quit [Remote host closed the connection]
djellemah has joined #ocaml
conrad4 has joined #ocaml
djellemah has quit [Remote host closed the connection]
slash^ has quit [Read error: Connection reset by peer]
djellemah has joined #ocaml
eh_eff has joined #ocaml
conrad4 has quit [Ping timeout: 245 seconds]
eh_eff has quit [Ping timeout: 260 seconds]
ygrek has joined #ocaml
ollehar has joined #ocaml
bcc32 has joined #ocaml
<bcc32> Hello!
<bcc32> Where do I go to report bugs in the user manual?
brunoro has joined #ocaml
ethnopes has joined #ocaml
axiles has quit [Ping timeout: 250 seconds]
brunoro has quit [Ping timeout: 245 seconds]
jg_ has joined #ocaml
axiles has joined #ocaml
kevinch has joined #ocaml
copy` has joined #ocaml
ethnopes has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<adrien> bcc32: either caml.inria.fr/mantis or on github.com/ocaml/ocaml (iirc)
<adrien> but what is it?
nomicflux has joined #ocaml
malc_ has quit [Remote host closed the connection]
minn has joined #ocaml
conrad4 has joined #ocaml
grinbergr has joined #ocaml
brunoro has joined #ocaml
kakadu has joined #ocaml
grinbergr has quit [Remote host closed the connection]
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
brunoro has quit [Ping timeout: 256 seconds]
octachron has joined #ocaml
conrad4 has quit [Ping timeout: 265 seconds]
octachron has quit [Read error: Connection reset by peer]
octachron_ has joined #ocaml
octachron_ has quit [Read error: Connection reset by peer]
octachron has joined #ocaml
argent_smith has left #ocaml [#ocaml]
octachron_ has joined #ocaml
octachron has quit [Ping timeout: 260 seconds]
octachron__ has joined #ocaml
octachron_ has quit [Read error: Connection reset by peer]
octachron has joined #ocaml
octachron__ has quit [Read error: Connection reset by peer]
octachron_ has joined #ocaml
octachron_ has quit [Read error: Connection reset by peer]
octachron has quit [Read error: Connection reset by peer]
octachron has joined #ocaml
rbocquet has quit [Ping timeout: 250 seconds]
octachron_ has joined #ocaml
octachron has quit [Read error: Connection reset by peer]
octachron_ has quit [Read error: Connection reset by peer]
octachron has joined #ocaml
octachron has quit [Read error: Connection reset by peer]
argent_smith has joined #ocaml
octachron has joined #ocaml
octachron has quit [Read error: Connection reset by peer]
jg_ has quit [Ping timeout: 268 seconds]
kevinch has quit [Quit: Computer has gone to sleep.]
octachron has joined #ocaml
rbocquet has joined #ocaml
conrad4 has joined #ocaml
jg_ has joined #ocaml
conrad4 has quit [Ping timeout: 260 seconds]
kevinch has joined #ocaml
Heasummn has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 245 seconds]
Simn has joined #ocaml
ethnopes has joined #ocaml
jnavila has joined #ocaml
nomicflux has quit [Quit: nomicflux]
brunoro has joined #ocaml
kakadu has quit []
jnavila has quit [Ping timeout: 268 seconds]
kakadu has joined #ocaml
brunoro has quit [Ping timeout: 250 seconds]
citrusybutter has quit [Quit: WeeChat 1.5]
whisperedcigar has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
hhx has quit [Ping timeout: 252 seconds]
sh0t has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
ollehar has quit [Remote host closed the connection]
ollehar has joined #ocaml
jg_ has quit [Ping timeout: 250 seconds]
zpe has quit [Remote host closed the connection]
argent_smith has quit [Quit: Leaving.]
whisperedcigar has quit [Ping timeout: 245 seconds]
pippijn_ is now known as pippijn
rgrinberg has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
whisperedcigar has joined #ocaml
brunoro has joined #ocaml
nomicflux has joined #ocaml
brunoro has quit [Ping timeout: 260 seconds]
brunoro has joined #ocaml
brunoro has quit [Ping timeout: 244 seconds]
whisperedcigar has quit [Ping timeout: 245 seconds]
ollehar has quit [Quit: ollehar]
rgrinberg has joined #ocaml
<bcc32> adrien: I totally missed your reply, sorry. It's just that the Uchar module isn't listed on the standard library page: http://caml.inria.fr/pub/docs/manual-ocaml/stdlib.html and I couldn't find it on any other page either.
conrad4 has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
conrad4 has quit [Ping timeout: 244 seconds]
octachron_ has joined #ocaml
octachron_ has quit [Client Quit]
hhx has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
shinnya has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
conrad4 has joined #ocaml
conrad4 has quit [Ping timeout: 260 seconds]
Heasummn has joined #ocaml
brunoro has joined #ocaml
rgrinberg has quit [Ping timeout: 265 seconds]
brunoro has quit [Ping timeout: 250 seconds]
nomicflux has quit [Quit: nomicflux]
copy` has joined #ocaml