nikki93 has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 252 seconds]
S11001001 has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 252 seconds]
S11001001 has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
ruzu has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
Topher has left #ocaml []
cantstanya has quit [Ping timeout: 255 seconds]
NoNNaN has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 250 seconds]
NoNNaN has joined #ocaml
divyanshu has joined #ocaml
jonludlam has joined #ocaml
maattdd has joined #ocaml
lostcuaz has joined #ocaml
maattdd has quit [Ping timeout: 245 seconds]
tab1293 has joined #ocaml
zpe has joined #ocaml
shinnya has joined #ocaml
erider has joined #ocaml
erider has quit [Ping timeout: 250 seconds]
venk` has joined #ocaml
venk has quit [Ping timeout: 240 seconds]
ollehar has quit [Read error: Connection reset by peer]
zpe has quit [Ping timeout: 258 seconds]
steshaw has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
q66 has quit [Quit: Leaving]
divyanshu has quit [Quit: Computer has gone to sleep.]
zpe has joined #ocaml
divyanshu has joined #ocaml
divyanshu has quit [Client Quit]
jonludlam has quit [Ping timeout: 252 seconds]
maattdd has joined #ocaml
maattdd has quit [Ping timeout: 258 seconds]
ygrek has joined #ocaml
zpe has quit [Ping timeout: 258 seconds]
divyanshu has joined #ocaml
divyanshu has quit [Client Quit]
zpe has joined #ocaml
steshaw has quit [Quit: Leaving.]
venk` has quit [*.net *.split]
Rota has quit [*.net *.split]
vbmithr has quit [*.net *.split]
caligula has quit [*.net *.split]
nickmeharry has quit [*.net *.split]
zpe has quit [*.net *.split]
WraithM has quit [*.net *.split]
rz has quit [*.net *.split]
Derander_ has quit [*.net *.split]
ousado has quit [*.net *.split]
cdidd has quit [*.net *.split]
Khady has quit [*.net *.split]
alex_nx has quit [*.net *.split]
amiller has quit [*.net *.split]
_5kg has quit [*.net *.split]
marky has quit [*.net *.split]
ivan\ has quit [*.net *.split]
fayden has quit [*.net *.split]
ygrek has quit [*.net *.split]
sgnb has quit [*.net *.split]
petterw has quit [*.net *.split]
hyperboreean has quit [*.net *.split]
maurer has quit [*.net *.split]
yroeht2 has quit [*.net *.split]
tab1293 has quit [*.net *.split]
shinnya has quit [*.net *.split]
lostcuaz has quit [*.net *.split]
tnguyen has quit [*.net *.split]
bnwr has quit [*.net *.split]
smondet has quit [*.net *.split]
bjorkintosh has quit [*.net *.split]
andreypopp_ has quit [*.net *.split]
knz has quit [*.net *.split]
Valdo has quit [*.net *.split]
bartbes_ has quit [*.net *.split]
termos has quit [*.net *.split]
msch has quit [*.net *.split]
rwmjones has quit [*.net *.split]
bitbckt has quit [*.net *.split]
gereedy has quit [*.net *.split]
stomp has quit [*.net *.split]
olasd has quit [*.net *.split]
rossberg has quit [*.net *.split]
basus1 has quit [*.net *.split]
hnrgrgr has quit [*.net *.split]
mk270 has quit [*.net *.split]
tizoc has quit [*.net *.split]
gargawel has quit [*.net *.split]
ggherdov has quit [*.net *.split]
deavid has quit [*.net *.split]
tlockney_away has quit [*.net *.split]
ohama has quit [*.net *.split]
NoNNaN has quit [*.net *.split]
clan has quit [*.net *.split]
martintrojer has quit [*.net *.split]
BiDOrD has quit [*.net *.split]
passiveobserver has quit [*.net *.split]
nk0 has quit [*.net *.split]
hyPiRion has quit [*.net *.split]
smiler has quit [*.net *.split]
inr has quit [*.net *.split]
def-lkb has quit [*.net *.split]
brendan has quit [*.net *.split]
Enjolras has quit [*.net *.split]
asmanur has quit [*.net *.split]
ccasin has quit [*.net *.split]
IbnFirnas_ has quit [*.net *.split]
n0v has quit [*.net *.split]
darkf has quit [*.net *.split]
araujo has quit [*.net *.split]
ddosia has quit [*.net *.split]
lopex has quit [*.net *.split]
teiresias has quit [*.net *.split]
_habnabit has quit [*.net *.split]
robink has quit [*.net *.split]
igitoor has quit [*.net *.split]
studybot has quit [*.net *.split]
adrien_oww has quit [*.net *.split]
reynir has quit [*.net *.split]
keen_ has quit [*.net *.split]
iZsh has quit [*.net *.split]
jbrown has quit [*.net *.split]
ente has quit [*.net *.split]
morolin has quit [*.net *.split]
zarul[afk] has quit [*.net *.split]
companion_cube has quit [*.net *.split]
acieroid has quit [*.net *.split]
mrvn has quit [*.net *.split]
mdenes has quit [*.net *.split]
so has quit [*.net *.split]
Cypi has quit [*.net *.split]
tchell has quit [*.net *.split]
finnrobi has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
cross has quit [*.net *.split]
devn has quit [*.net *.split]
_tca has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
Armael has quit [*.net *.split]
kerneis has quit [*.net *.split]
Nahra has quit [*.net *.split]
rs0 has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
mal`` has quit [*.net *.split]
saarin has quit [*.net *.split]
hto has quit [*.net *.split]
milosn has quit [*.net *.split]
Mandus has quit [*.net *.split]
willb1 has quit [*.net *.split]
beurks has quit [*.net *.split]
adrien has quit [*.net *.split]
jave has quit [*.net *.split]
strmpnk has quit [*.net *.split]
__marius___ has quit [*.net *.split]
flux has quit [*.net *.split]
whitequark has quit [*.net *.split]
tianon has quit [*.net *.split]
chris2 has quit [*.net *.split]
nicoo has quit [*.net *.split]
esden has quit [*.net *.split]
jzelinskie has quit [*.net *.split]
Averell has quit [*.net *.split]
freling has quit [*.net *.split]
PM has quit [*.net *.split]
leifw has quit [*.net *.split]
testcocoon has quit [*.net *.split]
cthuluh has quit [*.net *.split]
srcerer has quit [*.net *.split]
NaCl has quit [*.net *.split]
mfp has quit [*.net *.split]
_2can_ has quit [*.net *.split]
bunzen has quit [*.net *.split]
jlouis has quit [*.net *.split]
xaimus has quit [*.net *.split]
orbitz has quit [*.net *.split]
bacam has quit [*.net *.split]
pippijn has quit [*.net *.split]
samae has quit [*.net *.split]
aggelos has quit [*.net *.split]
Drup has quit [*.net *.split]
CissWit has quit [*.net *.split]
Axman6 has quit [*.net *.split]
madroach has quit [*.net *.split]
yacks has quit [*.net *.split]
maufred has quit [*.net *.split]
Muzer has quit [*.net *.split]
troydm has quit [*.net *.split]
michel_mno_afk has quit [*.net *.split]
cow-orke1 has quit [*.net *.split]
wormphle1m has quit [*.net *.split]
penryu has quit [*.net *.split]
emias has quit [*.net *.split]
ia0 has quit [*.net *.split]
vpm has quit [*.net *.split]
hcarty has quit [*.net *.split]
yastero has quit [*.net *.split]
seliopou has quit [*.net *.split]
thizanne has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
nicoo has joined #ocaml
tlockney has joined #ocaml
_habnabit has joined #ocaml
teiresias has joined #ocaml
lopex has joined #ocaml
ddosia has joined #ocaml
araujo has joined #ocaml
darkf has joined #ocaml
whitequark has joined #ocaml
tizoc has joined #ocaml
flux has joined #ocaml
robink_ has joined #ocaml
igitoor has joined #ocaml
studybot has joined #ocaml
adrien_oww has joined #ocaml
reynir has joined #ocaml
keen_ has joined #ocaml
iZsh has joined #ocaml
ente has joined #ocaml
jbrown has joined #ocaml
morolin has joined #ocaml
zarul[afk] has joined #ocaml
companion_cube has joined #ocaml
acieroid has joined #ocaml
mrvn has joined #ocaml
mdenes has joined #ocaml
ivan\ has joined #ocaml
venk` has joined #ocaml
Rota has joined #ocaml
vbmithr has joined #ocaml
caligula has joined #ocaml
nickmeharry has joined #ocaml
madroach has joined #ocaml
yacks has joined #ocaml
maufred has joined #ocaml
Muzer has joined #ocaml
troydm has joined #ocaml
michel_mno_afk has joined #ocaml
cow-orke1 has joined #ocaml
wormphle1m has joined #ocaml
penryu has joined #ocaml
emias has joined #ocaml
ia0 has joined #ocaml
vpm has joined #ocaml
hcarty has joined #ocaml
yastero has joined #ocaml
seliopou has joined #ocaml
thizanne has joined #ocaml
bernardofpc has joined #ocaml
testcocoon has joined #ocaml
cthuluh has joined #ocaml
bunzen has joined #ocaml
mfp has joined #ocaml
_2can_ has joined #ocaml
jlouis has joined #ocaml
xaimus has joined #ocaml
bacam has joined #ocaml
orbitz has joined #ocaml
CissWit has joined #ocaml
samae has joined #ocaml
pippijn has joined #ocaml
aggelos has joined #ocaml
Drup has joined #ocaml
WraithM has joined #ocaml
rz has joined #ocaml
Derander_ has joined #ocaml
ousado has joined #ocaml
amiller has joined #ocaml
Khady has joined #ocaml
cdidd has joined #ocaml
alex_nx has joined #ocaml
_5kg has joined #ocaml
marky has joined #ocaml
fayden has joined #ocaml
asmanur has joined #ocaml
chris2 has joined #ocaml
martintrojer has joined #ocaml
BiDOrD has joined #ocaml
passiveobserver has joined #ocaml
nk0 has joined #ocaml
hyPiRion has joined #ocaml
smiler has joined #ocaml
inr has joined #ocaml
def-lkb has joined #ocaml
hto has joined #ocaml
milosn has joined #ocaml
Mandus has joined #ocaml
willb1 has joined #ocaml
beurks has joined #ocaml
adrien has joined #ocaml
jave has joined #ocaml
shinnya has joined #ocaml
tab1293 has joined #ocaml
lostcuaz has joined #ocaml
tnguyen has joined #ocaml
freling has joined #ocaml
strmpnk has joined #ocaml
__marius___ has joined #ocaml
esden has joined #ocaml
jzelinskie has joined #ocaml
Averell has joined #ocaml
PM has joined #ocaml
leifw has joined #ocaml
tianon has joined #ocaml
bnwr has joined #ocaml
smondet has joined #ocaml
bjorkintosh has joined #ocaml
andreypopp_ has joined #ocaml
knz has joined #ocaml
Valdo has joined #ocaml
bartbes_ has joined #ocaml
termos has joined #ocaml
msch has joined #ocaml
rwmjones has joined #ocaml
bitbckt has joined #ocaml
gereedy has joined #ocaml
stomp has joined #ocaml
olasd has joined #ocaml
rossberg has joined #ocaml
Enjolras has joined #ocaml
petterw has joined #ocaml
sgnb has joined #ocaml
hyperboreean has joined #ocaml
maurer has joined #ocaml
yroeht2 has joined #ocaml
NoNNaN has joined #ocaml
hnrgrgr has joined #ocaml
mk270 has joined #ocaml
ggherdov has joined #ocaml
gargawel has joined #ocaml
deavid has joined #ocaml
ohama has joined #ocaml
zpe has joined #ocaml
axiles has joined #ocaml
n0v has joined #ocaml
Axman6 has joined #ocaml
brendan has joined #ocaml
IbnFirnas_ has joined #ocaml
ccasin_ has joined #ocaml
so has joined #ocaml
cross has joined #ocaml
tchell has joined #ocaml
Cypi has joined #ocaml
Asmadeus has joined #ocaml
finnrobi has joined #ocaml
_tca has joined #ocaml
rgrinberg has joined #ocaml
Armael has joined #ocaml
kerneis has joined #ocaml
Nahra has joined #ocaml
rs0 has joined #ocaml
jpdeplaix has joined #ocaml
saarin has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
mal`` has joined #ocaml
ygrek has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
steshaw has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
wwilly has joined #ocaml
ggole has joined #ocaml
Submarine has joined #ocaml
Simn has joined #ocaml
ggole has quit [Read error: Connection timed out]
ggole has joined #ocaml
Kakadu has joined #ocaml
zpe has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
nikki93 has joined #ocaml
nicoo has quit [Changing host]
nicoo has joined #ocaml
ygrek has joined #ocaml
ivan\ is now known as Guest40100
Guest40100 has quit [Changing host]
Guest40100 has joined #ocaml
tianon is now known as Guest1278
Simn is now known as Guest56461
Guest1278 has quit [Changing host]
Guest1278 has joined #ocaml
tidren has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
nikki93 has quit [Remote host closed the connection]
Guest56461 is now known as Simn
tlockney is now known as tlockney_away
nikki93 has joined #ocaml
elfring has joined #ocaml
zpe has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
zpe has quit [Ping timeout: 252 seconds]
nikki93 has quit [Remote host closed the connection]
avsm has joined #ocaml
nikki93 has joined #ocaml
Arsenik has joined #ocaml
ygrek has joined #ocaml
nikki93 has quit [Remote host closed the connection]
pminten has joined #ocaml
maattdd has joined #ocaml
steshaw has quit [Quit: Leaving.]
coke0 has joined #ocaml
maattdd has quit [Ping timeout: 252 seconds]
tab1293 has quit [Ping timeout: 252 seconds]
steshaw has joined #ocaml
dant3 has joined #ocaml
tane has joined #ocaml
n0v has quit [*.net *.split]
IbnFirnas_ has quit [*.net *.split]
brendan has quit [*.net *.split]
steshaw has quit [*.net *.split]
Axman6 has quit [*.net *.split]
ccasin_ has quit [*.net *.split]
so has quit [*.net *.split]
Cypi has quit [*.net *.split]
finnrobi has quit [*.net *.split]
tchell has quit [*.net *.split]
Asmadeus has quit [*.net *.split]
cross has quit [*.net *.split]
_tca has quit [*.net *.split]
rgrinberg has quit [*.net *.split]
Armael has quit [*.net *.split]
kerneis has quit [*.net *.split]
Nahra has quit [*.net *.split]
rs0 has quit [*.net *.split]
jpdeplaix has quit [*.net *.split]
saarin has quit [*.net *.split]
steshaw has joined #ocaml
n0v has joined #ocaml
Axman6 has joined #ocaml
brendan has joined #ocaml
IbnFirnas_ has joined #ocaml
ccasin_ has joined #ocaml
so has joined #ocaml
cross has joined #ocaml
tchell has joined #ocaml
Cypi has joined #ocaml
Asmadeus has joined #ocaml
finnrobi has joined #ocaml
_tca has joined #ocaml
rgrinberg has joined #ocaml
Armael has joined #ocaml
kerneis has joined #ocaml
Nahra has joined #ocaml
rs0 has joined #ocaml
jpdeplaix has joined #ocaml
saarin has joined #ocaml
steshaw has quit [Quit: Leaving.]
elfring has quit [Quit: Konversation terminated!]
Thooms has joined #ocaml
tidren has quit [Remote host closed the connection]
ollehar has joined #ocaml
zebr has joined #ocaml
<zebr>
hi all. i've noticed that ocamlc will accept programs that seem to me to be ill-typed, like i'll say "let appt (f : 'a -> 'b) (x : t) : t = f x" and it'll be accepted, even though it claims that the function can taken *any* f:'a->'b, which is clearly false: it must be t->t. i find this very confusing - is there something i'm missing?
<def-lkb>
A type variable occuring in a signature ascribtion is not polymorphic by default
<def-lkb>
Take a look at the actual type of appt, after typechecking.
<zebr>
oh really? so will it then specialise to a particular usage of the function, and then if used elsewhere cause a unification error?
rand000 has joined #ocaml
<def-lkb>
Yes
<zebr>
right, that explains some things - i'll try making them explicitly polymorphic. thanks a lot. :)
tnguyen has quit [Ping timeout: 252 seconds]
<def-lkb>
you can use: let appt (type a) (type b) (f : a -> b) (x : a) : b = f x;;
<axiles>
you can also notice that let appt (type ta) (type tb) (f : ta -> tb) (x : t) = f x;; is not well typed
<def-lkb>
or
<def-lkb>
let appt : 'a 'b. ('a -> 'b) -> 'a -> 'b = fun f x -> f x;;
<mrvn>
zebr: The goal of this is so that you can partially declare the type, e.g let (f : 'a list -> 'b list) ... The type inference then ensures the type is list -> list. But it can further narrow down the 'a and 'b if there is enough information.
yacks has quit [Ping timeout: 252 seconds]
tidren has joined #ocaml
tnguyen has joined #ocaml
yacks has joined #ocaml
tidren has quit [Ping timeout: 245 seconds]
ikaros has joined #ocaml
elfring has joined #ocaml
<gasche>
mrvn: note that in that case (_ list -> _ list) works as well
<gasche>
named variables are useful for sharing
<gasche>
(eg. ('a list -> 'a list))
<gasche>
also zebr note that let appft (f : 'a 'b . 'a -> 'b) ... is not valid OCaml
<gasche>
polymorphic annotations can be used for the function type, but not for argument types
<mrvn>
Note: if you specify 'a list -> 'a list and the type inference can infere that the input is type foo list but not infere the output then the annotation will cause it to end up with foo list. That is sometimes wanted.
<gasche>
that correspond to the prenex-polymorphism restriction of ML type inference
<gasche>
for polymorphic function arguments, one must use polymorphic record fields
<gasche>
(as an encoding of non-prenex polymorphism in OCaml)
<mrvn>
If you want to declare a specific type for a function the best way might be to write an mli file or module M : sig ... end = struct ... end
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
tani has joined #ocaml
tane has quit [Ping timeout: 250 seconds]
avsm has quit [Quit: Leaving.]
tnguyen has quit [Ping timeout: 250 seconds]
tani has quit [Ping timeout: 276 seconds]
tnguyen has joined #ocaml
q66 has joined #ocaml
q66 has quit [Changing host]
q66 has joined #ocaml
tidren has joined #ocaml
pminten has quit [Remote host closed the connection]
tidren has quit [Ping timeout: 258 seconds]
tane has joined #ocaml
bainikolaus has joined #ocaml
bainikolaus has left #ocaml []
shinnya has quit [Ping timeout: 252 seconds]
Hannibal_Smith has joined #ocaml
NaCl has joined #ocaml
NaCl has quit [Changing host]
NaCl has joined #ocaml
tidren has joined #ocaml
tidren has quit [Ping timeout: 245 seconds]
tani has joined #ocaml
tane has quit [Ping timeout: 252 seconds]
darkf has quit [Quit: Leaving]
avsm has joined #ocaml
angerman has joined #ocaml
pminten has joined #ocaml
jonludlam has joined #ocaml
tidren has joined #ocaml
avsm has quit [Quit: Leaving.]
tidren has quit [Ping timeout: 258 seconds]
Hannibal_Smith has quit [Quit: Sto andando via]
tani has quit [Ping timeout: 240 seconds]
ikaros has quit [Quit: Ex-Chat]
jonludlam has quit [Ping timeout: 250 seconds]
tani has joined #ocaml
Submarine has quit [Quit: Leaving]
mfp has quit [Remote host closed the connection]
elfring has quit [Quit: Konversation terminated!]
coke0_ has joined #ocaml
tidren has joined #ocaml
knz has left #ocaml []
coke0 has quit [Ping timeout: 258 seconds]
tidren has quit [Ping timeout: 276 seconds]
tidren has joined #ocaml
ollehar has quit [Ping timeout: 252 seconds]
ruzu has joined #ocaml
ruzu has quit [Changing host]
ruzu has joined #ocaml
Arsenik has quit [Remote host closed the connection]
pminten has quit [Quit: Leaving]
tristero has joined #ocaml
ta`e has joined #ocaml
tani has quit [Ping timeout: 252 seconds]
avsm has joined #ocaml
ta`e has quit [Ping timeout: 276 seconds]
yacks has quit [Ping timeout: 252 seconds]
ta`e has joined #ocaml
Khady has quit [Ping timeout: 250 seconds]
Rota has quit [Ping timeout: 276 seconds]
tani has joined #ocaml
ta`e has quit [Ping timeout: 245 seconds]
robink_ is now known as robink
robink has quit [Changing host]
robink has joined #ocaml
yroeht2 has quit [Ping timeout: 240 seconds]
dinosaure has quit [Ping timeout: 255 seconds]
maattdd has joined #ocaml
Rota has joined #ocaml
jonludlam has joined #ocaml
Hannibal_Smith has joined #ocaml
ta`e has joined #ocaml
S11001001 has joined #ocaml
tani has quit [Ping timeout: 258 seconds]
ta`e has quit [Ping timeout: 276 seconds]
yacks has joined #ocaml
ta`e has joined #ocaml
S11001001 has quit [Changing host]
S11001001 has joined #ocaml
rand000 has quit [Ping timeout: 258 seconds]
Anarchos has joined #ocaml
coke0 has joined #ocaml
coke0_ has quit [Ping timeout: 240 seconds]
<mrvn>
Anyone here familiar with ocamls threading implementation?
tani has joined #ocaml
ta`e has quit [Ping timeout: 245 seconds]
<Anarchos>
mrvn a little
tane has joined #ocaml
aurynj has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
<mrvn>
How do signals work there?
tani has quit [Ping timeout: 250 seconds]
<Anarchos>
there is a signal handler inside the ocaml vm
tane has quit [Ping timeout: 240 seconds]
<Anarchos>
the presence of signals is checked regularly by the interpreter , look at the file byterun/signals.h
WraithM has quit [Ping timeout: 250 seconds]
<mrvn>
Anarchos: I'm interested in binary code, not byte.
mister_m has joined #ocaml
nikki93 has joined #ocaml
<Anarchos>
mrvn ??
tnguyen has quit [Ping timeout: 245 seconds]
<mrvn>
Anarchos: I think asmrun/signals.h is the relevant file
<Anarchos>
mrvn do you use bytecode or nativecode ?
<mrvn>
native
<Anarchos>
oh ok for native code, yes it is this one
aurynj has quit [Remote host closed the connection]
tnguyen has joined #ocaml
<mrvn>
Anarchos: and where are the threads using systems threads defined?
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
aurynj has joined #ocaml
tane has joined #ocaml
<Anarchos>
mrvn otherlibs/threads
<Anarchos>
mrvn otherlibs/systhreads, sorry
<Anarchos>
in st_stubs.c
<mrvn>
ahh, thx. I was looking in otherlibs/threads but thats all just vm threads.
jonludlam has quit [Ping timeout: 250 seconds]
Hannibal_Smith has quit [Quit: Sto andando via]
Khady has joined #ocaml
aurynj has quit [Quit: Leaving]
NoNNaN has quit [Remote host closed the connection]
<mrvn>
Anarchos: can I use ocamlopt with the vm threads? There is a -thread option but no -vmthread.
dinosaure has joined #ocaml
<mrvn>
(I hope not, I only want to have to deal with one of them)
yroeht2 has joined #ocaml
divyanshu has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
nikki93 has quit [Remote host closed the connection]
<mrvn>
*grml* I can't have threads without unix and my kernel doesn't have basically all the functions unix uses. :(
<Anarchos>
mrvn what kernel is it ?
<mrvn>
Anarchos: an exokernel to run ocaml baremetal on a Raspberry Pi.
divyanshu has quit [Quit: Computer has gone to sleep.]
<mrvn>
I want Thread without the TreadUnix
<Anarchos>
mrvn ok. Cause i could use Systhreads on HaikuOS
<mrvn>
Time to build my own thread module I guess.
<Anarchos>
mrvn try to cheat the configure file :)
<mrvn>
Anarchos: I don't want to build a custom ocaml. So far the prebuild one is fine.
<Anarchos>
mrvn i just cheated the configure file to make it compile the systhreads library
<adrien>
mrvn: you can stub out function in Unix
<adrien>
much simpler
<adrien>
of course, not the machinery that threads rely on
<mrvn>
adrien: thats ~100 functions and then user code can call them and doesn't get a compiler error.
<adrien>
it's done by js_of_ocaml for instance
<adrien>
and I'd bet that your kernel will gain at least some of these function
<adrien>
s
ygrek has joined #ocaml
<adrien>
just like Android/Google's Bionic libc gained most stuff after a while
<mrvn>
No filesystems, not even a SD card driver.
<mrvn>
no pthread library either. so I need to implement those too.
<mrvn>
might as well just implement a thread module.
<mrvn>
or port the vmthreads to arm.
<adrien>
could look at the threading for windows too
Submarine has quit [Quit: Leaving]
<adrien>
it definitely doesn't rely on signals or pthreads
<mrvn>
The Raspberry Pi only has one core so it might as well just run vm threads.
<adrien>
aren't they only available to bytecode?
<adrien>
afaiu they rely on the VM
Submarine has joined #ocaml
Submarine has quit [Changing host]
Submarine has joined #ocaml
<mrvn>
currently yes.
<adrien>
why not go for something like Lwt?
rand000 has joined #ocaml
<mrvn>
and port all of lwt?
<adrien>
lwt is split
<mrvn>
does it completly replace ocamls thread module?
<mrvn>
and unix
<companion_cube>
it's not a drop in replacement, but it can be used instead
<adrien>
I can't tell how much work it would be but I'd at least look at lwt and async
<adrien>
companion_cube: but Lwt_unix is optional, right?
<mrvn>
The question is wether it wraps the unix/thread modules with its own interface. Because then the problem remains.