ChanServ changed the topic of #picolisp to: PicoLisp language | Channel Log: https://irclog.whitequark.org/picolisp/ | Check also http://www.picolisp.com for more information
f8l has quit [Remote host closed the connection]
f8l has joined #picolisp
xkapastel has quit [Quit: Connection closed for inactivity]
f8l has quit [Remote host closed the connection]
f8l has joined #picolisp
f8l has quit [Remote host closed the connection]
f8l has joined #picolisp
f8l has quit [Remote host closed the connection]
f8l has joined #picolisp
stultulo has joined #picolisp
f8l has quit [Ping timeout: 258 seconds]
stultulo is now known as f8l
stultulo has joined #picolisp
f8l has quit [Ping timeout: 255 seconds]
stultulo is now known as f8l
f8l has quit [Remote host closed the connection]
f8l has joined #picolisp
CORDIC has joined #picolisp
anjaa has quit [Remote host closed the connection]
anjaa has joined #picolisp
DKordic has quit [Ping timeout: 255 seconds]
orivej has joined #picolisp
orivej has quit [Ping timeout: 255 seconds]
rob_w has joined #picolisp
theruran has quit [Quit: Connection closed for inactivity]
mtsd has joined #picolisp
mtsd has quit [Ping timeout: 258 seconds]
mtsd has joined #picolisp
mtsd has quit [Ping timeout: 240 seconds]
mtsd has joined #picolisp
xkapastel has joined #picolisp
rob_w has quit [Ping timeout: 265 seconds]
bitmapper has joined #picolisp
mtsd has quit [Quit: Leaving]
<bitmapper> so apparently
<bitmapper> picolisp 64bit will compile on macos with some tweaks
<bitmapper> basically just some rip-relative addressing + renaming a global
<beneroth> awesome
<bitmapper> because for some reason the assembler considers ANY label starting with an L to be a local
<Regenaxer> bitmapper, I thought it would never work on MacOS because it requires x86 position-independent code
<bitmapper> Regenaxer: @GOTPCREL(%rip) in the correct spots seems to fix the '32-bit absolute addressing is not supported in 64-bit mode' error
<bitmapper> ^used that when porting a lambda calculus to x86_64 asm compiler to macos
<Regenaxer> So it seems it builds and runs?
<Regenaxer> I expected it needs different register allocations
<Regenaxer> quite some changes to src64/arch/x84-64.l
<bitmapper> i'm still running through and manually editing some things, but other code with the same error works fine
<Regenaxer> I see
<CORDIC> bitmapper: ""lambda calculus to x86_64 asm compiler""?
<bitmapper> yes
<bitmapper> let me find it
<Regenaxer> Hmm, I don't understand the relation to pil64 on MacOS
<bitmapper> Regenaxer: the assembly it produced also used absolute addressing
<Regenaxer> ok, but probably different registers
<Regenaxer> iirc pil64 uses all registers in x84
<Regenaxer> in fact, it *does* use FPIC
<Regenaxer> but only for the shared libs
<Regenaxer> 'ht' and 'ext' in the distro
<Regenaxer> iirc it wont work in the base system
<bitmapper> yeah, not for everything
<Regenaxer> T, so porting to work on Mach is not simple
<bitmapper> 'movq lamb_main_47_48@GOTPCREL(%rip), %r14' and 'movq_lamb_seq@GOTPCREL(%rip), %r15' being some examples from the source
<Regenaxer> yes
<Regenaxer> Example from src64/arch/x86-64:
<Regenaxer> (if (and *FPic (not (pre? "(" Src)))
<Regenaxer> (pack Src "@GOTPCREL(%rip)")
<bitmapper> yeah
<Regenaxer> (pack "$" Src) ) )
<bitmapper> well, the only way to find out is to try it
<beneroth> the science way
<Regenaxer> Exactly :)
<Regenaxer> And then you fix src64/arch/x86-64.l?
<Regenaxer> all places referring to *FPic
<CORDIC> bitmapper: FWIW I don't like that ""lamb"". It is missing... everything.
<bitmapper> i don't see how so
<bitmapper> it's typed lambda calculus with basic io
<Regenaxer> Still
<CORDIC> What is ""lambda calculus""?
<bitmapper> an alternative to the turing machine
bitmapper has quit [Read error: Connection reset by peer]
bitmapper has joined #picolisp
<bitmapper> ahh, sorry, internet issues
<Regenaxer> :)
<bitmapper> well that's just another implementation of the lambda calculus
<CORDIC> Yes.
<bitmapper> i don't really have any opinion on it, frankly
<CORDIC> Thank You.
<bitmapper> i'm confused
<CORDIC> Why?
orivej has joined #picolisp
bitmapper has quit [Ping timeout: 255 seconds]
orivej has quit [Ping timeout: 265 seconds]
orivej has joined #picolisp
f8l has quit [Remote host closed the connection]
f8l has joined #picolisp
stultulo has joined #picolisp
f8l has quit [Ping timeout: 255 seconds]
stultulo is now known as f8l
peterhil` has quit [*.net *.split]
jibanes has quit [*.net *.split]
viaken has quit [*.net *.split]
jibanes has joined #picolisp
peterhil` has joined #picolisp
viaken has joined #picolisp
xkapastel has quit [Quit: Connection closed for inactivity]
orivej has quit [Ping timeout: 268 seconds]