mcclurmc has quit [Remote host closed the connection]
pango has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
q66 has joined #ocaml
pango has quit [Ping timeout: 246 seconds]
mcclurmc has joined #ocaml
tovarish has quit [Quit: Leaving]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
talzeus_ has quit [Read error: Connection reset by peer]
talzeus_ has joined #ocaml
tovarish has joined #ocaml
manizzle has quit [Ping timeout: 265 seconds]
blAckEn3d has quit [Quit: Computer has gone to sleep.]
blAckEn3d has joined #ocaml
smerz has quit [Ping timeout: 250 seconds]
sheijk has joined #ocaml
blAckEn3d has quit [Ping timeout: 240 seconds]
palomer has joined #ocaml
blAckEn3d has joined #ocaml
angerman has joined #ocaml
Simn has quit [Quit: Leaving]
sillyotter has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
blAckEn3d has quit [Ping timeout: 240 seconds]
niko has left #ocaml []
tovarish has quit [Quit: Leaving]
tovarish has joined #ocaml
root_empire has quit [Quit: Ex-Chat]
avsm has joined #ocaml
zpe has joined #ocaml
milosn_ has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
mort___ has joined #ocaml
mort___ has left #ocaml []
michael_lee has joined #ocaml
zarul has quit [Remote host closed the connection]
milosn_ is now known as milosn
Xenasis has joined #ocaml
sillyotter has quit [Quit: Leaving]
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
nikki93 has joined #ocaml
mcclurmc has joined #ocaml
milosn_ has joined #ocaml
milosn has quit [Read error: Connection reset by peer]
Eyyub has quit [Read error: Operation timed out]
zarul has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
Kakadu has joined #ocaml
michael_lee has quit [Remote host closed the connection]
Simn has joined #ocaml
demonimin has quit [Ping timeout: 240 seconds]
demonimin has joined #ocaml
jgw25 has joined #ocaml
<jgw25>
If I add functions to pervasives.ml / .mli, how do I recompile the compiler successfully? make world and make bootstrap both fail - some old Pervasives.cmi is being produced...
talzeus_ has quit [Remote host closed the connection]
ulfdoz has quit [Ping timeout: 272 seconds]
lasts has quit [Ping timeout: 246 seconds]
nikki93 has quit [Read error: Connection reset by peer]
boogie has joined #ocaml
talzeus_ has joined #ocaml
nikki93 has joined #ocaml
<gasche_>
jgw25: I don't get it, what's your compilation workflow?
pminten has joined #ocaml
<adrien>
jgw25: and do you intend to use these functions inside the compiler?
<jgw25>
I don't intend to use them inside the compiler.
Xenasis has quit [Remote host closed the connection]
<jgw25>
I first used make inside stdlib/ to check it locally. That compiles fine. Now I'd like to build ocaml as normal with Pervasives augmented with these two functions.
<jgw25>
This is my first time doing playing with the compiler sources in any serious way.
<jgw25>
So I don't know what the usual workflow is.
zpe_ has quit [Read error: Connection reset by peer]
<jgw25>
Is there an introductory document on compiler hacking? Google didn't turn anything up.
mcclurmc has quit [Remote host closed the connection]
<adrien>
I don't think there's anything; however there is nothing special to do to achieve what you want
kyrylo has quit [Ping timeout: 250 seconds]
<gasche_>
hm
<adrien>
however it's quite likely your build is mixing files from before and after your change
mcclurmc has joined #ocaml
<gasche_>
I just tested and it seems indeed that otherlibs/ will use the old pervasives.cmi
<jgw25>
I did a clean in between. Is there some sort of super-clean needed?
travisbrady has joined #ocaml
<gasche_>
jgw25: it's probably rather that you need to reproduce your changes in otherlibs/thread/pervasives.ml
<jgw25>
Ah, I see.
<jgw25>
I'll give it a go.
<tovarish>
jgw25, I was doing the test and I got the same error than you
<tovarish>
I'm looking to understand
mcclurmc has quit [Ping timeout: 250 seconds]
<jgw25>
otherlibs/threads/pervasives.ml is an altered version of pervasives with changes to blocking
avsm has quit [Quit: Leaving.]
<jgw25>
Presumably otherlibs/threads/pervasives.mli is copied automatically from stdlib/pervasives.mli but the old .cmi is being used
<jgw25>
since the .mli files should be identical
zpe has joined #ocaml
<gasche_>
the .mli and .cmi are copied from stdlib/
<gasche_>
but the .ml is compiled and must match this interface
<jgw25>
Got it.
<gasche_>
if you edit both pervasives.ml, then "make world" should compile fine (possibly after a clean)
<jgw25>
It's built fine now. Thanks for the help.
<gasche_>
out of curiosity, what are you trying to add to Pervasives?
<jgw25>
Bug 5443. I opened it this time last year, and I thought I ought to have a go and making some patches, since I have spare time at Christmas.
avsm has joined #ocaml
ulfdoz has joined #ocaml
palomer has quit [Ping timeout: 272 seconds]
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
nikki93 has quit [Ping timeout: 252 seconds]
milosn_ has quit [Ping timeout: 252 seconds]
avsm has quit [Quit: Leaving.]
smerz has joined #ocaml
avsm has joined #ocaml
zpe has quit [Remote host closed the connection]
tovarish has quit [Quit: Leaving]
<jgw25>
Ah, I spoke too soon. Upon running the new top level, I see "Fatal error: exception Env.Error()"
nikki93 has joined #ocaml
tovarish has joined #ocaml
mfp has quit [Read error: Connection reset by peer]
mfp has joined #ocaml
cesar_ has joined #ocaml
talzeus_ has quit [Read error: Connection reset by peer]
cesar_ is now known as Guest53209
CamelFodder has joined #ocaml
travisbrady has quit [Quit: travisbrady]
nikki93 has quit [Remote host closed the connection]
pminten has quit [Remote host closed the connection]
<angerman>
anyone know what's the state about integrating a backend targeting arm into the mainline ocaml compilier is? psellos has those patches, but there seems to be no clear notice if that is going to be incorporated or not...
<adrien>
there is already an arm backend
<adrien>
psellos patches brought a few more specific things but fairly small for the backend part
<adrien>
was maybe about hard float
<adrien>
afaik, that's good now
Guest53209 has quit [Remote host closed the connection]
<avsm>
angerman: dsheets has an opam remote. still needs some work
<avsm>
note that this is cross compilation, not arm. There's been native ARM for years...
<angerman>
avsm: yes, cross compiling.
<angerman>
I'm pondering about building a library and using in on iOS, but therefore I'd need to be able to create an arm lib.
<angerman>
so in theory, I could compile ocaml /on/ an ARM device to produce arm code?
<sheijk>
is there cross compilation support in ocamlopt now? so could i use the x86_64 build to generate x86 code?
pango has joined #ocaml
<adrien>
no
<adrien>
easier for now for that case is to run a multilib system and build a native x86 -> x86 compiler; it will be able to run on x86_64
<adrien>
tbh, I don't see cross-compilation getting anywhere before the layout of the compiler stops changing
<adrien>
(labltk moved, camlp4 moved, what next?)
<sheijk>
adrien: yep, that's what i currently have. a custom 32-bit version of ocaml 3.12 (because i can't get the newer versions to build for x86 on os x). had hoped to be able to replace that :)
<adrien>
ah, OS X, I see :D
zpe has joined #ocaml
tovarish has quit [Quit: Leaving]
bicgena has quit [Ping timeout: 260 seconds]
ttamttam has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
bicgena has joined #ocaml
rand000 has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
ttamttam has quit [Quit: ttamttam]
ggole has quit []
bobry_ has joined #ocaml
bobry has quit [Ping timeout: 252 seconds]
bobry_ is now known as bobry
palomer has joined #ocaml
tane has joined #ocaml
mort___ has joined #ocaml
sheijk has quit [Ping timeout: 272 seconds]
dant3_ has joined #ocaml
dch has quit [Ping timeout: 246 seconds]
dch has joined #ocaml
tane has quit [Quit: Verlassend]
dant3 has quit [Ping timeout: 272 seconds]
blAckEn3d has joined #ocaml
palomer has quit [Read error: Operation timed out]
mort___ has left #ocaml []
CamelFodder has quit [Remote host closed the connection]