Sun Mar 8 13:24:19 CET 2009

Object code : types or other static information?

What information is attached to assembly language opcodes at compile
time?  At this moment, they are nothing but tags used to guide pattern
matching.  Maybe this should contain some more static info?

This is something i started working on in asm/static.ss but apparently

This is one of the most important points of change: assembler
instructions need to be properly typed.