Nathan Cain | 26 Apr 00:37

Re: Slink 0.3 [was: static compilation]

Michael FIG wrote:
> Hi,
>
> Nathan Cain <nate@...> writes:
>
>   
>> I was hoping to toy with this some, and start in on adapting an arm
>> backend...
>>     
>
> Cool!  I'd be more than happy to help with this process, if you need
> any assistance at all.  I think most of it should be relatively
> straightforward by staring at the patch to CodeGenerator-i386.st.
>   
Yes, i've spent the past few days staring at it, alongside the original 
-i386 and the -arm generators, and think it's sufficiently stared at for 
a reasonable understanding of how it will come together.

>   
>> unfortunately, the patch does not want to apply, as it seems to
>> expect a different jolt2/boot.k then what is in svn r407.  Perhaps I
>> need another of your patches as well, beyond just jolt2-fixes?
>> Could you tell me which?
>>     
>
> Actually, I just described the patch requirements really badly.  The
> idea is:
>
> $ svn checkout -r407 ...
> $ cd idst
> $ patch -p0 < ../jolt2-fixes.patch
> $ patch -p0 < ../jolt2-slink.patch
>
> I've attached new versions of these patches that fix a few issues
> (forgot the '{...} grammar syntax in jolt2-fixes.patch, mangle Jolt
> names that can't be directly expressed in the output) and demonstrates
> the use of (syntax ...) in function/examples2/slink/main.k.
>   
Yup, it looks like this jolt2-fixes patch should resolve the problem I 
was running into with the slink patch.  I'll let you know how it goes 
from here!

Thanks much,
--Nathan

> Good luck,
>
>   
> ------------------------------------------------------------------------
>
> _______________________________________________
> fonc mailing list
> fonc@...
> http://vpri.org/mailman/listinfo/fonc


Gmane