Context Navigation

Changes between Version 33 and Version 34 of WikiStart

v33	v34
12	12	* DDC has reached a stage where it can reasonably be expected to compile programs, but the compiler itself is very slow and there are lots of bugs.
13	13	* I'm currently refactoring the representation of types (in Type.Exp) to use a Data.Map to hold type constraints instead of a flat list. Along the way I'm redoing some of the more naive parts of the type inferencer, which should result in a major performance improvement. Once the representation of types has stabilised I'll be able to see about fixing #2 (checking the types of instance functions against their definitions) which is a major cause of confusing panic messages.
14
15	14	* As part of the type inferencer refactoring it I'm also fixing the renamer to properly respect module ids. We had module ids on vars before, but weren't using them.
16	15