<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
<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…]