<ollehar1>
trying to install ocsigenserver with opam, but get lots of errors
<ollehar1>
ocaml version 4.02.1
reem has quit [Remote host closed the connection]
Thooms has quit [Quit: WeeChat 1.0.1]
<struktured>
ollehar1: you will need to pasetebin the errors so someone can diagnose your issue
<ollehar1>
struktured: yeah
<ollehar1>
broken packages in ubuntu so far
<struktured>
ollehar1: it installed fine w/me. kubuntu 14.something ocaml 4.02.1
<ollehar1>
yeah, it's me
thomasga has quit [Quit: Leaving.]
<tokenrove>
labichn: istr i had that happen to me, using oasis to invoke ocamlbuild, and it turned out to be a misconfiguration on my part. i don't know if that's the case for you.
MrScout_ has quit [Remote host closed the connection]
MrScout has joined #ocaml
ontologiae_ has quit [Ping timeout: 264 seconds]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
ollehar1 has quit [Quit: ollehar1]
<labichn>
tokenrove: I believe I've tracked it down--the server is invoking my Makefile from a different directory, so all my relative paths are messed up. Thanks for the comment!
mabino-pyon has quit [Quit: I'm sorry, but... I don't have any interest in three-dimensional girls.]
enquora has quit [Quit: enquora]
Simn has quit [Quit: Leaving]
yminsky has joined #ocaml
yminsky has quit [Quit: yminsky]
labichn has quit [Ping timeout: 246 seconds]
jao has quit [Ping timeout: 255 seconds]
yminsky has joined #ocaml
mjw56 has joined #ocaml
reem has joined #ocaml
bytbox has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
hilquias has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
reem has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
jao has quit [Ping timeout: 264 seconds]
reem has joined #ocaml
badon has quit [Quit: Leaving]
anemator has joined #ocaml
anemator has quit [Remote host closed the connection]
c74d has quit [Read error: Connection reset by peer]
biggulppuke has quit [Quit: Leaving]
pyon has joined #ocaml
myst has quit [Read error: Connection reset by peer]
reem has quit [Remote host closed the connection]
pyon has quit [Quit: fix config]
pyon has joined #ocaml
darkf has joined #ocaml
ghostpl_ has quit [Remote host closed the connection]
jabesed has quit [Ping timeout: 240 seconds]
reem has joined #ocaml
trystero has joined #ocaml
reem has quit [Remote host closed the connection]
tristero has quit [Ping timeout: 244 seconds]
tautologico has joined #ocaml
c74d has joined #ocaml
yminsky has quit [Quit: yminsky]
swgillespie has joined #ocaml
kapil___ has joined #ocaml
MrScout has quit [Ping timeout: 250 seconds]
rgrinberg has quit [Ping timeout: 264 seconds]
riveter has joined #ocaml
rgrinberg has joined #ocaml
AlexRussia has quit [Ping timeout: 252 seconds]
MrScout has joined #ocaml
MrScout_ has joined #ocaml
moei has joined #ocaml
AlexRussia has joined #ocaml
yaewa has quit [Ping timeout: 245 seconds]
MrScout has quit [Ping timeout: 265 seconds]
rgrinberg has quit [Quit: Leaving.]
reem has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ghostpl_ has joined #ocaml
q66 has quit [Quit: Leaving]
ghostpl_ has quit [Ping timeout: 246 seconds]
MrScout_ has quit [Remote host closed the connection]
badon has joined #ocaml
enitiz has joined #ocaml
pyon is now known as mabino-pyon
MrScout has joined #ocaml
MrScout has quit [Remote host closed the connection]
ptc has joined #ocaml
ptc is now known as Guest92052
hilquias has quit [Read error: Connection reset by peer]
swgillespie has joined #ocaml
Guest92052 has quit [Ping timeout: 246 seconds]
ptc_ has joined #ocaml
mabino-pyon has quit [Quit: fix config]
pyon has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
Liebknecht has joined #ocaml
Liebknecht has left #ocaml [#ocaml]
ghostpl_ has joined #ocaml
ghostpl_ has quit [Ping timeout: 246 seconds]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
kapil___ has quit [Quit: Connection closed for inactivity]
enitiz has quit [Read error: Connection reset by peer]
reem has quit [Remote host closed the connection]
ptc_ has quit [Ping timeout: 264 seconds]
reem has joined #ocaml
swgillespie has joined #ocaml
slash^ has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
hilquias has joined #ocaml
ygrek has joined #ocaml
enitiz has joined #ocaml
hilquias` has joined #ocaml
hilquias has quit [Ping timeout: 252 seconds]
huza has joined #ocaml
reem has quit [Remote host closed the connection]
huza has quit [Client Quit]
reem has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
reem has quit [Remote host closed the connection]
rgrinberg has quit [Quit: Leaving.]
reem has joined #ocaml
LordBrain has joined #ocaml
ygrek has joined #ocaml
<LordBrain>
Hello. I am a haskell'er but i am thinking of using ocaml for a project, even tho i do not know it. I wonder if there is something in the ocaml universe comparable to hackage and cabal in the haskell universe?
<dmbaturin>
LordBrain: Also, opam allows you to install different compiler versions and switch between versions, if you want to test something in all of them.
<LordBrain>
nice
<LordBrain>
its not packaged for wheezy
<dmbaturin>
No, but the binary package should work there.
hilquias` has quit [Ping timeout: 252 seconds]
ygrek has quit [Ping timeout: 245 seconds]
ygrek has joined #ocaml
slash^ has left #ocaml [#ocaml]
Simn has joined #ocaml
ghostpl_ has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
ghostpl_ has quit [Ping timeout: 245 seconds]
AltGr has left #ocaml [#ocaml]
ygrek has quit [Ping timeout: 246 seconds]
<nicoo>
LordBrain: There is a ppa for it
tautologico has quit [Quit: Connection closed for inactivity]
MercurialAlchemi has joined #ocaml
<LordBrain>
wheezy doesnt do ppa does it? i thought that was just ubuntu
<LordBrain>
i just use old fashioned sources.list and apt-get
<dmbaturin>
LordBrain: No debian person would ever refer to it as "PPA", but there are third-party repos for wheezy that provide opam.
ggole has joined #ocaml
Submarine has joined #ocaml
<dmbaturin>
But then again, a true debian person would never use a third-party repo. ;)
domsj has joined #ocaml
zpe has joined #ocaml
<LordBrain>
i'm a long time debian user, but the way things change, i'm reluctant to take anything for granted.
<LordBrain>
maybe i'm getting old
zpe has quit [Ping timeout: 256 seconds]
oscar_toro has joined #ocaml
ontologiae_ has joined #ocaml
ygrek has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
Kakadu has quit [Ping timeout: 246 seconds]
ggole has quit [Read error: Connection reset by peer]
ggole has joined #ocaml
reem has quit [Remote host closed the connection]
ggole has quit [Ping timeout: 255 seconds]
ggole has joined #ocaml
Kakadu has joined #ocaml
reem has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
tane has joined #ocaml
lordkryss has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
ghostpl_ has joined #ocaml
ghostpl_ has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
myyst has joined #ocaml
AlexRussia has quit [Ping timeout: 246 seconds]
reem has quit [Remote host closed the connection]
slash^ has joined #ocaml
AlexRussia has joined #ocaml
thomasga has joined #ocaml
vanila has joined #ocaml
captain_furious has joined #ocaml
ontologiae_ has quit [Ping timeout: 256 seconds]
LordBrain has quit [Quit: Leaving]
rand000 has joined #ocaml
circ-user-YbWqy has joined #ocaml
ebzzry has quit [Ping timeout: 245 seconds]
<circ-user-YbWqy>
Hey guys. Just a short question. I got ocaml from git and wonder if I understood... The builds being done use the pre-built ocamlc from /boot and there are no sources for that, right?
ebzzry has joined #ocaml
thomasga has quit [Quit: Leaving.]
<dmbaturin>
circ-user-YbWqy: I didn't get deep into the build process, but that source tarball can bootstrap itself somehow.
<circ-user-YbWqy>
I wanted to study a bit, which code gets generated for some language constructs. But I cannot find the place to look for that.
<dmbaturin>
If you want to see what it generates, you can get assembly output with ocamlopt -S
<circ-user-YbWqy>
that I could do :)
<dmbaturin>
If you want to find the code that is responsible for it, I'm not familiar with compiler source enough to help you yet. :)
<circ-user-YbWqy>
also I wondered about that extra dll required for windows builds and wanted to see if there is a chance I could remove that dependency.
<adrien>
circ-user-YbWqy: the files from boot/ are bootstrapped, i.e. you use them to build a new compiler executables and then these new files can be copied to replace the old ones
<adrien>
circ-user-YbWqy: you need to have the same symbols names for Unix stubs
<adrien>
that's where you'd have to look at
<adrien>
also
<adrien>
boot/ comes with no native code files
<circ-user-YbWqy>
but where are the sources? I only found very few c- files and a large number of .ml files
<adrien>
so you can't look at the "assembly" but you could look at the ocaml bytecode
<adrien>
circ-user-YbWqy: otherslibs/unix and otherlibs/win32unix
<circ-user-YbWqy>
thanks!
<adrien>
many files are copied or symlinked from the former to the latter
<adrien>
hmmmm
<adrien>
I don't remember exactly what was going wrong
<dmbaturin>
circ-user-YbWqy: The large amount of .ml files is the compiler and standard library source. :)
<dmbaturin>
Looks like it first builds the bytecode interpreter which is written in C, then uses bytecode executables from /boot to build the rest.
<adrien>
yes :)
yomimono has quit [Ping timeout: 240 seconds]
ghostpl_ has joined #ocaml
ghostpl_ has quit [Ping timeout: 250 seconds]
pii4 has quit [Quit: [-.-]...]
Submarine has quit [Ping timeout: 252 seconds]
ghostpl_ has joined #ocaml
ghostpl_ has quit [Remote host closed the connection]
Submarine has joined #ocaml
ontologiae_ has joined #ocaml
jabesed has joined #ocaml
enitiz has joined #ocaml
yminsky has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
ghostpl_ has joined #ocaml
darkf has quit [Quit: Leaving]
<yminsky>
Anyone feel like they understand how injectivity and virtual classes interact?
<yminsky>
I’m atoning for my past sins of using the object system...
ghostpl_ has quit [Ping timeout: 250 seconds]
reem has joined #ocaml
dsheets has joined #ocaml
reem has quit [Ping timeout: 244 seconds]
pii4 has joined #ocaml
<ggole>
That sounds like a fun little dark corner you've found.
<yminsky>
Ugh. I found it long ago, then forgot abou tit.
<yminsky>
The GUI code in planets (a program I wrote more than a decade ago) used objects and classes.
<yminsky>
I basically haven’t used them since, and now I’m hitting an injectivity bug I don’t understand.
<yminsky>
Yup. Resolving an unsoundness that was noticed due to the GADT change.
<yminsky>
I’m now reminding myself how classes work, and hoping I can figure it out from there. But I was hoping someone could glance at the code and say “of course!”, and tell me what was wrong...
<ggole>
I've never understood injectivity properly.
<yminsky>
Me neither I’m afraid. I hope to shortly...
thomasga has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 250 seconds]
rossberg has quit [Ping timeout: 250 seconds]
thomasga has joined #ocaml
rossberg has joined #ocaml
q66 has joined #ocaml
<yminsky>
Ah, I figured it out. The upcast function was doing something crazy. I still don’t understand injectivity, but understanding the code was enough...
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
badkins has joined #ocaml
thomasga has quit [Quit: Leaving.]
larhat has joined #ocaml
lordkryss has quit [Quit: Connection closed for inactivity]
ghostpl_ has joined #ocaml
yminsky has quit [Quit: yminsky]
ghostpl_ has quit [Ping timeout: 246 seconds]
Thooms has joined #ocaml
kcking has joined #ocaml
mort___ has joined #ocaml
thomasga has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
jabesed has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
captain_furious has quit [Ping timeout: 240 seconds]
ghostpl_ has joined #ocaml
ghostpl_ has quit [Ping timeout: 264 seconds]
madroach has quit [Quit: leaving]
domsj has quit [Ping timeout: 244 seconds]
madroach has joined #ocaml
anemator has joined #ocaml
anemator has quit [Client Quit]
jabesed has joined #ocaml
ontologiae_ has quit [Ping timeout: 245 seconds]
waneck has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
Kakadu has quit [Quit: Page closed]
jbalint has joined #ocaml
jbalint has joined #ocaml
BitPuffin has joined #ocaml
AlexRussia has quit [Ping timeout: 246 seconds]
AlexRussia has joined #ocaml
<struktured>
ggole: do you have a link to any resources regarding "injectivity" in this context?
<ggole>
There's a reference to a paper at the link I mentioned
<ggole>
I'm not aware of anything more easy-going, sorry.