objects inhibit specialization directive

Bugzilla Link	429
Created on	May 30, 2008 14:19
Resolution	FIXED
Resolved on	Jun 01, 2008 05:22
Version	1.00beta
OS	Linux
Architecture	PC
Attachments	tutu.sac

Extended Description

Created an attachment (id=472)
source code
It is impossible to enforce sprecializations for functions that make use of objects. What happens is that the object transformation does not affect the specializations and therefore the specializer thinks that these are different (non overloaded)  functions!
rev 15709 of the compiler gives the following on error message  for the attached program:
ABORT: line 2  file: tutu.sac
ABORT: No definition found for a function "_MAIN::foo" that accepts an
ABORT: argument of type "int" as parameter no 1. Full argument types are "(
ABORT: int)".