What's the plan about language-joiner?

What's the plan about language-joiner?

[Nala Ginrut]

Test code here:
------------------------cut--------------------------
# echo "(+ 1 1)" > aa.scm
# guild compile aa.scm --from=scheme --to=glil -o aa.glil
# guild compile aa.glil --from=glil --to=assembly -o aa.asm
------------------------end--------------------------

Error throws: "don't know how to join expressions"

And I checked the code, the problem is in "read-and-compile" in
module/system/base/compile.scm.
It tries to get "language-joiner", but only 'tree-il' has "joiner".
That means, if I try to compile any intermediate-language lower than
'tree-il', it'll throw the error message.

IMO, we ought to let guild compile any intermediate-language to any
lower level. And I can do such job follow these steps:
1. read out "aa.glil" 
2. parser-glil the glil code
3. (compile glil-code #:from 'glil #:to 'assembly) 

But I can't do it with 'guild compile' since it calls
"read-and-compile", which needs the weird "language-joiner". 
There's no any docs for 'language-joiner' in the manual. 
Here're the questions:
1. So what's the plan about 'language-joiner'? 
2. What's the utility?
3. Why only 'tree-il' has it?
4. What about implementing 'joiner' for other lower ILs?



Thanks!

Re: What's the plan about language-joiner?

[Andy Wingo]

On Sat 08 Dec 2012 16:47, Nala Ginrut <nalaginrut@gmail.com> writes:

> Test code here:
> ------------------------cut--------------------------
> # echo "(+ 1 1)" > aa.scm
> # guild compile aa.scm --from=scheme --to=glil -o aa.glil
> # guild compile aa.glil --from=glil --to=assembly -o aa.asm
> ------------------------end--------------------------
>
> Error throws: "don't know how to join expressions"

Fixed.  Thanks for the report :)

Andy
-- 
http://wingolog.org/

Re: What's the plan about language-joiner?

[Nala Ginrut]

On Tue, 2013-01-22 at 09:22 +0100, Andy Wingo wrote:
> On Sat 08 Dec 2012 16:47, Nala Ginrut <nalaginrut@gmail.com> writes:
> 
> > Test code here:
> > ------------------------cut--------------------------
> > # echo "(+ 1 1)" > aa.scm
> > # guild compile aa.scm --from=scheme --to=glil -o aa.glil
> > # guild compile aa.glil --from=glil --to=assembly -o aa.asm
> > ------------------------end--------------------------
> >
> > Error throws: "don't know how to join expressions"
> 
> Fixed.  Thanks for the report :)
> 
> Andy


Thanks for fixing that. Now it's possible to write an external compiler
to compile glil into jvm-bytecode or newer-register-VM-bytecode(if any
necessary).

Re: What's the plan about language-joiner?

[Nala Ginrut]

On Tue, 2013-01-22 at 16:31 +0800, Nala Ginrut wrote:
> On Tue, 2013-01-22 at 09:22 +0100, Andy Wingo wrote:
> > On Sat 08 Dec 2012 16:47, Nala Ginrut <nalaginrut@gmail.com> writes:
> > 
> > > Test code here:
> > > ------------------------cut--------------------------
> > > # echo "(+ 1 1)" > aa.scm
> > > # guild compile aa.scm --from=scheme --to=glil -o aa.glil
> > > # guild compile aa.glil --from=glil --to=assembly -o aa.asm
> > > ------------------------end--------------------------
> > >
> > > Error throws: "don't know how to join expressions"
> > 
> > Fixed.  Thanks for the report :)
> > 
> > Andy
> 
> 
> Thanks for fixing that. Now it's possible to write an external compiler
> to compile glil into jvm-bytecode or newer-register-VM-bytecode(if any
> necessary).
> 

A little explanation: this fix is not relate to an external compiler,
but I thought it's not available to convert glil into lower. From the
patch I learned something about it.

Thanks!