type checker reports wrong parameter count

Bugzilla Link	1021
Created on	Sep 10, 2012 21:02
Version	svn
OS	Linux
Architecture	PC

Extended Description

ABORT: line 12  file: parserbug.sac
ABORT: No definition found for a function "StdIO::print" that accepts an
ABORT: argument of type "int{0}" as parameter no 3. Full argument types are
ABORT: "( Terminal::Terminal, TermFile::TermFile, int{0}, int{20})".
*** Compilation failed ***
*** Exit code 44 (Running type inference system)
*** 1 Error(s), 0 Warning(s)
sac@rattler:~/sac/testsuite/optimizations/lacs$ cat parserbug.sac 
/*
 *  Wrong element number for error message.
 *  
 */
use Array:{*,--,-,genarray,iota,sum,+,take,++,<};
int main()
{
  i = 0;
  lim = 20;
  StdIO::print(  i, lim);
  return( 0);
}
sac@rattler:~/sac/testsuite/optimizations/lacs$ sac2c -V
sac2c v1.00-beta (Haggis And Apple)
 developer rev 18218:MODIFIED linux-gnu_x86_64
 (Mon Sep 10 13:25:23 EDT 2012 by sac)