|14|| ||==== Ben Lippmeier (benl23) -- updated
|30th August 2010 ====
|15|| || * I'
|m cleaning up the handling of data type declarations. The Source, Desugared, and Core languages all used their own representations for data type declarations, and I'm merging the ones for Desugared and Core.
|16|| || *
|This will let me implement proper handling of material/immaterial variables in types, which is needed when resolving Shape constraints.
|17|| || *
|This should fix the `T102-CopyIntFun` test.
| ||14||==== Ben Lippmeier (benl23) -- updated 2010 ====
| ||15|| * I'
| ||16|| * s.
| ||17|| * .