[Idea] [Future] code source annotation by the compiler

[Mildred Ki'Lya]

Hi,


This is an idea for the future, that is when the language will be stable
enough, the compiler free of bugs and with other fundamental feature
working (like the garbage collector). So, not for now.


The idea is when compiling an application, the compiler would generate
HTML versions of all the source files, and add annotations like:

- which code was compiled, which code is dead
- when a call was inlined and why
- if a call is at risk of producing a call on NULL error
- for every instruction, give the set of dynamic type detected
- say when an optimisation was performed


I think it could be a great tool for at least two things:
- code coverage using unit tests (eXtreme Programming tool)
- for critical application when we expect optimisations and we want to
be sure they were performed


Mildred

-- 
Mildred Ki'Lya
╭───────── ｍｉｌｄｒｅｄ５９３＠ｏｎｌｉｎｅ．ｆｒ ──────────
│ Jabber, GoogleTalk: <mildred at jabber.fr>
│ Website: <http://ki.lya.online.fr>           GPG ID: 9A7D 2E2B
│ Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/lisaac-devel/attachments/20100126/8f6f4e2e/attachment.pgp>