| 11 | | ==== Ben (benl23) -- updated 4th Feb 2010 ==== |
| 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. 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. |
| | 11 | ==== Ben (benl23) -- updated 12th Feb 2010 ==== |
| | 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 | * 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. |