| 14 | | ==== Ben Lippmeier (benl23) -- updated 20th September 2010 ==== |
| 15 | | * I've fixed inference of Shape constraints to respect the materiality of variables. This means we can now write copy functions for data structures containing functions. |
| 16 | | * I've cleaned up the array and numeric type modules in the base libraries. |
| 17 | | * Next step is to check the types of type class instance functions against their definitions, which should eliminate the main cause of confusing compiler panics. |
| | 14 | ==== Ben Lippmeier (benl23) -- updated 23rd October 2010 ==== |
| | 15 | * I've started a blog on DDC development at [http://disciple-devel.blogspot.com/ http://disciple-devel.blogspot.com/] |
| | 16 | * I'm currently fixing support for type signatures. Previously we were just using the value portion of the sig, but we need to check effect and closure information as well. |