18 Nov
2006
18 Nov
'06
1:40 a.m.
On 18/11/2006, at 11:14 AM, Thomas Davie wrote:
Olaf, This brings up something that's been niggling me for a while. Why can Hat not deal with defaulting? Surely it could be handled by the first stage of hat-trans being inserting explicit type signatures based on the standard defaulting rules?
Bob
That would require hat-trans to do type checking, wouldn't it? Bernie.