New typechecker throws error when specialiations are disabled

Bugzilla Link	59
Created on	Sep 21, 2004 11:14
Resolution	REMIND
Resolved on	Sep 21, 2004 18:37
Version	1.00beta
OS	SunOS
Architecture	Sun
Attachments	bug_56.sac

Extended Description

When compiling the attached example with specialisations turned off using
sac2c -b15 -sbs -fun2lac 7 -noap -notsi -nolir -maxspec 0 -cppI
~/c/sac/experimental/newTS shape_sel.sac,
I get the following error message:
** 7: Running type inference system: ...
  /home/trojahne/sac/sac/experimental/newTS/NTCtemplates.mac:89:ERROR: component
#0 of inferred RHS type (#928: in [ int[*], int] le < 926> ge <>) does not match
#926: in [ --, int] le <> ge < 928> !