Changes between Version 87 and Version 88 of WikiStart

Show
Ignore:
Timestamp:
09/20/10 04:37:42 (4 years ago)
Author:
benl (IP: 129.94.242.47)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v87 v88  
    1313 
    1414==== 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 a sensible copy function for a data types containing functions. 
     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. 
    1616 * I've cleaned up the array and numeric type modules in the base libraries. 
    1717 * Next step is to check the types of type class instance functions against their definitions, which should eliminate the #1 reason for confusing compiler panics.