Associate type information to tree-il expansions

[Stefan Israelsson Tampe]

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 = #<tree-il (let (A) (#{A 110}#) ((const 1)) (lexical A #{A 110}#) (integer))>

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 types at the end of the record. This is a minimal try to let
you chime in to argue.

Anyway to see the code consider the patches (git diff) that follows the email.

/Stefan

module-let-types.diff
Description: Text Data