Hi,
For the sake of discussion. I've tried to implement a let directive where we
type the variable like
(macroexpand '(let ((A : integer 1)) A))
$2 = #
So we see how we specify a type of A as integer and that this information
transfers to the tree-il
representation. The model here is to add type
Andreas Rottmann writes:
> l...@gnu.org (Ludovic Courtès) writes:
>
>> Hi Andreas,
>>
>> Thanks for taking care of this, and thanks for the great doc too!
>>
>> "Andreas Rottmann" writes:
>>
>>> commit 2252321bb77fe83d98d5bcc9db1c76b914e9dd6a
>>> Author: Andreas Rottmann
>>> Date: Sat May 7 2
Hi Mark,
On Sat 14 May 2011 00:08, Mark H Weaver writes:
> Andy Wingo writes:
>> I'm looking at new SCM representation and tagging possibilities in 2.2.
>> Read the whole mail please, as it's a little complicated.
>
> Unfortunately I don't have time to write a proper response right now,
> but o