Lite designbeslut:    -*- outline -*-

* Enpass vs. Tvpass

Jag funderar p om jag ska gra allt i ett svep, eller dela upp det s
att jag frst gr ett pass dr alla typnamn sls upp och modifieras
enligt konstens alla regler. Det andra passet gr sedan igenom
alltihopa igen och skriver ut alla ekvationer.

** Frdelar med tvpass

Semantiken blir troligen enklare att lsa och snyggare uppdelad.

** Nackdelar med tvpass

Det blir lite ondigt jobb fr kompilatorn. Dessutom blir det
besvrligare att behlla enpasssemantiken, dr man bara kan referera
till saker som str tidigare i klassen. Eller vnta nu, det blir det
ju inte alls. Det andra passet behver ju inte gra en enda
uppslagning, tminstone inte av typer.

** Saker man inte kan gra

Det gr inte att dela upp det frsta passet som jag frn brjan hade
tnkt. Man mste hlla reda p alla modifikationer innan man kan brja
sl upp namn. Man mste ocks expandera all "extends".

* Constants and parameters

Treat parameters as constants? Handle constants without turning them
into literals?
